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.
Start with the published construction
The foundations include the carrier, E₈, flavour, alpha, quantum structure, gravity and cosmology. Open an area to follow its registered statements into the papers and verification sources.
- Seam, origin and declared inputsBoundary inputs, the common anchor and source selection.
- Carrier, families and E8 closureThe particle carrier, lattice matching and E₈ closure.
- Interlocking clocksFinite clock actions, their couplings and dynamics.
- Standard Model and flavorParticle charges, source mass ratios and mixing.
- Fine-structure constantThe response equation, its root and physical interpretation.
- Quantum and boundary structureCodes, finite quantum geometry and field structure.
- GravityEntanglement, geometric flow and gravity interfaces.
- CosmologyInflation, baryon density and vacuum energy readouts.
- Tests and predictionsWhat the formal and numerical checks establish.
- UniversalraumA common process, state and observable source.
- MetrologyHow dimensionless relations meet physical units.
- SpacetimeFrom internal structure to local physical spacetime.
- Process and compilationCompiler operations, responses and their assumptions.
These are authored navigation links. The complete register contains 783 active claims; 723 do not yet have an authored topic assignment and remain searchable.
Search the complete foundation register
783 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
What the code interpretation preserves and loses
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.CODESEM.01Exact [E] code/dictionary identities + [E, kill] the 30-census control (exact arithmetic; Python-only per GATE.WOLFRAM.02).
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.TWISTOPE.01Exact [E] weights/crossing + [E-float] two-/four-point and OPE + [O] typed open items + [X-slice] honest RP negative (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.KLEINRP.01Exact [E] reality/uniqueness/must-fail structure + [E-float] PSD Grams (N-stable) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.RM13REV.01Exact [E] anchor identity + honest [E] generic/specific split + honest negative (no code reading of the p-sequence) + selective kill control (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ST31DEG.01Exact [E] structural clock relations + [E] parity-theorem kill + [C] typed observations (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
META.DISCIPLINE.01Exact [E] machine census + deterministic replay + external anchor recomputes + [C] typed limit (read-only meta-module; Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBMOD.01Exact [E] sectors/characters/spin structure + [E-float] measured S-covariance (N^{-4}) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBASM.01Machine [E] cohomology/census + [E-float] S rates and exact T + data-backed [C] B-vs-C3 pick (hardened by v652) (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBARF.01Exact [E] classification/pin/excision data + [C] typed premise remainder (resolved by v653) (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.BONDDEF.01Lattice theorem [E] (exact unitary equivalence + gauge pin + exclusion census, honest isospectral documentation) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ST31D8.01Exact [E] census/theorem/controls + honest kill ('free => regular' false) (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
META.LOOKELSEWHERE.01Exact [E] budget census + MC quantification + executed re-types (read-only meta-module; Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBOS.01Machine-exact wiring + Exact [E] convergence/cluster/character slices + [MEASURED] RP-limit extrapolations with must-fail control + [C] honest typing of the formal-limit remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe Gaussian code and four bit information space
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.GAUSSCODE.01Exact [E] SNF/census/semantics identities + [E, kill] three must-fail controls (exact arithmetic; Python-only per GATE.WOLFRAM.02).
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe holomorphic restriction of E₈ invariants
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.QUARTICHALF.01Symbolic [PROOF] mu4-orbit vanishing + [E] G31 invariance/independence/mirror census + [E, kill] complex-structure controls + [cited] Chevalley basic-invariant theorem (exact arithmetic; Python-only per GATE.WOLFRAM.02).
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
E8.GAUSSIAN.CODE.01Review contract; first slice machine-closed [E] (v689); remaining: theorem writeup.
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
E8.QUARTIC.HALF.01Review contract; first slice machine-closed [E]/[PROOF] with honest typing correction (v690); remaining: Jacobian factorization symbolics + writeup.
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ORBIT60.01Honest [E, park] five-route adjudication with the involution-witness census and the must-fail numerology control (exact group computations; Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.DECKSECTOR.01Exact [E] deck-sector trace identity (3.4e-16, scalar forced 1, must-fail x82); deterministic (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.CARLIMIT.01[MEASURED] Schatten-norm Cauchy rates (6+1 channels, geometrically summable) + [E] lattice-derived FH renormalization (Barnes G, 8.8e-7) + named (L1)-(L3) majorant lemma; deterministic (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence