TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/R110-ATLAS-AUDIT-BASELINE.json
Original file SHA-256: 5ac5abeea748631eb55e87d74a22d32f869916e3021af1410402e9b88e90c8f4
Inclusive original lines: 1-121
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 |   "scope": "All current durable Atlas research records: provenance and internal references. No fresh semantic proof of every theorem, no full Lean/Python/Wolfram rerun.",
000003 |   "atlas_revision": "60048237221e01a193f44053",
000004 |   "plan_revision": 97,
000005 |   "problems": 24,
000006 |   "findings": 764,
000007 |   "premises": 396,
000008 |   "records": 1225,
000009 |   "source_references": 3593,
000010 |   "unique_source_intervals": 2441,
000011 |   "unique_source_files": 1480,
000012 |   "issues": [],
000013 |   "unhashed_source_references": [],
000014 |   "missing_plan_result_mentions": [],
000015 |   "wording_warnings": [
000016 |     {
000017 |       "path": "PLAN.md",
000018 |       "line": 59,
000019 |       "text": "52 erledigten physischen F1 Unteraufgaben bleiben erhalten. Keine neue freie"
000020 |     }
000021 |   ],
000022 |   "F1_completed": 52,
000023 |   "F1_status": "in_progress",
000024 |   "recent_findings": [
000025 |     {
000026 |       "id": "finding:r105-original-det16-generator-has-exact-top-charge-and-density-hierarchy",
000027 |       "status": "established_scoped"
000028 |     },
000029 |     {
000030 |       "id": "finding:r105-low-charge-open-transfer-cannot-equal-original-det16",
000031 |       "status": "established_scoped"
000032 |     },
000033 |     {
000034 |       "id": "finding:r105-reviewed-det16-chain-supplies-parent-not-common-source-derivation",
000035 |       "status": "established_scoped"
000036 |     },
000037 |     {
000038 |       "id": "finding:r106-native-sixteen-field-time-evaluation-distinguishes-original-parents",
000039 |       "status": "established_scoped"
000040 |     },
000041 |     {
000042 |       "id": "finding:r107-actual-car-time-derivation-fixes-det-coefficient-without-autonomous-cell",
000043 |       "status": "established_scoped"
000044 |     },
000045 |     {
000046 |       "id": "finding:r107-original96-family-leakage-has-full-yukawa-majorana-identity",
000047 |       "status": "established_scoped"
000048 |     },
000049 |     {
000050 |       "id": "finding:r107-reviewed-original-carrier-and-os-route-leaves-native-field-identification-uncomputed",
000051 |       "status": "established_scoped"
000052 |     },
000053 |     {
000054 |       "id": "finding:k-full-original-word-kernel-determines-transfer-and-whole-det-test",
000055 |       "status": "established_scoped"
000056 |     },
000057 |     {
000058 |       "id": "finding:k-exact-original-internal-spin10-to-native-det16-field-intertwiner",
000059 |       "status": "established_scoped"
000060 |     },
000061 |     {
000062 |       "id": "finding:k-original-reducing-net-separates-vacuum-selector-and-ambient-transfer",
000063 |       "status": "established_scoped"
000064 |     },
000065 |     {
000066 |       "id": "finding:k-literal-common-local-weyl-det16-scalar-source-map-excluded",
000067 |       "status": "excluded_scoped"
000068 |     },
000069 |     {
000070 |       "id": "finding:r108-vector-partner-whole-algebra-cannot-supply-equivariant-spinor-car",
000071 |       "status": "established_scoped"
000072 |     },
000073 |     {
000074 |       "id": "finding:r108-minimal-double-packet-fails-actual-su3-character-test",
000075 |       "status": "established_scoped"
000076 |     },
000077 |     {
000078 |       "id": "finding:r108-old-wall-source-has-explicit-open-mode-but-not-native-primitive-sixteen-map",
000079 |       "status": "established_scoped"
000080 |     },
000081 |     {
000082 |       "id": "finding:r109-given-charged-spatial-spinor-fields-have-explicit-time-and-noncar-mode-witness",
000083 |       "status": "established_scoped"
000084 |     },
000085 |     {
000086 |       "id": "finding:r109-larger-native-source-has-exact-nonzero-sixteenth-order-environment-transfer",
000087 |       "status": "established_scoped"
000088 |     },
000089 |     {
000090 |       "id": "finding:r109-open-environment-transfer-and-charge-invariant-scalar-source-remain-distinct",
000091 |       "status": "established_scoped"
000092 |     }
000093 |   ],
000094 |   "ledger_scope_snapshot": {
000095 |     "AX.P1.01": {
000096 |       "status": "Axiom (declared input; reduces to the anchor a=(1,1,2)+pi)",
000097 |       "canonical_status": "Axiom (declared) but anchor-reducible: c3=1/(2 e1(a) pi); only pi is the dimensionless primitive | 2026-08-28 v993: unique finite CE + 1/(4*2pi) arithmetic shadow; equidistribution stays [C] of v813; axiom typing UNCHANGED    WAVE-5 (2026-08-29): SEAM.MMST.TYPEIII.CHARGED.01 reads P1 as theorem-conditional on seam identification + beta_angle=2pi (KLM + Longo-Tanimoto GIVEN identification); axiom typing UNCHANGED.",
000098 |       "active": "true"
000099 |     },
000100 |     "AX.P2.01": {
000101 |       "status": "Axiom (declared input; over-determined bootstrap fixed point, Lean-forced)",
000102 |       "canonical_status": "Axiom (declared) but bootstrap-forced (3 ways) + Pascal-unique (Lean): g=5 is not a free knob; reduction state 2026-07-22: four marks + one discrete symmetry-lift bit (flag transitivity <=> tau = i) + pi (v491/v499/v506/v507/v510/v512), marker unchanged | 2026-08-28 v993: v624 architecture conditionality lifted at the census level (D5, A3 unique in full rank-8 ADE); axiom typing UNCHANGED | WAVE-6 (2026-08-30 v1005): pencil circularity-flagged (5 already in Q_2/C column sums); NOT a P2 selector; axiom typing UNCHANGED | AFTERNOON (2026-08-30 v1010): pencil selector rehabilitated: column sums forced by prior constructions (ladder c=2 + n=3 force Q sums (9,5,1); C's 5 inherited from R col 3 -- non-circular); W-shift conditionally unique given democratic-image + carrier-anchor-kernel (1078 -> 1); remaining obligation = seam-geometric derivation of those premises; axiom typing UNCHANGED | LATE EVENING (2026-08-30 v1014): W-bridge premise P-anch derived (anchor chain); P-dem narrowed to the character-blind determinant-response map -- same MMST/Quillen externalized leg as TEL-B/ALG-EXH/P1.  Axiom typing UNCHANGED. | MONDAY MORNING (2026-08-31 v1015): BOTH W-bridge premises derived at finite level (P-anch v1014; P-dem r=(1,1,1)); remainder 0 modulo MMST.  Axiom typing UNCHANGED.",
000103 |       "active": "true"
000104 |     },
000105 |     "EM.FP.01": {
000106 |       "status": "Numerical",
000107 |       "canonical_status": "Numerical",
000108 |       "active": "true"
000109 |     },
000110 |     "CHIRAL4D.NOMIRROR.01": {
000111 |       "status": "Open (research contract; 1+1D chiral Gauss census executed; SMG mechanism toy-proved [E]; Nielsen-Ninomiya as Gauss statement; 4D Spin(10) theorem stays [O]; no 3+1D closure) | Round-3 v1023 adds an exact finite block lemma [E]/conditional GW reading [C]; NOMIRROR remains Open [O].",
000112 | [OMITTED: non-scientific conversation or execution metadata]
000113 |       "active": "true"
000114 |     },
000115 |     "TFPT.TOE.COMPLETE.01": {
000116 |       "status": "Open (research contract; named AND of eight gates; no closure, no marker move) | Round-3 v1022-v1025 adds certified subgates and no-gos only; Round-4 v1026-v1030 adds narrow proved and conditional subresults only; all T1-T8 gates and TOE remain Open [O].",
000117 | [OMITTED: non-scientific conversation or execution metadata]
000118 |       "active": "true"
000119 |     }
000120 |   }
000121 | }