TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/OLDER-SEAM-VERIFICATIONS-AND-W8.txt Original file SHA-256: 2f2fba5a84e09ac234b07d94fcc2c9255626a899a9c0025047b34ba42d355af1 Inclusive original lines: 1-133 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 | OLDER SEAM PAPERS AND VERIFICATIONS: WHAT CAN ALREADY BE REUSED 000002 | ============================================================= 000003 | 26 October 2026 000004 | Claim: MATH.ORIGINAL-SEAM.OLDER-SEAM-EQUIVALENCE-AUDIT.01 000005 | Scope: named original passages and scripts, not an exhaustive corpus proof. 000006 | 000007 | 1. Positive recovered results are retained 000008 | ------------------------------------------ 000009 | The old fullv21 circle, its actual domains, seam unitary and time/seam Ward 000010 | were already recovered in older-paper-source-recovery-20261025. They are 000011 | not reopened as absent data. The direct defect and relative determinant 000012 | closure remain in their source scope. 000013 | 000014 | The source-specific QWZ-to-one-chiral-CAR theorem and its composition with 000015 | the old fold were already audited in paper-source-reconstruction-20261025. 000016 | The neutral octic field/adjoint bounds and microscopic limit are likewise 000017 | available there. Their actual P1 source comparison is still conditional. 000018 | There is no need to build another generic free-fermion model. 000019 | 000020 | The earlier F8 eighth stress jet was an explicitly nonzero OVERLAP. Its 000021 | wording correctly did not assert a pure prepared state. The new ORIGINAL 000022 | c1 cyclicity theorem strengthens the mathematical source-span statement: 000023 | every neutral W8 response component is in the full original stress span. 000024 | The exact grade8 CAR calculation constructs the first component explicitly. 000025 | The smaller folded c8 obstruction must not be confused with that original 000026 | c1 source. The initial broad stress-exclusion interpretation was rejected 000027 | during the smallest decisive test and is not adopted in the Atlas. 000028 | 000029 | 2. Older E8 boundary identification is conditional on its actual inputs 000030 | ----------------------------------------------------------------------- 000031 | The current CSV ledger still lists SEAM.EQUIV.01 as a contract and its named 000032 | unconditional equivalence theorem as open. Its MMST branch is conditional. 000033 | The red-team original explicitly warns that equal central charge c8 does 000034 | not identify a net: D8 level1 also has c8 but four sectors. Holomorphy is 000035 | a separate load-bearing hypothesis. That warning remains compatible with 000036 | the positive finite E8 compiler and exact lattice extensions. 000037 | 000038 | The original Dong-Mason classification really proves uniqueness of E8 at 000039 | c8 for a strongly rational holomorphic VOA of CFT type with C2 cofiniteness. 000040 | It does not derive these hypotheses for the raw P1 seam, nor pick its 000041 | quarter representation and support/time/reflection dictionary. 000042 | 000043 | v366_mmst_seam_collar.py:52-110 computes16 from dim Splus and c8 from5+3. 000044 | Its quasi-free class test is explicitly cited and passes True; inclass=True 000045 | is then supplied. Its last target test uses detK_E8=1,detK_SO16=4,clock_order=4. 000046 | These verify the declared arithmetic. They do not construct the original 000047 | local CAR representation or prove that a given seam is the selected net. 000048 | Sixteen independent Majorana copies and an eightfold presentation of one 000049 | complex source are different objects, despite coinciding central charges. 000050 | 000051 | v464_seam_oneparticle_rigidity.py:60-70,88-161 constructs the chosen sin(k) 000052 | chain, checks its projector, finite Cauchy windows and an entropy fit. 000053 | It does not classify the original Dcoll from spectral flow and gap alone. 000054 | This limitation was already recovered in the previous paper-source audit. 000055 | The fresh source files ARE available; older AI annotations saying they 000056 | were not supplied are not treated as current evidence of absence. 000057 | 000058 | v469_seam_crossedproduct_route.py:109-204 correctly separates the local 000059 | extension arithmetic, KLM index computation and cited extension package. 000060 | It supplies a mathematical extension route on the given subnet. The final 000061 | R1' package is an explicit conditional input. A phase-class statement does 000062 | not furnish the actual marked local source map with fixed response data. 000063 | 000064 | v994_mmst_criteria_battery.py:232-370 computes five finite/model criteria. 000065 | Its C6 and C7 are openly labelled cited/conditional/open. In particular the 000066 | C7 check is True with a message saying finite q coefficients are not the 000067 | net theorem. Re-running that check cannot supply the missing map. The 000068 | later v998 arithmetic shadow remains valuable; it is not substituted for 000069 | the full representation and local field transport. 000070 | 000071 | v1030_alg2_sector_frame.py:110-137 explicitly reports that microscopic 000072 | neutral block generation, actual charged corners, uniform local words, 000073 | joint adjoint tails and FE-GEN/ALG-EXH are not proved by its finite frame 000074 | lemma. This is no hidden prior completion of the present P1 problem. 000075 | Its stronger charged/typeIII goal is not imposed on neutral W8 first. 000076 | 000077 | 3. The earlier full Dirac test remains a scoped constraint 000078 | ---------------------------------------------------------- 000079 | collar-current-source-bridge-20261021/DIRAC-LIFT-ADMISSIBILITY.md proves, 000080 | under its complete Lagrangian/CAR/implementability hypotheses, 000081 | 000082 | N C N*=1-C, [N,X]=[N,Y]=0 => c_C(X,Y)=0. 000083 | 000084 | The two components of the original full vector module cancel. The scalar 000085 | chiral phase remains nonzero on its stated component. Thus a proof must 000086 | retain the actual chiral measure/line or identify a genuine inflow. This 000087 | does not exclude P1, neutral correlations, mixed vector/axial currents or 000088 | the positive original c1 state-span theorem. It is reused old evidence. 000089 | The geometric Gamma already defines Dplus; inventing a new component is 000090 | unnecessary. Its physical measure/source identification remains separate. 000091 | 000092 | 4. What this changes in the route 000093 | --------------------------------- 000094 | Reuse the original circle and positive source, the microscopic neutral 000095 | field chain, the W8 completion, and now the full ORIGINAL stress cycle. 000096 | Do not demand that the smaller folded stress subalgebra exhaust the source. 000097 | Do not demand the charged E8 spinor extension before constructing this 000098 | neutral W8 image. An older conditional full-net recognition theorem is a 000099 | possible sufficient route with its own hypotheses, not the only route. 000100 | 000101 | The remaining direct task is the actual original local field map, or a 000102 | localization-preserving extension of the original stress-sector map, with 000103 | the original state, time, quarter seam, reflection and closed collar/reference 000104 | domains. Global span alone does not establish that map. The full coupled 000105 | measure and electromagnetic readout retain their separate source contracts. 000106 | 000107 | Original sources checked 000108 | ------------------------ 000109 | documents/tfpt_5_redteam/sections/001-section-method.tex:64-89. 000110 | documents/tfpt_research_contracts/sections/005-source.tex:1-160. 000111 | verification/status_ledger.csv:381,583,756,767,784. 000112 | verification/v366_mmst_seam_collar.py:52-110. 000113 | verification/v464_seam_oneparticle_rigidity.py:60-70,88-161. 000114 | verification/v469_seam_crossedproduct_route.py:109-204. 000115 | verification/v994_mmst_criteria_battery.py:232-370. 000116 | verification/v1030_alg2_sector_frame.py:110-137. 000117 | experiments/theory-contracts/collar-current-source-bridge-20261021/ 000118 | DIRAC-LIFT-ADMISSIBILITY.md:1-248. 000119 | experiments/theory-contracts/paper-source-reconstruction-20261025/ 000120 | ORIGINAL-CAR-WARD-IDENTIFICATION.txt:9-100. 000121 | 000122 | External original papers checked 000123 | --------------------------------- 000124 | Osborne-Stottmeister, https://arxiv.org/abs/2107.13834, Theorems4.11,5.1, 000125 | 6.1 and6.3: convergence of specified lattice fermions, currents and stress 000126 | correlations. The operators, renormalization maps and scaling state are 000127 | part of the setup. This is not a classification of arbitrary P1 kernels. 000128 | Dong-Mason, https://arxiv.org/abs/math/0203005, Theorem1 and its hypotheses: 000129 | holomorphic strongly rational c8 uniqueness. 000130 | Bouwknegt-McCarthy-Pilch, https://arxiv.org/abs/hep-th/9108023, section2: 000131 | generic c1 Fock/Verma irreducibility, used in the new original-source proof. 000132 | 000133 | No original paper or CSV status is edited or promoted by this audit.