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
89 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 family lattice norm in the solar coefficient
Standard Model and flavor structure
Original identifier and classification
FLAV.SOLAR.02Identity
Topic connection recorded by an authored Atlas relation.
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 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.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 evidenceRed-team audit
Red-team audit
Original identifier and classification
E8.OTHERSIDE.AUDIT.01Sheet/deck reverse audit [E]/[O] (the double-cover 'other side' = degree-2 + the 128-spinor, forced-disjoint from the 5 unmapped degrees; the complement of v354/v355)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.BOOTSTRAP.01Correction [E]/[O] (inputs are bootstrap-forced fixed points; g_car=5 IS the icosahedral 5 of h(E8)=30; golden emergent from the mu4-glue; residual = the physical continuum realisation)
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
FLAV.DELTA.01Identity [I]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARCH.CFT.01Identity/Lie [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.AREALAW.01Numerical + Identity [I] (necessary condition)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.CYCLE.01Identity/Lie [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.PENCIL.02Identity/Lattice [I]/[L] + audit [P]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.PENCIL.03Identity/Lattice [I]/[L] + audit [P]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOutcome
Red-team audit
Original identifier and classification
CAR.PASCAL.01Identity/Lattice [I]/[L] (B residual reduced to the half-spinor input)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOutcome
Red-team audit
Original identifier and classification
GATE.METRIC.05Lattice [L] (classification + machine contrast) + [P]/[A] (the one remaining hypothesis)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe hard reduction: the live residual as typed interfaces
TFPT — Introduction and reading guide
Original identifier and classification
GATE.METRIC.06Lattice [L] (index arithmetic + reframing) + [P]/[A] (seam-side identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence