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.
Red-team audit
Red-team audit
Original identifier and classification
REDTEAM.F.01Red-team [P] (survives, narrowed)
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.03Reduction [E] (flat => commutator all orders) + [C] (tau=i forced) + [O] (one geometric postulate)
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
QGAMB.TIERB.01Reduction [E] (full (E8)_1 match + discriminator) + [C] (seam-side) + [O] (one holomorphy bit)
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
QFT4D.SPERT.04Bridge [E] (LSZ structure + one-loop optical theorem) + [C] (gap/Z) + [O] (gravity ghost)
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 evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.STEKLOV.01Numerical experiment [E] (geometric chain) + [C] (RP-state) + [O] (premise)
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
QGAMB.MODULAR.01Reduction [E] (modular data + condensation tower + Gauss-Milgram) + [O] (one bit)
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
QGAMB.UNIFY.01Unification [E] (chi_E8=j^{1/3}, tau=i shared) + [C] (count 2->1) + [O] (one premise)
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
PRED.LIVE.01Data confrontation [N]/[C] + [X] (two near-term kill tests)
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.ROUTEI.01Lemma decomposition [E] (5/6 discharged) + [C] (Troyanov) + [O] (one open lemma)
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
QGAMB.ROUTEII.01Lemma decomposition [E] (3/4 discharged + route coincidence) + [O] (unified lemma)
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
SEAM.EQUIV.A01Dependency checker [E] (4/5 discharged) + [O] (the one external theorem)
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
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
SEAM.ADVERSARY.01Red-team [E] (adversary passes commutator, shifts spectrum/heat) + [O] (consequence)
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
FLATAWAY.RP.01Contract [O] (lemma + verdict) + [E] (spectral/heat uniqueness) + [C] (Troyanov route)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
FLATAWAY.HEAT.01Reduction [E] (positive-definite heat form) + [O] (one external invariant a_2)
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 evidence