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.

• Research contracts
  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-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

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.

• Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)tfpt research contracts
• 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
• 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
• 2026-07-03 ( v472 — the determinant line over the [formula in source] -twist moduli of the collar model carries curvature [formula in source] the inflow level: the v470 bridge lemma exhibited at the finite/model level; ALPHA.QUILLEN.EXACT.01 stays . Plus: bird's-eye rounds — electron-sector/Cabibbo whitespot probes, Calder\'on UV-universality, parameter-free flat-budget closure (sandbox); the flat-budget closure enters the evidence scorecard)Research changelog; TFPT — Introduction and reading guide
• Honest statusinput 4 origin theory
• Front matter / supportResearch contracts
• The unique attractor: a gapped transport selects ONE fixed pointorigin theory

Registered verification modules

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

  Track 1: the EXPLICIT lattice realisation of the S3 input -- a concrete gapped chiral-Majorana (p+ip) lattice model whose edge is the 16-Majorana SO(16)_1 carrier, mu4-condensed to (E8)_1; turns the abstract S3 residual (v356/v366) into a RUNNABLE model with a numerically computed topological invariant. [E] bulk gapped (band gap 2>0 at M=1). [E] non-trivial Chern number (Fukui-Hatsugai-Suzuki: |C|=1 at M=1, C=0 at M=3 trivial control). [E] c_-=8: each chiral Majorana edge carries c_-=C/2=1/2, N_Maj=dim S^+=2^(g_car-1)=16 copies => c_-=16/2=8=g_car+N_fam. [E] edge K-matrix SO(16)_1 (det Cartan D8=4) -> (E8)_1 (det Cartan E8=1) by the order-4 mu4 clock (v351/v369). [C] the mu4 condensation SO(16)_1 -> (E8)_1 (v154/v351). [O] residual: the continuum scaling-limit existence (MMST v336). Reduces S3 to a runnable lattice model; 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.