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
22 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
GATE.UWALL.03Numerical (selector side closed)
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.17Lattice/Lie [L] (typing) + [P] (normalisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.16Numerical (typing confirmed + honest negative)
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.03Identity [I] chain + [L] non-abelian Hodge
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 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 evidenceResearch Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)
Research contracts
Original identifier and classification
GRAV.ENTROPIC.ACTION.01Formal/Numerical [E] (five exact identities + quantified gap) + [C] (compression conjecture, Q-target) + [O] (variational completion open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GRAV.ENTROPIC.HODGE.01Formal/Identity [E] (operator-level Clifford/weights/enumeration, exact) + [C] (physical Q choice) + [O] (AP2 + R^2 unchanged)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
QGEO.COVER.01Exact [E] fingerprints + typed candidate [C] (Burau convention validated; Q-identification open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
QGEO.REAL.01Exact [E] existence/uniqueness/char identities + [X] quantified joint negative + [C] the TFPT readings (exact sympy; numeric prefilter with symbolic confirmation for the scan)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
QGEO.CANON.01Exact [E] equivariance/duality/Klein identities + [C] typed opens (exact sympy; one numeric inertia count of an exact hermitian matrix)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
QGEO.DUALFORMS.01Exact [E] duality/dictionary/positivity identities + [X/O] quantified negatives and typed opens (exact sympy; two numeric inertia counts of exact matrices) + Lean certificate FORM.QGEO.04
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
QGEO.EQORDER.01Exact [E] anti-isometry/order/localization identities + [C] typed localization reading + [X] quantified translator negatives (exact sympy; Smith normal forms over Z)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence=150 2026-08-01 (XXVIII) (the periods round lands ( v611 promoted): the analytic layer of the cover is CLASSICAL — all five basic period integrals are exact Beta values with Gamma denominators on the [formula in source] grid ( [formula in source] ); the [formula in source] rotation acts on periods with the exact characters [formula in source] ; [formula in source] exactly; and the cross-factor period ratio admits no low-degree integer relation (PSLQ null) — the two CM factors are period-independent, as the v610 splitting demands)
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.LANDSCAPE.01Exact [E] characters/point-counts/census + [C] CM-theory reading and named resources (deterministic integer computations; no floats beyond the census prefilter)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence=150 2026-08-01 (XXX) (the canonical period normalization lands ( v613 promoted) — THE ANALYTIC BRIDGE CLOSES: the quarter rotation acts DECK-FREE on the four branch segments (all [formula in source] wrap factors exactly [formula in source] ), and the exact dictionary is [formula in source] — [formula in source] EXACTLY, explaining [formula in source] structurally, with the deck power unique; the period rows (hol [formula in source] , hol [formula in source] , antihol [formula in source] ) realize the rotation eigenframe; the Hodge weights are explicit Gamma monomials ( [formula in source] , complex Beta formula); and [formula in source] PER CHARACTER: the compiler polarization is MINUS the analytic Hodge form — Riemann–Hodge positivity realized, v612's named step B5 executed)
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.PERIODS.01Exact [E] symbolic Beta identities + 40-digit certificates + PSLQ-null consistency + [C] the period-dictionary reading
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence=150 2026-08-01 (XXX) (the canonical period normalization lands ( v613 promoted) — THE ANALYTIC BRIDGE CLOSES: the quarter rotation acts DECK-FREE on the four branch segments (all [formula in source] wrap factors exactly [formula in source] ), and the exact dictionary is [formula in source] — [formula in source] EXACTLY, explaining [formula in source] structurally, with the deck power unique; the period rows (hol [formula in source] , hol [formula in source] , antihol [formula in source] ) realize the rotation eigenframe; the Hodge weights are explicit Gamma monomials ( [formula in source] , complex Beta formula); and [formula in source] PER CHARACTER: the compiler polarization is MINUS the analytic Hodge form — Riemann–Hodge positivity realized, v612's named step B5 executed)
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.POLFRAME.01Exact [E] spectrum/diagonalization/signature identities + [C] the bridge reading (exact sympy)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence=150 2026-08-01 (XXXI) (the Gauss–Manin transport round lands ( v614 promoted) — THE DECK STEP IS THE BOUNDARY MONODROMY: transporting the segment cycles along the rigid quarter-rotation loop, the discriminant [formula in source] winds ONCE around [formula in source] and the transported periods factorize EXACTLY, [formula in source] ; at [formula in source] the deck factor is [formula in source] on EVERY sheet (the exponent [formula in source] forced by the puncture count); the canonical transport matrix in the segment basis is EXACTLY [formula in source] — the v613 dictionary [formula in source] is CANONICAL, no conjugator freedom left, and [formula in source] re-derives [formula in source] ; v613's residue F1 closed at the transport level)
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.PERNORM.01Exact [E] dictionary/uniqueness identities + 40-digit certificates + Gamma-monomial closed forms + [C] the fork-basis residue (sympy + mpmath)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
EXTREV.LATTICE.01Exact [E] closure/bytecode/congruence identities + [X] the ill-posed retype + [C] conditional typing (sympy; citations web-verified)
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
DOILY.HODGE.FACTOR.01Exact identity-grade theorem [Identity]: the incidence geometry IS the Clifford multiplication; no marker move
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
Research contracts
Original identifier and classification
DOILY.PLUCKER.GR25.01Closed finite theorems [E]: four exact statements; the physical vacuum-selection mechanism stays [O]; no marker move
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence