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.
Start with the published construction
The foundations include the carrier, E₈, flavour, alpha, quantum structure, gravity and cosmology. Open an area to follow its registered statements into the papers and verification sources.
- Seam, origin and declared inputsBoundary inputs, the common anchor and source selection.
- Carrier, families and E8 closureThe particle carrier, lattice matching and E₈ closure.
- Interlocking clocksFinite clock actions, their couplings and dynamics.
- Standard Model and flavorParticle charges, source mass ratios and mixing.
- Fine-structure constantThe response equation, its root and physical interpretation.
- Quantum and boundary structureCodes, finite quantum geometry and field structure.
- GravityEntanglement, geometric flow and gravity interfaces.
- CosmologyInflation, baryon density and vacuum energy readouts.
- Tests and predictionsWhat the formal and numerical checks establish.
- UniversalraumA common process, state and observable source.
- MetrologyHow dimensionless relations meet physical units.
- SpacetimeFrom internal structure to local physical spacetime.
- Process and compilationCompiler operations, responses and their assumptions.
These are authored navigation links. The complete register contains 783 active claims; 723 do not yet have an authored topic assignment and remain searchable.
Search the complete foundation register
783 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Horizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.01Identity [I] (static pin, tower, clock spectrum, rate) + Physical [P] (quantum clock)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
SYNTH.INVENTORY.01Identity [I] (inventory + relocation arithmetic) + typing contract (gap completeness)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
ARCH.QUAD.01Identity [I] (seed NF, moment, spine, inventory) + [P] (named locality hypothesis) + audit
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.02Identity [I] (tower, cross-link, target arithmetic, coupling) + Physical [P] (identification)
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
CAR.LADDER.01Identity/Lattice [I]/[L] (ladder, equivalence, controls, overdetermination) + [P] (QBL)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceLayer 6 — two independent reproduction paths
Verification safeguards
Original identifier and classification
FORM.LADDER.01Formal [F] (Lean kernel; no extra axioms)
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
CAR.PAIR.01Identity [I] (character-exact multiset identities) + Physical [P] (QBL reading)
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
CAR.PAIR.02Identity [I] (finite-model selection theorem + ladder control) + Physical [P] (residue typing)
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
CAR.QTRANS.01Identity [I] (exact finite theorem; mod-p certificates valid over Q) + Physical [P] (residue typing)
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
CAR.COUNT.01Identity [I] (bijection + exact multiset gradings + symbolic binomial identity) + Physical [P] (residue re-type)
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
CAR.QFREE.01Identity [I] (exact Pfaffian/Wick + polarization theorems + bookkeeping) + Physical [P] (premise merge)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.06Identity [I] (symbolic theorems) + Numerical [N] (branch census) + Physical [P] (residue)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.07Identity [I] (mu4-average + (8 0 5)/144 + exact normal form) + Numerical [N] (RH verification + uniqueness scan) + Physical [P] (residue)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.08Identity [I] (twisted average + resonance theorem + uniqueness) + Numerical [N] (sharpness control) + Physical [P] (scope)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.09Identity [I] (exact matrix + exact group enumeration) + Numerical [N] (ODE identification) + Physical [P] (status)
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.H2.02Identity [I] (exact spectral + determinant identities + group enumeration) + Physical [P] (address table)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
ARCH.TRIAD.01Identity [I] (exact arithmetic/matrix identities; audit typing for the 121 lemma)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
FLAV.H2.03Identity [I] (exact arithmetic on frozen integers) + Physical [P] (per-fermion derivation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
FLAV.H2.04Identity [I] (exact census/uniqueness theorem on frozen operators) + Physical [P] (margins)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
FLAV.H2.05Identity [I] (exact census on frozen selectors) + Physical [P] (selector establishment)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence