A registered result in its source context

Location 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.

• Origin Theory
  Browse this documentRead the PDFOriginal source

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-25 (External AQFT citations [formula in source] the four-fold [formula in source] identity sharpened)Research changelog; TFPT — Introduction and reading guide
• 2026-06-22 (next-steps round: the one open lemma literature-anchored, the Decoupling Theorem, the holomorphy discriminator hardened in Lean, and the [formula in source] budget: v336, v337, v338, FORM.CARTAN.DET.01)Research changelog; TFPT — Introduction and reading guide

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-07-02 ( v471 — the Seam–Horizon replica chain exercised numerically on the discretized collar: the kernel-identification premise of SEAM.THEOREM.01 discharged at the finite/model level; residual retypes to the continuum MMST leg [formula in source] the anchor; gate stays . Plus: the GW ringdown-echo channel hardened — 10 loudest events incl.\ GW250114, redshift-corrected templates, stacked search and a 12-variant signature battery, all null)Research changelog; TFPT — Introduction and reading guide
• Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)tfpt research contracts
• The seam and the horizon: the precise statementorigin theory
• 2026-06-30 ( v449– v453 + Lean + Wolfram — the edge CFT named end-to-end: uniform-in- [formula in source] convergence, three independent reads of [formula in source] , the Ising operator tower, the [formula in source] modular data, and [formula in source] -symmetry derived from the four marks)Research changelog; TFPT — Introduction and reading guide
• 2026-06-23 (Track 1 — the S3 input made CONCRETE: an explicit gapped chiral-Majorana ( [formula in source] ) lattice model with numerical Chern [formula in source] realises the [formula in source] edge ( v367), and a strip shows the chiral edge exists by anomaly inflow ( v368))Research changelog; TFPT — Introduction and reading guide
• The EM closure: [formula in source] as an explicit fixed point (made explicit here)tfpt 1 architecture e8
• The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
• Honest statusinput 4 origin theory

Registered verification modules

• v336_continuum_limit.pyRegistered verification module · core
  Read the description recorded in the module registry

  The ONE open lemma of SEAM.EQUIV.01, stated precisely and mapped to the recent rigorous literature: the continuum-limit and OS-reconstruction legs are now CITABLE, the genuinely-open residual narrows. [C] CONTINUUM LEG: Osborne-Stottmeister (CFT from Lattice Fermions, CMP 398 (2023) 219; legacy internal token MMST, on the MMST/Morinelli-Morsella-Stottmeister-Tanimoto OAR framework, arXiv:2010.11121) give the chiral-CFT scaling limit of free lattice fermions (Koo-Saleur -> Virasoro); WZW range rank<=c<=D. (E8)_1: c=8, rank 8, D=16 Majoranas (SO(16)_1 -> (E8)_1), 8<=8<=16 in range; the collar is gapped quasi-free (CAR). [C] OS LEG: Adamo-Moriwaki-Tanimoto (arXiv:2407.18222) prove the conformal OS axioms for unitary VOAs incl. lattice VOAs; (E8)_1 is the even self-dual rank-8 lattice VOA. [C] CONSTRUCTION + COVARIANCE (Adamo-Giorgetti-Tanimoto): arXiv:2506.01008 builds the 2d conformal net of an even lattice and classifies the 2d Heisenberg-net extensions as lattice nets (the lattice IS a conformal net), and arXiv:2508.07109 shows every DHR rep of such a net is automatically positive-energy + diffeomorphism-covariant (covariance is a consequence, not an input; defuses the v215 BW circularity). [E] TARGET PINNED: c=g_car+N_fam=8, det Cartan E8=1, the D=16 Majorana SO(16)_1 IS the carrier-16 and the mu4 extension IS the seam glue. [O] OPEN RESIDUAL: c=8 alone does NOT pin the net (SO(16)_1 also c=8, det 4), so the open lemma = the holomorphy discriminator det K=1. Does NOT close SEAM.EQUIV.01.

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.