A registered result in its source context
Original ledger classification: MMST citation audit [C]/[O]: hypothesis-by-hypothesis (arXiv:2107.13834) -- H1 CAR class, H2 massless limit, H3 per-copy c=1/2 (Thm 4.11), H4 decoupled additivity 16*1/2=8, H5 WZW range 8<=8<=16 + 120 bilinear currents all MATCH; the SINGLE residual H6 is the 128-spinor extension SO(16)_1->(E8)_1 (det K 4->1), outside MMST's bilinear method -> v459; SEAM.EQUIV.01 stays [O]
Recorded statement: The EXACT hypothesis-by-hypothesis citation audit of the MMST scaling-limit theorem against the collar (2026-06-30, G3 of the post-F next steps, the 'exakter Zitat-Abgleich') -- 'does the cited theorem close the c=8 limit, and if not,…
Statement, assumptions and sources
Paper context: Research contracts
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
SEAM.EQUIV.MMST.AUDIT.01
Original ledger classification: MMST citation audit [C]/[O]: hypothesis-by-hypothesis (arXiv:2107.13834) -- H1 CAR class, H2 massless limit, H3 per-copy c=1/2 (Thm 4.11), H4 decoupled additivity 16*1/2=8, H5 WZW range 8<=8<=16 + 120 bilinear currents all MATCH; the SINGLE residual H6 is the 128-spinor extension SO(16)_1->(E8)_1 (det K 4->1), outside MMST's bilinear method -> v459; SEAM.EQUIV.01 stays [O]
Original claim text
The EXACT hypothesis-by-hypothesis citation audit of the MMST scaling-limit theorem against the collar (2026-06-30, G3 of the post-F next steps, the 'exakter Zitat-Abgleich') -- 'does the cited theorem close the c=8 limit, and if not, exactly which sub-statement remains?'. Cited: Osborne-Stottmeister, 'CFT from Lattice Fermions' (CMP 398 (2023) 219; arXiv:2107.13834; the legacy internal token 'MMST'/claim-id denotes this OS theorem, built on the MMST OAR framework arXiv:2010.11121). [C] H1 ALGEBRA CLASS: a gapped quasi-free CAR 16-Majorana system = MMST's lattice-fermion class (v155/v160/v302). [C] H2 MASSLESS LIMIT: the gapless chiral edge IS that massless scaling limit (v439/v444). [E] H3 PER-COPY (c=1/2): each of 16 chiral Majoranas is EXACTLY the proven Thm 4.11 c=1/2 case. [C] H4 DECOUPLED ADDITIVITY: MMST's limit decouples into Majoranas => L_k=sum_i L_k^(i) on the common core => the free c=8 SO(16)_1 Virasoro follows (16*1/2=8). [C] H5 WZW RANGE rank<=c<=D: 8<=8<=16 IN range, the 120 so(16) currents are bilinears -- covered. [O] H6 RESIDUAL = THE 128-SPINOR EXTENSION: the index-4 SO(16)_1->(E8)_1 adds 128 SPINOR currents (248=120+128), NOT bilinears -- OUTSIDE MMST's method (= the det K 4->1 holomorphy discriminator), handed to v459. [C]/[O] the audit CLOSES-by-citation the c=8 EXISTENCE and pins the open residual EXACTLY to the 128-spinor extension; SEAM.EQUIV.01 stays [O], its open part now this one holomorphic-extension statement.
Original classification detail
Physical
Dependencies as recorded
SEAM.EQUIV.01; SEAM.MMST.INCLASS.01; SEAM.EQUIV.CONTINUUM.03; SEAM.EQUIV.LATTICEVOA.01; v336; v356; v155; v160; v302
Open the original ledger source, row 520Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Research contracts
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-30 ( v454– v459 + Lean + Wolfram — the post-F ``G-block'': the lattice Sugawara current algebra, a uniform-in- [formula in source] Tomita–Takesaki tower, chirality forced by [formula in source] , an [formula in source] character kill test, the exact MMST citation audit and the complementary lattice-VOA route)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- 2026-06-30 ( v463/ v464 + Lean + Wolfram — the [formula in source] holomorphic-uniqueness pin and the one-particle realisation rigidity: the SEAM.EQUIV.01 residual reduced to entirely certification on both halves)Research changelog; TFPT — Introduction and reading guide
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- 2026-06-30 ( v461/ v462 + Lean axiom merge — the strict-locality obstruction made explicit, the 128-spinor extension exhibited at character level, and the SEAM.EQUIV.01 residual reduced to ONE realisation axiom [formula in source] ONE combined cited theorem)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- 2026-07-14 (website + figure refresh — the /verification journey views become live HTML (the stale timeline/residual-chain images replaced by interactive components wired to the in-browser reproducer), the prediction surface's empirical-audit wall of text restructured into dated, expandable rounds, and the generated timeline/residual-chain figures extended to the current suite — presentation only, no content or marker moves)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v458_seam_mmst_citation_audit.pyRegistered verification module · frontier
Read the description recorded in the module registry
SEAM.EQUIV.MMST.AUDIT.01: the EXACT hypothesis-by-hypothesis citation audit of Osborne-Stottmeister (arXiv:2107.13834, CMP 398 (2023); legacy internal token MMST) against our collar (G3, the Zitat-Abgleich). [C] H1 ALGEBRA CLASS: CAR 16-Majorana collar -- MATCH. [C] H2 MASSLESS POS-ENERGY LIMIT: the edge IS that limit (v439/v444) -- MATCH. [E] H3 PER-COPY c=1/2: 16 chiral Majoranas, each the proven Theorem A case. [C] H4 DECOUPLED ADDITIVITY: 16*(1/2)=8 -> free SO(16)_1 c=8. [C] H5 WZW RANGE 8<=8<=16 + 120 bilinear currents. [O] H6 RESIDUAL = the 128-spinor extension (248=120+128), outside MMST's bilinear method, handed to v459. [C]/[O] the c=8 EXISTENCE is citable; SEAM.EQUIV.01 stays [O], residual narrowed to the holomorphic extension. Python (sympy).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.