TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_review.json
Original file SHA-256: 81b83992072b45b1b1f29c7e7e2e80e2c5fd154a68d9ae22c714d5f19304a3fc
Inclusive original lines: 1-135
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:56:59.534796+00:00",
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 |   "verdict": "PASS_SCOPED_INDEPENDENT_ERASURE20_AND_JOINT25_FIELD_SUPPORT",
000005 |   "scientific_status_change": false,
000006 |   "physical_promotion": false,
000007 |   "reviewed_files": [
000008 |     {
000009 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/ERASURE-AND-JOINT-25-MULTILOCAL-SUPPORT.txt",
000010 |       "sha256": "73214df57a8a29b9c8adf209fb81b026e4942107773afbea3c23118062d0df55",
000011 |       "line_start": 1,
000012 |       "line_end": 93
000013 |     },
000014 |     {
000015 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/check_erasure_multilocal_support.py",
000016 |       "sha256": "7effbd2f160066f082efd71abdf2b5a6d5b24fdc73c0272bbc9031b58fc253f6",
000017 |       "line_start": 1,
000018 |       "line_end": 112
000019 |     },
000020 |     {
000021 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_results.json",
000022 |       "sha256": "3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578",
000023 |       "line_start": 1,
000024 |       "line_end": 3506
000025 |     }
000026 |   ],
000027 |   "scope": "Exact field-support continuation within the same original conditional eightfold M/O current dictionary. Literal20 derivatives of the original five quartics, fixed original native normalization, both quarters, every original sheet; joint25 injectivity by distinct CAR filtration degrees. No new state-energy or local-preparation theorem.",
000028 |   "exact_findings": {
000029 |     "raw_quartics": "P0=sum h_a^4; P1=h0^2h1^2+h2^2h3^2; P2=h0^2h2^2+h1^2h3^2; P3=h0^2h3^2+h1^2h2^2; P4=h0h1h2h3.",
000030 |     "actual_erasure_fields": "g_(i,a)=partial_a P_i/sqrt(N_i), raw P_i, original N=(96,8,8,8,1). Equivalently partial_a f_i when f_i denotes the already normalized quartic.",
000031 |     "column_order": "i-major, a-minor, i=0..4/a=0..3; unchanged original20 columns, no arbitrary Gram whitening or basis selection.",
000032 |     "independent_original_Fock_gram": "diag(N_i repeated four times), independently recomputed with monomial factorial weights; after original normalization I20.",
000033 |     "principal_shape": [
000034 |       56,
000035 |       20
000036 |     ],
000037 |     "principal_rank": 20,
000038 |     "principal_nullity": 0,
000039 |     "raw_gram_determinant": "1032386052096",
000040 |     "native_unit_gram_determinant": "194481/1099511627776",
000041 |     "all_1120_principal_coefficients_compared": true,
000042 |     "exterior_ordering_sign": "Independent exterior construction puts creators before annihilators, introducing the common sign(-1)^(3 choose2)=-1 relative to the ordered product of three density symbols. After this fixed ordering sign, every coefficient agrees exactly. This is not a fitted column transform; Gram, rank and kernels are unchanged.",
000043 |     "principal_raw_gram_and_sheet_gram_compared_entrywise": true,
000044 |     "all_sheet_gram": "(3/8)G3 for every r=0..7 and alpha=1/4,3/4; the formula also holds in the original unit normalization.",
000045 |     "all_sheet_ranks": [
000046 |       20,
000047 |       20,
000048 |       20,
000049 |       20,
000050 |       20,
000051 |       20,
000052 |       20,
000053 |       20
000054 |     ],
000055 |     "joint25_graded_rank": 25
000056 |   },
000057 |   "independent_decisive_argument": [
000058 |     "Reconstruct V=M^T O Uplus from the same original Weyl data and lattice isometry. Form the literal raw polynomial derivatives before substituting the four current2-forms.",
000059 |     "Multiply in the exterior algebra of8 creators and8 annihilators with exact Gaussian-rational coefficients, explicitly dropping repeated generators and retaining permutation signs. Extract all56 degree6 matching-subset words to obtain the56x20 matrix.",
000060 |     "Exact domain-matrix elimination gives rank20 and the stated raw Gram determinant. Applying the fixed native column normalization multiplies the Gram determinant by product_i N_i^-4, producing194481/1099511627776.",
000061 |     "Direct creator contractions produce distinct labels(annihilator K, creator K-without-k), with |K|=3: all168 possible pairs have distinct labels. For any sheet and quarter, the actual Fourier contraction coefficients have squared modulus1/8, so the coefficient Gram is exactly3G3/8. This is an algebraic identity for all sheets, not a numerical sample.",
000062 |     "The actual Fourier row unitarity and support-preserving exterior basis conversion were independently checked in the preceding quartic review. No independent eight-vacuum assumption is introduced.",
000063 |     "A nonzero quartic part of a joint25 combination survives degree8, and its sheet commutator survives degree7. Cubic erasures have degree6/commutator5 and cannot cancel those. If the quartic coefficients arezero, the injective cubic map and its sheet contractions detect every nonzero erasure part. Thus every nonzero supplied joint25 field combination has all eight support preimages."
000064 |   ],
000065 |   "normal_ordering_and_shifts": "The given affine shifts preserve the cubic principal polynomial in each quarter. Wick contractions and the finite Taylor/derivative terms arising from current normal-ordering subtraction have lower fermion degree, at most4 for a cubic field and at most3 for its odd-probe commutator. The degree6/5 witness therefore survives while the full lower terms remain part of the original field. Quartic lower-degree terms cannot defeat the joint argument because degree8/7 already forces their entire coefficient vectorzero if a joint field or sheet witness vanishes.",
000066 |   "tests": [
000067 |     {
000068 | [OMITTED: non-scientific conversation or execution metadata]
000069 | [OMITTED: non-scientific conversation or execution metadata]
000070 |       "exit_code": 0,
000071 |       "status": "PASS_SCOPED",
000072 |       "result_sha256": "3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578",
000073 |       "byte_identical_to_canonical_results": true
000074 |     },
000075 |     {
000076 | [OMITTED: non-scientific conversation or execution metadata]
000077 | [OMITTED: non-scientific conversation or execution metadata]
000078 |       "exit_code": 0,
000079 |       "status": "PASS_SCOPED",
000080 |       "result_sha256": "3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578",
000081 |       "byte_identical_to_canonical_results": true
000082 |     },
000083 |     {
000084 |       "command": "python3 -B work/paper-atlas/independent-erasure-multilocal-support.py",
000085 | [OMITTED: non-scientific conversation or execution metadata]
000086 |       "exit_code": 0,
000087 |       "status": "PASS_INDEPENDENT_LITERAL_ERASURE_EXTERIOR_MAP",
000088 | [OMITTED: non-scientific conversation or execution metadata]
000089 |       "script_sha256": "5144a5a93cdd2029447c340adedc9791304e7ef5ec1dc2f09e2f409b342316c9",
000090 |       "independence": "Uses original M/O constructors and literal quartic words, not the new checker, its derivative function or its permutation-sum coefficient construction. Canonical matrices are read only after independent rank/Gram/contraction computations for final exact comparison."
000091 |     }
000092 |   ],
000093 |   "notation_correction_during_review": {
000094 |     "issue": "Initial checker metadata used partial_a f_i/sqrt(N_i), ambiguous after the addendum defines f_i as already normalized.",
000095 |     "resolution": "Owner clarified docstring and Results.field_definition to partial_a P_i/sqrt(N_i), P_i raw original quartic. The numerical calculation already used raw polys correctly. Final pinned files include this correction.",
000096 |     "unresolved": false
000097 |   },
000098 |   "original_quartic_files_preserved": {
000099 |     "verified_against_prior_independent_review_pins": true,
000100 |     "checker_before_after_hashes_equal": true,
000101 |     "prior_review": {
000102 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_review.json",
000103 |       "sha256": "46ee10086da6d9227f9344e24f25dcfb20a629ed703756642374c974099f1e6a"
000104 |     }
000105 |   },
000106 |   "original_source_anchors": [
000107 |     {
000108 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/LOCAL-CURRENT-ERASURE-AND-ORDERING.txt",
000109 |       "sha256": "4c3397bb7c0bc75c790b0cca29f5a38abfdff9a564ca5179203ef5a801c554de",
000110 |       "line_start": 39,
000111 |       "line_end": 67
000112 |     },
000113 |     {
000114 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/FOUR-STARTING-POINTS-STATE-RELATIVE-EQUIVALENCE.txt",
000115 |       "sha256": "53dd97e3d9fc5b9d62a3f772fbe5d578b258c84bff82afac68668422c90d2ac8",
000116 |       "line_start": 140,
000117 |       "line_end": 155
000118 |     },
000119 |     {
000120 |       "path": "experiments/theory-contracts/joint-native-algebra-selection-20261016/FOLD-COVARIANCE-TO-NATIVE-FIELD-RESPONSE.txt",
000121 |       "sha256": "cd35ac0e65ebf780cc99d3dd8a318255d11251125298d88e88cb676c72b27507",
000122 |       "line_start": 117,
000123 |       "line_end": 125
000124 |     }
000125 |   ],
000126 |   "not_established": [
000127 |     "A new full original-source energy24 assertion or a newly constructed source-Schur state packet for the20 derivatives.",
000128 |     "Exact local-vacuum preparation or its exclusion for arbitrary joint25 superpositions; the prior single-positive-eigenvalue lemma keeps its own hypotheses.",
000129 |     "Identification of physical P1 with the stipulated CAR source, a new physical operation menu, a q/plane selector or a closed-code condition.",
000130 |     "A classification of all source fields, all E8, arbitrary nonlinear composites or unbounded preparation protocols.",
000131 |     "A physical probability metric inferred from the formal principal coefficient Gram or the diagonal native Fock normalization."
000132 |   ],
000133 |   "corrections_required": [],
000134 | [OMITTED: non-scientific conversation or execution metadata]
000135 | }