TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_review.json
Original file SHA-256: 46ee10086da6d9227f9344e24f25dcfb20a629ed703756642374c974099f1e6a
Inclusive original lines: 1-200
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 |   "created_at_utc": "2026-10-19T05:51:00.121692+00:00",
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 |   "verdict": "PASS_SCOPED_INDEPENDENT_EXACT_SUPPORT_REVIEW",
000005 |   "scientific_status_change": false,
000006 |   "physical_promotion": false,
000007 |   "fresh_Lean_kernel_execution": false,
000008 |   "reviewed_files": [
000009 |     {
000010 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/NATIVE-QUARTIC-MULTILOCAL-SUPPORT.txt",
000011 |       "sha256": "7801643ed85df8be24659a66e9437db8f549aea1497900aeeb1bfbbafd0f17ea",
000012 |       "line_start": 1,
000013 |       "line_end": 206
000014 |     },
000015 |     {
000016 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/check_native_quartic_multilocal_support.py",
000017 |       "sha256": "c0b4cc1bedf7a396146199fbbb538a7494c4b974cbb46e13cb8c64c07ff9ed3b",
000018 |       "line_start": 1,
000019 |       "line_end": 154
000020 |     },
000021 |     {
000022 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json",
000023 |       "sha256": "8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4",
000024 |       "line_start": 1,
000025 |       "line_end": 1403
000026 |     }
000027 |   ],
000028 |   "scope": "Existing conditional eightfold conformal CAR/current dictionary with the original Weyl M, J-compatible O, five native quartics, both alpha quarters, and full original source packets. Exact field-support theorem; conditional bounded-local eigenpacket lemma and finite/countable local-Kraus corollary. No new physical source/reference or preparation selector.",
000029 |   "tests": [
000030 |     {
000031 | [OMITTED: non-scientific conversation or execution metadata]
000032 | [OMITTED: non-scientific conversation or execution metadata]
000033 |       "exit_code": 0,
000034 |       "status": "PASS_SCOPED",
000035 |       "result_sha256": "8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4",
000036 |       "byte_identical_to_canonical_results": true
000037 |     },
000038 |     {
000039 | [OMITTED: non-scientific conversation or execution metadata]
000040 | [OMITTED: non-scientific conversation or execution metadata]
000041 |       "exit_code": 0,
000042 |       "status": "PASS_SCOPED",
000043 |       "result_sha256": "8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4",
000044 |       "byte_identical_to_canonical_results": true
000045 |     },
000046 |     {
000047 |       "command": "python3 work/paper-atlas/independent-native-quartic-support.py",
000048 | [OMITTED: non-scientific conversation or execution metadata]
000049 |       "exit_code": 0,
000050 |       "status": "PASS_INDEPENDENT_EXTERIOR_ALGEBRA",
000051 | [OMITTED: non-scientific conversation or execution metadata]
000052 |       "script_sha256": "52a63fd84492d3172b9e70b1b3fe2ef020074f27aa0318b398b5454252cd5bad",
000053 |       "independence": "Does not import the target checker or its principal_coefficients function. Rebuilds M/O/V from original constructors, then builds the five literal quartics by signed exterior multiplication on 8 creator plus 8 annihilator generators. Directly contracts creator legs, retaining actual sheet phases. The canonical result is read only at the end to compare every C entry."
000054 |     }
000055 |   ],
000056 |   "exact_matrix_findings": {
000057 |     "principal_shape": [
000058 |       70,
000059 |       5
000060 |     ],
000061 |     "principal_rank": 5,
000062 |     "raw_principal_gram": [
000063 |       [
000064 |         "243/8",
000065 |         "-51/16",
000066 |         "0",
000067 |         "0",
000068 |         "0"
000069 |       ],
000070 |       [
000071 |         "-51/16",
000072 |         "115/32",
000073 |         "0",
000074 |         "0",
000075 |         "0"
000076 |       ],
000077 |       [
000078 |         "0",
000079 |         "0",
000080 |         "13/8",
000081 |         "-3/8",
000082 |         "0"
000083 |       ],
000084 |       [
000085 |         "0",
000086 |         "0",
000087 |         "-3/8",
000088 |         "13/8",
000089 |         "0"
000090 |       ],
000091 |       [
000092 |         "0",
000093 |         "0",
000094 |         "0",
000095 |         "0",
000096 |         "1/4"
000097 |       ]
000098 |     ],
000099 |     "leading_principal_minors": [
000100 |       "243/8",
000101 |       "99",
000102 |       "1287/8",
000103 |       "495/2",
000104 |       "495/8"
000105 |     ],
000106 |     "raw_gram_determinant": "495/8",
000107 |     "original_native_Fock_norms": [
000108 |       96,
000109 |       8,
000110 |       8,
000111 |       8,
000112 |       1
000113 |     ],
000114 |     "normalized_gram_determinant": "165/131072",
000115 |     "all_350_principal_coefficients_exactly_match": true,
000116 |     "quarters": [
000117 |       "1/4",
000118 |       "3/4"
000119 |     ],
000120 |     "each_quarter_all_eight_arc_ranks": [
000121 |       5,
000122 |       5,
000123 |       5,
000124 |       5,
000125 |       5,
000126 |       5,
000127 |       5,
000128 |       5
000129 |     ],
000130 |     "every_arc_gram": "G/2 for eta_r=psi((x+2pi r)/8)/sqrt8",
000131 |     "normalization_clarification": "Replacing normalized eta_r by the unscaled original psi multiplies a commutator by sqrt8 and its coefficient Gram by8, hence yields4G. The rank and support conclusion are unchanged.",
000132 |     "Fourier_phase_verification": "Actual exponents ((4k+4alpha)r) modulo32; row unitarity checked exactly in Q[z]/(z^16+1), not numerically. Interior-product targets are the distinct creator K-without-k plus annihilator K words; all280 possible (K,k) labels are distinct.",
000133 |     "outer_basis_conversion": "The original U_alpha is unitary. Its exterior powers on creator and annihilator legs are unitary by Cauchy--Binet, so returning to the eight original arc generators preserves the principal kernel. Each contraction target has one common U_rk phase across the five columns; conjugate phase products cancel exactly.",
000134 |     "metric_boundary": "G is the coefficient Gram in an orthonormal CAR exterior basis. The original diagonal Heisenberg polynomial normalizations N convert unit native input coefficients. G is not asserted to equal the full image-state Gram R_b4 or a physical preparation probability metric."
000135 |   },
000136 |   "analytic_checks": {
000137 |     "normal_ordering_and_derivatives": "The uncontracted degree8 coincidence term is the squarefree exterior product. Wick contractions remove at least two fermionic factors; finite Taylor/derivative terms left by those subtractions have degree at most6. Uncontracted Taylor terms with repeated identical fields vanish in the coincidence limit without a compensating contraction singularity. Neither those terms nor the scalar b/z shifts cancel the degree8 witness. Their odd-probe commutators have degree at most5, whereas the witness has degree7. This argument retains the original point-split prescription and does not replace the full field by its principal term.",
000138 |     "support_quantifier": "Positive definite G and G/2 prove injectivity for every nonzero complex combination of the five supplied fields, not merely the four named rays or a sampled set. For any nontrivial quotient localization the corresponding distribution has an odd-CAR witness on each of the eight preimage arcs. This does not classify arbitrary different composites or state-dependent matrix elements.",
000139 |     "Hall_boundary": "The proof uses the original folded field dictionary and local CAR filtration. It does not identify Hall/Schur state transport with a point-local weight32 source field.",
000140 |     "full_source_H": "source_packets uses original density shifts8(n+1) and retains total weighted degree4. Every retained full-CAR occupation term has energy32 and every residue charge0. With the stipulated sea, H_alpha=sum_j(j+alpha)Delta n_j>=0; alpha Q vanishes on this packet, so car.energy32 is the full H_alpha eigenvalue, not just a finite code compression. The supplied K is H_alpha/8.",
000141 |     "source_packet_execution": {
000142 |       "both_quarters": true,
000143 |       "supports": [
000144 |         694,
000145 |         710,
000146 |         711,
000147 |         713,
000148 |         688
000149 |       ],
000150 |       "all_energies": [
000151 |         32
000152 |       ],
000153 |       "all_residue_charges": [
000154 |         0,
000155 |         0,
000156 |         0,
000157 |         0,
000158 |         0,
000159 |         0,
000160 |         0,
000161 |         0
000162 |       ],
000163 |       "full_packet_Gram_rank": 5
000164 |     },
000165 |     "bounded_local_lemma": "Independently checked the written proof: local separation upgrades the small-time vacuum identity to alpha_t(A)=exp(itE)A, group covariance extends all times, and the adjoint would create energy-E from the vacuum. Positivity and separation imply A=0. Boundedness, same full positive H, same vacuum, proper localization and separation are explicit essential assumptions; no unbounded-H differentiation is used.",
000166 |     "instrument_corollary": "Independently checked the new lines125--135. For a finite/countable normal outcome implemented by bounded A_j in the same proper local algebra, support of the positive output in H_E implies sum_j||(I-P_E)A_j Omega||^2=0. Every vector lies in H_E, hence each A_j vanishes by the lemma. This covers a local Lueders projector if it satisfies those hypotheses, not every abstract local CP map.",
000167 |     "quarter_transfer_boundary": "A support-preserving chart/bundle/reference transport to the NS representation supplies local separation only for the stipulated CAR realization, with the time generator transported jointly. It is not a globally periodic gauge equality and not a derivation that physical original P1 is this net.",
000168 |     "external_literature_attribution": "This review independently checks the algebraic/analytic argument and local original sources. It does not claim a fresh external-paper verification. The separate website_split work-area review records its primary-paper check of free-Fermi net cyclicity/separation."
000169 |   },
000170 |   "supporting_source_pins": [
000171 |     {
000172 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/check_mixed_return.py",
000173 |       "sha256": "68e2c1a688bff43c193fd812bb585993a189b02072eca509ee726dc112f1ddb1",
000174 |       "line_start": 1,
000175 |       "line_end": 63
000176 |     },
000177 |     {
000178 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/check_original_current_schur_kernel.py",
000179 |       "sha256": "7420c0d2221cc9292f498230362445e06e2b7a1614130a9f359c0e2b57034e8d",
000180 |       "line_start": 96,
000181 |       "line_end": 119
000182 |     },
000183 |     {
000184 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/check_original_density_current.py",
000185 |       "sha256": "8507f31059493a061797c28316c038ba0ab8aa4e26b4648eaf067212c45c61d8",
000186 |       "line_start": 17,
000187 |       "line_end": 54
000188 |     },
000189 |     {
000190 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt",
000191 |       "sha256": "62a9eeb4519b59d4514445f9d4dd5d2059e29179956a4c97ec94b7bae9ae3094",
000192 |       "line_start": 108,
000193 |       "line_end": 160
000194 |     },
000195 |     {
000196 |       "path": "experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json",
000197 |       "sha256": "253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639"
000198 |     },
000199 |     {
000200 | [OMITTED: non-scientific conversation or execution metadata]