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.
Spacetime
26 authored claim references in the foundation record. The membership comes from explicit Atlas authoring relations.
Search the complete foundation register
26 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 five slot carrier and its bootstrap conditions
TFPT — Introduction and reading guide
Original identifier and classification
AX.P2.01Axiom (declared input; over-determined bootstrap fixed point, Lean-forced)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe explicit D₅ and A₃ lattice construction of E₈
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.GLU.01Lattice
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe ambient gravitational measure problem
TFPT — Introduction and reading guide
Original identifier and classification
QG.AMB.01Open (decoupled general QG; non-TFPT)
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 seam and horizon correspondence
Origin Theory
Original identifier and classification
SEAM.THEOREM.01Identity [I] + open theorem [A]
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe dimensionless seam area coefficient
Origin Theory
Original identifier and classification
SEAM.KHALF.01Identity [I] + Lattice/topology [L] (coefficient) + [A] (absolute scale only)
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 modular spectral closure assembly
Research contracts
Original identifier and classification
QFT.MSC.01Numerical (assembly certificate) [E]/[C]/[O]
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 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 evidenceThe formally encoded scalar spectral gap
Origin Theory
Original identifier and classification
FORM.SPECTRALGAP.01Formal [F] (Lean kernel; no extra axioms) -- the scalar core + the finite-dimensional diagonalisable case of the spectral-gap meta-theorem (v383): gap => unique attractor + geometric decay => parameter-free
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe weight typing premise of the carrier
TFPT — Introduction and reading guide
Original identifier and classification
P2.TYPING.01Formal/Identity [E] (AG arithmetic: Deligne residue-trace degree, BG dictionary, stability skeleton, Schur-Horn lattice points, Biswas Z3-cover -- sympy exact, Wolfram-mirrored) + [C] (R1 module identification, QGEO.SYM territory; R2 unitarity (U)) + [N] reference (R3 analytic monodromy, v117 check 4); AX.P2.01 stays Axiom
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceBoundary normalization through index and KMS data
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
P1.INDEX.KMS.01Exact [E] identity chain (formal Fraction x pi^k) + gated independence audit + measured finite evenness precursor; OPEN [O] contract with the one open bridge (even modular-response normalization) and the kill criterion named; c3 stays the P1 axiom
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe gap between a boundary net and local spacetime physics
Research contracts
Original identifier and classification
DIMENSION.UPLIFT.FIREWALL.01Firewall (standing discipline rule, in force; the uplift theorems it names stay Open)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceChiral lattice matter and the mirror sector
Frontier and open physical interfaces
Original identifier and classification
CHIRAL4D.NOMIRROR.01Open (research contract; 1+1D chiral Gauss census executed; SMG mechanism toy-proved [E]; Nielsen-Ninomiya as Gauss statement; 4D Spin(10) theorem stays [O]; no 3+1D closure) | Round-3 v1023 adds an exact finite block lemma [E]/conditional GW reading [C]; NOMIRROR remains Open [O].
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 lattice fundamental interpretation
Frontier and open physical interfaces
Original identifier and classification
QFT4D.LATTICE.FUNDAMENTAL.01Decision (registered route/typing; no [E] claim, no marker move; QFT4D.OS.RECON.01 unchanged as the math program)
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 evidence