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.
Claims without an authored topic assignment
723 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Research 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 evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
SYNTH.INVENTORY.02Identity [I] (machine bookkeeping + typing contract)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SYNTH.INVENTORY.03Identity [I] (machine bookkeeping + typing contract; ledger-row membership)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.03Identity [I] (exact spectral reading + series) + Physical [P] (semiclassical derivation)
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
HOR.CLOCK.04Identity [I] (exact spectral bridge + coefficient identities) + Physical [P] (re-target)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.05Identity [I] (log-det + ring ladder + coupling arithmetic) + Physical [P] (derivation)
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.06Identity [I] (entropy-level + power-law + triple-coupling identities) + Physical [P] (derivation)
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.08Identity [I] (exact sphere integrals + bookkeeping) + Physical [P] (det-ratio)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.09Identity [I] (heat-kernel arithmetic + numerical continuation) + Physical [P] (full budget)
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.DUAL.01Identity [I] (exact dual-vector + Sherman-Morrison + controls) + Physical [P] (bridge 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.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 evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.QGEO.04Identity [I] (cohomology basis + characters + residues + spectrum match) + Physical [P] (naturality residue)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.11Identity [I] (exact arithmetic vs external values) + Physical [P] (typing decision) + External (VW hep-th/0003081; arXiv:2506.02142)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence