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.
The Koide relation — near [formula in source] , computed exactly
Frontier and open physical interfaces
Original identifier and classification
FR.KOIDE.05Identity [I] (basin/rate/source) + Numerical [N] (pole) + [P] (transfer mechanism)
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.02Numerical (second path, extension verified 623/623)
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
FORM.GLUE.01Formal [F] (Lean kernel; no extra axioms)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe recorded reproduction of the v83 package
Red-team audit
Original identifier and classification
REVIEW.REPRO.02External reproduction (substantive: PASS) + process fix
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.DIAMOND.01Identity [I] (surface/winding/normal closures + negative controls) + Audit (F corner) + honest corrections
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.PLUCKER.02Identity [I] (canonical readings; old readings = corollaries)
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.DIAMOND.02Identity [I] (normal form + invariants + cross-links) + Audit (G2 reading)
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.SHEET.01Identity/Lattice [I]/[L] (kernels, collapse, ladder, controls) + [P] (sector-sheet physics)
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.SHEET.02Identity/Lattice [I]/[L] (uniqueness, D4, index 2) + [P] (the one lattice dictionary)
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.SHEET.03Identity/Lattice [I]/[L] (dictionary derived) - residual folded into GATE.QGEO
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe Koide relation — near [formula in source] , computed exactly
Frontier and open physical interfaces
Original identifier and classification
FR.KOIDE.06Identity [I] (generator) + Numerical [N] (fragility) + Physical [P] (conditional steps)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
FR.KOIDE.07Identity [I] (exact operator factor + negative control) + Physical [C] (the transfer mechanism)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
FR.ETAB.03Physical [C] (sharper scenario; washout anchored; M_1 unpinned)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
FR.DM.03Physical [C] (hilltop scenario SUPERSEDED by post-inflationary reframing FR.DM.02; angle not observable)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)
Research contracts
Original identifier and classification
FR.TRANSFER.01Identity/guard [I] (ledger-enforced typing discipline)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
AUDIT.WORDING.01Identity/guard [I] (prose sentinel against semantic drift)
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
AUDIT.NULLMC.01Numerical [N] (statistical null-model rejection; Python-only)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
HOR.NARIAI.01Identity [I] (exact GR arithmetic on compiler atoms) + Physical [P] (bulk reading)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
HOR.ORIENT.01Identity [I] (variational structure both sides) + Physical [P] (common-principle reading)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.TRISECT.01Identity [I] (uniformization, normal form, curvature, slope) + Physical [P] (clock bridge)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence