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.
Metrology
16 authored claim references in the foundation record. The membership comes from explicit Atlas authoring relations.
Search the complete foundation register
16 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
The declared boundary normalization
TFPT — Introduction and reading guide
Original identifier and classification
AX.P1.01Axiom (declared input; reduces to the anchor a=(1,1,2)+pi)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe dual anchor and solar mixing response
Standard Model and flavor structure
Original identifier and classification
FLAV.SOLAR.01Numerical
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe family lattice norm in the solar coefficient
Standard Model and flavor structure
Original identifier and classification
FLAV.SOLAR.02Identity
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe common anchor and its integer invariants
TFPT — Introduction and reading guide
Original identifier and classification
ANCHOR.GEN.01Identity
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe conditional entanglement route to linearized gravity
Research contracts
Original identifier and classification
GRAV.ENTROPY.EQUILIBRIUM.01Entanglement-equilibrium gravity [E]/[C]/[O] (parameter-free linearised Einstein 8pi=1/c3; thermo=geo coincidence via |mu4|=|Z2|chi; J3 assembled; entropy density atom-fixed; residual = nonlinear + v_geo)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe conical area coefficient under the geometric contract
Origin Theory
Original identifier and classification
SEAM.AREACOEFF.03Identity [I] (chain derived) + [A] (the one isolated residual)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceRealizing the seam as a physical boundary
Origin Theory
Original identifier and classification
QGEO.REALIZE.01Physical [C] (seam-side identification) + [O] (open realisation)
Topic connection recorded by an authored Atlas relation.
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 evidenceParticle charges and anomaly cancellation in one family
Research contracts
Original identifier and classification
CAR.SM.ANOM.01Identity [E] (spectrum+anomaly+RG) + [C]/[O] (S-matrix)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe thermal seam and horizon temperature bridge
TFPT — Introduction and reading guide
Original identifier and classification
SEAM.THERMAL.KMS.01SUCCESS ([E] exact sympy/cyclotomic + 40-digit Tomita certificates; [C] bridge reading typed; [C-5] non-gating clock-vs-modular findings); NO marker moves
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe assumptions needed for geometric modular flow
Research contracts
Original identifier and classification
GRAV.NONCIRCULAR.01Firewall (standing discipline rule, in force; audit census recorded)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe common source contract for spin two
TFPT — Introduction and reading guide
Original identifier and classification
GRAV.SPIN2.EMERGENCE.01Open (research contract; quadratic witnesses [E] + quadratic Hamiltonian half executed; content pinned on the untruncated form factor; Einstein eq stays a downstream/conditional readout) | Round-3 v1024 supplies finite gap/TT locality no-gos [E]; spin-2 emergence remains Open [O].
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe conditions for full physical completion
TFPT — Introduction and reading guide
Original identifier and classification
TFPT.TOE.COMPLETE.01Open (research contract; named AND of eight gates; no closure, no marker move) | Round-3 v1022-v1025 adds certified subgates and no-gos only; Round-4 v1026-v1030 adds narrow proved and conditional subresults only; all T1-T8 gates and TOE remain Open [O].
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe specified free curvature field target
Frontier and open physical interfaces
Original identifier and classification
GRAV.FREE.CURVATURE.FOCK.01Identity in declared zero-mean free target [E]; TFPT identification [O]
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidencePositive transverse curvature on the null cone
Frontier and open physical interfaces
Original identifier and classification
GRAV.FREE.CURVATURE.COVARIANT.01Identity in declared free continuum target [E]; TFPT identification [O]
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe linear source Ward identity in the tensor target
Frontier and open physical interfaces
Original identifier and classification
GRAV.LINEAR.SOURCE.WARD.01Identity for prescribed-source linear target [E]; finite regressions [N]; dynamical quantum coupling [O]
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidence