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.
Universalraum
14 authored claim references in the foundation record. The membership comes from explicit Atlas authoring relations.
Search the complete foundation register
14 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 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 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 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 evidenceEmbedding the specified finite dynamics in continuous time
Research contracts
Original identifier and classification
DYN.MARKOV.EMBED.01Contract [E] (finite kernel embedding, sympy-exact; v971) + [O] (field level)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe unitary extension of the specified dynamics
Origin Theory
Original identifier and classification
DYN.UNITARY.DILATION.01Open [O] + finite ladder complete [E]/[N] (discrete/kernel/field-free/interacting-classical/quantum-coupled/continuous-time; open = thermodynamic field limit only)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceFrom internal structure to an observable response
Research contracts
Original identifier and classification
OBS.TRANSDUCTION.01Contract (principle registered; finite W[J] transduction shadow executed; per-bundle proofs stay Open)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe common generating functional contract
Research contracts
Original identifier and classification
FTRANSFER.GENERATING.01Open (research contract; finite W[J] derivative identities + transduction shadow executed at 1+1D Z6; no upgrade permitted)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe physical initial state contract
TFPT — Introduction and reading guide
Original identifier and classification
FTRANSFER.SK.RHO0.01Open (research contract; mechanism executed [N]/[C]; FTRANSFER.GENERATING.01 covers equilibrium only) | Round-3 v1024 gives a finite internal candidate and algebraic boundaries [E/N]; global rho_0 and SK uniqueness remain 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 charged scaling limit and Type III identification
TFPT — Introduction and reading guide
Original identifier and classification
SEAM.MMST.TYPEIII.CHARGED.01Open (research contract; master scaling-limit theorem; children listed here not back) | Round-3: C1/C2a/TV and scalar C2b subclaims proved [E]; ALG2 implication refuted [X]; CF/DG and ALG-EXH remain Open [O].
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidence