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
183 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
DYN.SEMIGROUP.01Numerical (finite-block) [E]/[O]
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
QGEO.SYM.02Geometric premise [E]/[C]/[O] (rigidity; minimal axiom)
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
QGEO.OBLIG.01Obligation lemma [E] (proof-tree complete) + [C] (routes) + [O] (one residual)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
FORM.QGEO.04Formal [F] (Lean theorem, all-orders closure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam realization contract
TFPT — Introduction and reading guide
Original identifier and classification
SEAM.EQUIV.01Contract [E] (typing + firewall + taxonomy) + [O] (the named theorem)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.EQUIV.B01Reduction [E] (full-L^2 lift, lifts v201/v284) + [O] (mark-locality residual)
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
MARKLOCAL.RAW.01Decomposition [E] (chain + L3/L4/L5) + [C] (L1 literature) + [O] (L2 Flat-Away)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
FLATAWAY.SPEC.01Strengthening [E] (Hessian PD over full Z4 space) + [O] (pin the spectrum)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
FLATAWAY.ENERGY.01Reduction [E] (convex energy, unique minimiser) + [C] (Troyanov) + [O] (variational premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')
Research contracts
Original identifier and classification
FR.DYNAMICS.01Dynamical-systems unification [E/C] (one shape / one seam-rate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.MODHAM.01Reduction [E]/[O] (modular bedrock)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHow the Coxeter sectors couple
Origin Theory
Original identifier and classification
COX.COUPLE.01Identity/Lattice [E] (cyclotomic Galois) + [C] (verdict)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.READOUT.01Identity/Lattice [E] (cyclotomic CP) + [C] (physical identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
RATE.TRANSLATE.01Identity/Lattice [E] (number-field split) + [C]/[O] (functor verdict)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
TRANSLATE.CLOCK.01Synthesis/Identity [E] (clock factorization + hand arithmetic) + [C] (one-clock reading)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.CP.SHARPEN.01Identity [E] (node+multiplier) + [C] (budget) + [N] (tension) + [X] (kill test)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceWhen modular flow has a geometric interpretation
Origin Theory
Original identifier and classification
QGEO.BW.01Reduction [E]/[C]/[O] (BW geometric modular flow)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
HYP.FIBER.01Construction [E]/[C] (fibered substrate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
FR.SUITE.01Numerical/synthesis [E]/[C]/[I] (F_transfer solver suite)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.QGEO.BW.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence