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.
Layer 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 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 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 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 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 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 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.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 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 evidenceThe [formula in source] compiler: [formula in source] as a closure, not an input
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
GATE.METRIC.08Identity [I] (exact finite Frobenius/Q-system axioms + isotropy) + Physical [P] (identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
E8.GRADE.01Identity [I] (explicit construction + exact grading + arithmetic) + Physical [P] (anchors)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.07Identity [I] (exponent bookkeeping + mode-count identities) + Physical [P] (measure normalisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.10Identity [I] (exact heat-kernel arithmetic both routes + numerics) + Physical [P] (route reading + remaining shares)
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.SURF.01Identity [I] (exact surface/wall/budget identities) + Physical [P] (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
GATE.UWALL.10Identity [I] (column census + spectral normal + orbit control) + Physical [P] (restated programme)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence