Original ledger status
SEAM.EQUIV.APPLICABILITY.01
SEAM.EQUIV.APPLICABILITY.01
The applicability ledger (2026-06-30) -- a hypothesis-by-hypothesis audit of the THREE external theorems the seam keystone cites (MMST scaling limit, NPW26 (LTO-RP), Adamo-Giorgetti-Tanimoto covariance), isolating the SINGLE genuinely-imported analytic fact. Answers the reviewer worry that the cited theorems may carry hidden hypotheses, by classifying every hypothesis as either a TFPT-internal computed fact (with its establishing vN) or a genuinely external analytic assumption. [E] MMST HYPOTHESES: D=16 Majoranas (=2^{g_car-1}), c=8 (=g_car+N_fam), rank E8=8, range rank<=c<=D reads 8<=8<=16 (in range, saturating rank=c=8), gapped (6 ln(3/2)>0), quasi-free CAR -- all internal computed facts. [E] NPW26 HYPOTHESES: (LTO-RP)=u_Theta=J, gap, Z2 reflection, mu4 clock, [rho,K]=0 internal (v424/v426/v440); the seam is invertible |det Cartan E8|=1 + beta=1 KMS, OUTSIDE NPW26's topological/trace bucket (worked |det|=4) -- NPW26 used as a TEMPLATE, its theorem not directly imported. [E] ADAMO-GIORGETTI-TANIMOTO (arXiv:2508.07109): DHR reps of nets extending loop-group/Virasoro are AUTOMATICALLY positive-energy + diff-covariant; the seam net extends (D5)_1 x (A3)_1 (v154), so geometric covariance is a CONSEQUENCE -- the 'BW presupposes covariance' circularity (v215) is defused; covariance downgraded ASSUMPTION->[E]. [E] THE SINGLE IMPORTED FACT: of 12 audited hypotheses, 11 are TFPT-internal computed facts and exactly 1 is external -- the continuum EXISTENCE of the chiral massless scaling limit (MMST/v336, Lean FORM.SEAM.MMST.01). [C]/[O] VERDICT: the keystone's external dependence is pinned to ONE analytic fact; covariance is an Adamo consequence, not an input; SEAM.EQUIV.01 stays [O] -- that one fact is the honest closure ceiling.
Recorded status: Applicability ledger [E]/[C]: a hypothesis-by-hypothesis audit of MMST/NPW26/Adamo finds 11 of 12 hypotheses are TFPT-internal computed facts and exactly 1 is external -- the continuum existence of the chiral massless scaling limit; covariance is an Adamo consequence (defuses v215), not an input. SEAM.EQUIV.01's external dependence is pinned to ONE analytic fact; stays [O]
Dependencies, status detail and source
Canonical status: Numerical
Dependencies: SEAM.EQUIV.01; SEAM.MMST.INCLASS.01; SEAM.EQUIV.LTORP.01; SEAM.EQUIV.LTORP.KMS.01; v424; v426; v440; v336; v154; v215
Scripts: v441_seam_applicability_ledger.py
Location: tfpt_research_contracts
Original CSV, line 499