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.
Claims without an authored topic assignment
723 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Research contracts
Research contracts
Original identifier and classification
FLATAWAY.A2.01Proof [E] (convexity positive-definiteness + exact kernel) + [O] (one external invariant)
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 contracts
Research contracts
Original identifier and classification
FLATAWAY.A2.CLOSED.01Closed form [E] (geometric tail + finite middle)
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 Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.EQUIV.GAP.01Derived spectral gap [E] + OS/clustering [C]
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 evidenceTarget F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)
Red-team audit
Original identifier and classification
QGAMB.IDG.01Open (conditional narrowing of the perturbative Stelle-ghost attack; NOT a QG.AMB.01 closure)
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 evidenceRed-team audit
Red-team audit
Original identifier and classification
SEED.CROSSVAL.01Numerical [N] (out-of-sample cross-validation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
SEED.CROSSSECTOR.01Numerical [N] (cross-sector consistency statistic)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
SEED.LEPTONMASS.01Numerical [N]/[C] (new-sector seed consistency statistic; source->pole transport-conditional)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
DATA.WATCHDOG.01Numerical/data [N] (decision pipeline)
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 evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.MODHAM.01Reduction [E]/[O] (modular bedrock)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGAMB.CLUSTER.01Reduction [E]/[C]/[O] (gap-decoupled measure)
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 evidence