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.
Outcome
Red-team audit
Original identifier and classification
GATE.METRIC.07Identity/Lattice [I]/[L] (exhaustive classification) + [P]/[A] (seam side)
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 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 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.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.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.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 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 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 evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.09Identity/Lattice [I]/[L] (duality, projector, orbits, fusion) + [P] (the one conformal-net step)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.12Identity [I] (exact rigidity + closed-form ratio + audit coefficient) + [P] (finite-weight absorption)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.13Identity [I] (atom identities + new closure) + [P] (the one lift map)
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.07Identity/Lattice [I]/[L] (exact cohomology action + parity match) + [P] (module identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.10Identity [I] (exact census) + [P] (scoping conclusion)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam and the horizon: the precise statement
Origin Theory
Original identifier and classification
SEAM.EHMODEL.01Identity [I] (model mechanism exact) + [A] (the theorem proper stays open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
Research contracts
Original identifier and classification
GATE.METRIC.11Identity/Lattice [I]/[L] (the extension theorem exact) + [P] (the seam-side identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence