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.
Honest status
Origin Theory
Original identifier and classification
QGEO.ISO.01Geometric isometry premise [O] (milder residual; the conformal-class identification is now implied) + [E] (the three cited reductions)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceSharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.SYM.01Conformal-symmetry/deck face of SEAM.EQUIV.01 [O] (downstream per v323) + [E] (equivariant uniformisation + the weakening)
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.01Geometric premise [O] (operator-identity restatement of QGEO.SYM.01; relocates, not eliminates)
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 evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.VARI.01Numerical/identity [N]/[I] (finite vanishing exact) + target [O] (full-operator min = BW)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.MODULAR.01Geometric premise [O] (bedrock reduced to a non-circular state-invariance; principal symbol exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.STATE.01Identity [E] (non-circular setup + reduction) + premise [O] (bounded sub-principal 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
QGEO.PILLOW.01Identity/Lattice [E]/[L] (cross-ratio 2 => j=1728 => order-4 CM clock) + premise [O] (canonical constant-curvature metric)
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.KILL.01Open (falsifiable kill-test; carrier-side K1-K4 [E], seam-side emergence deferred [O])
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceWarum das an den Originalansatz anschließt – und was hinzugefügt wird
TFPT Gesamtsynthese 2026-09-28
Original identifier and classification
QGEO.MARKS.03Identity/Lattice [E] (Gauss-Bonnet count + Euclidean-orbifold uniqueness) + premise [O] (square modulus)
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.EMERGE.01Numerical [N] (emergence confirmation on the real DtN/state) + premise [O] (selector is carrier input)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.VARI.02Numerical sign [N] (argmin = mu4 clock) + open full minimisation [O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.MARKLOCAL.01Numerical certification [N] (implication on realistic profiles + state level) + premise [O] (the physical seam being mark-local)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceSharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
Original identifier and classification
FORM.QGEO.01Formal [F] (conditional theorem) + [O] (the seam-deck premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceSharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
Original identifier and classification
FORM.QGEO.02Formal [F] (uniformisation normal form) + [O] (the raw-seam marking obligation QGEO.MARKS.01)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
FORM.QGEO.03Formal [F] (COHOM character grading + MODULE reflection parity) + [O] (the raw-seam obligations)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe hard reduction: the live residual as typed interfaces
TFPT — Introduction and reading guide
Original identifier and classification
CONTRACT.F.01Contract [C]/[O] (typed functor: discrete kernels [E], external solvers [C]; not a closure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe Coxeter clock and its quarter action
Origin Theory
Original identifier and classification
COX.CLOCK.01Identity (exact)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
CP.MOD.01Identity/Numerical (modular) [E]/[C]
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 evidence