TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/NORMAL-SOURCE-PLACEMENT.json
Original file SHA-256: 6c592fcaf4396172d0bae091012950768101cc17fc49278fb535abfb34822c73
Inclusive original lines: 1-40
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "date": "2026-10-31",
000003 |   "result": "R052",
000004 |   "scope": "Original fixed H0(O1) multiplier class and common-core first-order producer/placement identities. No chosen normal geometry,horizontal connection,physical profile or exact dynamical reduction.",
000005 |   "all_passed": true,
000006 |   "checks": [
000007 |     {
000008 |       "name": "first order scalar commutator including full potential",
000009 |       "passed": true
000010 |     },
000011 |     {
000012 |       "name": "full congruence derivative retains both ordered factors",
000013 |       "passed": true
000014 |     },
000015 |     {
000016 |       "name": "unscaled normal operator has exact multiplier residual",
000017 |       "passed": true
000018 |     },
000019 |     {
000020 |       "name": "whole outer insertion congruence identity",
000021 |       "passed": true
000022 |     },
000023 |     {
000024 |       "name": "outer insertion defect retains first order commutator",
000025 |       "passed": true
000026 |     },
000027 |     {
000028 |       "name": "all smooth scalar multipliers preserving original O1 span are constant",
000029 |       "passed": true
000030 |     },
000031 |     {
000032 |       "name": "full horizontal normal derivative includes symbol and mixed curvature",
000033 |       "passed": true
000034 |     },
000035 |     {
000036 |       "name": "real nonzero normal covector has invertible Clifford action",
000037 |       "passed": true
000038 |     }
000039 |   ]
000040 | }