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
54 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Horizon 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.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 evidenceThe seam and the horizon: the precise statement
Origin Theory
Original identifier and classification
SEAM.EHMODEL.03Identity [I] (dimensional bookkeeping exact) + [A] (the anchor stays declared)
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 evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.ENERGY.02Geometric premise [O] (energy-commutator proof target; sharper, non-circular IFF sub-claim 2)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
REVIEW.MAP.01Reduction map [I]/[C] (A/B/D reduce to the two named residuals; C is experiment-only)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
TOPO.BRIESKORN.01Lattice/Topology (exact) [E]/[I]
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
CONTRACT.QFT4D.01Contract [O] (with [E] arithmetic + [X] hooks)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
PS.SPECACT.01Numerical (spectral action) [E]/[C]/[O]
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
SCALE.OVERDET.01Identity [E] + over-determination [N] + re-typing [A]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFull quantum gravity — induced from the boundary kernel
Frontier and open physical interfaces
Original identifier and classification
QGAMB.ROADMAP.01Roadmap [E]/[C] + [O] open core + [X] promotion/kill
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-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
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 evidenceTarget F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)
Red-team audit
Original identifier and classification
QGAMB.IDG.01Open (conditional narrowing of the perturbative Stelle-ghost attack; NOT a QG.AMB.01 closure)
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
FIRSTPRINCIPLES.BOUNDARY.01Boundary audit [E]/[X]/[C] (what is derived / external / tensioned / forbidden)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
AS.RECONCILE.01Reconciliation [E]/[N]/[P]/[X] (A_s predicted+dimensionless; tension = reheating channel; archive comparison)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence(4) Constructive QFT closure of the admissible physical sector /
Standard Model and flavor structure
Original identifier and classification
QFT4D.EG.ALLORDER.01All-order EG/BRST contract [C] (imported EG causal factorisation + BRST renormalisation on the TFPT finite dim-4 gauge+matter class + the seam gap); prerequisites power-counting/BRST-nilpotency/gap [E]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe unique attractor: a gapped transport selects ONE fixed point
Origin Theory
Original identifier and classification
DYNAMICS.UNIVERSAL.01Universal synthesis [E]/[C] (every sector = a gapped operator with a unique attractor + spectral gap => parameter-free; extends v303 theory-wide; 3 gaps computed, the cross-sector identification [C])
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
GRAV.AMPLITUDE.01Perturbative graviton amplitude [E]/[C] (entire-form-factor exchange: finite, ghost-free, UV-softened, tree-unitary; perturbative-only)
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
GRAV.LOOP.FINITE.01Perturbative graviton loop UV-finiteness [E] (power counting; super-polynomial falloff, degree -> -infinity at every loop order, seam-regulated) + loop unitarity [C]/[O] (the honest open point, not claimed solved)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence