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
334 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Research Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
FLATAWAY.RP.01Contract [O] (lemma + verdict) + [E] (spectral/heat uniqueness) + [C] (Troyanov route)
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
FORM.FLATAWAY.01Formal
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
FLATAWAY.RIGID.01Spectral rigidity [E] + (E8)_1 pin [C]
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
SEAM.EQUIV.A.INV.01Free-fermion invertibility [E/C] (topological-order discharge)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')
Research contracts
Original identifier and classification
FR.DYNAMICS.01Dynamical-systems unification [E/C] (one shape / one seam-rate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.EQUIV.A.LIT.01Theorem stack [E] (citable composition) + [O] (one shared hypothesis)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
E8.NETWORK.01Reading [E] (marks attractor + tower + cascade) + [C] (Wolfram substrate) + [O] (rewrite-to-full-structure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
HYP.0D.01Bridge [E] (hypergraph facts, Smith, Collatz-Wielandt, controls) + [E*] (autonomous rule under seed+policy) + [O] (the seed = P2)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
WITNESS.ECON.01Identity/Numerical [I]/[N] (structural firewall)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.EQUIV.CHAIN.01Reduction/certificate [E]/[O] (composition)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
HYP.INJECT.01Reduction [E]/[O] (substrate sharpening)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GOLD.ATOMS.01Identity/Lattice [E] (spectral) + [C] (quasicrystal direction)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHow the Coxeter sectors couple
Origin Theory
Original identifier and classification
COX.COUPLE.01Identity/Lattice [E] (cyclotomic Galois) + [C] (verdict)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARITH.CAPSTONE.01Synthesis/inventory [E] (arithmetic + {a;pi} reduction) + [O] (seam realisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
RATE.TRANSLATE.01Identity/Lattice [E] (number-field split) + [C]/[O] (functor verdict)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
TRANSLATE.CLOCK.01Synthesis/Identity [E] (clock factorization + hand arithmetic) + [C] (one-clock reading)
No authored topic assignment in this snapshot.
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 evidenceOrigin Theory
Origin Theory
Original identifier and classification
HYP.FIBER.01Construction [E]/[C] (fibered substrate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.SEAMEQUIV.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.KEYSTONE.01Synthesis/reduction [E]/[O] (keystone-as-one-theorem)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence