The published foundations of TFPT
Read the original registered statements beside their paper sections, assumptions and verification sources. The later reviewed research stays connected through a separate record.
Search the complete foundation register
334 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
The five slot carrier and its bootstrap conditions
TFPT — Introduction and reading guide
Original identifier and classification
AX.P2.01Axiom (declared input; over-determined bootstrap fixed point, Lean-forced)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe explicit D₅ and A₃ lattice construction of E₈
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.GLU.01Lattice
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.NUM.01Lattice
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
BOOT.CLASS.01Lattice
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe common anchor and its integer invariants
TFPT — Introduction and reading guide
Original identifier and classification
ANCHOR.GEN.01Identity
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceE8 audit and bootstrap
E8 audit and bootstrap
Original identifier and classification
CAS.01Lattice
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceE8 audit and bootstrap
E8 audit and bootstrap
Original identifier and classification
BOOT.01Lattice
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceLayer 6 — two independent reproduction paths
Verification safeguards
Original identifier and classification
GATE.WOLFRAM.01Numerical (second path)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
SEL.THM.01Lattice [L] + selection [P]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe EM closure: [formula in source] as an explicit fixed point (made explicit here)
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
EM.WARD.01Identity [I] + physical origin [P] (sharpened to a Quillen form by v341; to a heat-kernel origin by v342)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.CONTINUUM.02Sharpening [E]/[O] (the order-4 clock + Coxeter-match pin E8 over SO(16); the residual is purely the chiral-edge existence)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.EQUIV.CONTINUUM.03Continuum chain assembly [C]/[E]/[O] (edge-existence reduced via anomaly inflow; residual = lattice realization tied to seam one-sidedness; B already closed by v40)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.MMST.INCLASS.01SEAM.EQUIV.01 reduced to the single S3 lattice-realisation input; MMST in-class verified for the collar [E]/[C]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.S3.LATTICE.01S3 realised as an explicit gapped chiral-Majorana lattice model (numerical Chern |C|=1, c_-=8, det K 4->1) [E]/[C]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.S3.CENTRALCHARGE.01central charge c=8 from finite-size entanglement scaling of the lattice (chiral, c_-=8) [E]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.S3.E8CHARACTER.01the chiral c=8 content is (E8)_1 (248 currents, 1 primary) via the exact character + mu4/GSO promotion [E]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.S3.MODULAR.01torus GSD=1 / modular uniqueness -- the genus-1 holomorphy discriminator closes the v344 hard part [E]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.S3.RP.01reflection positivity (OS axiom) of the explicit collar verified by an EXACT positive-mixture Gram identity (symbolic PSD: M = V^T diag(1/K) V, sum of squares; eigenvalue check retained as diagnostic, T133 hardening); C7 then discharged via v369 [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceIn plain words
TFPT — Introduction and reading guide
Original identifier and classification
FORM.SEAM.MMST.01Formal [F] (Lean kernel; closed modulo the cited MMST/Adamo theorems)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
QGAMB.REDUNDANCY.01Ambient measure proved boundary-REDUNDANT (the holographic route); QG.AMB.01 reframed as a non-fundamental certification object [C]/[O] (conditional on SEAM.EQUIV.01 + BW)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence