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.
Verification safeguards
Verification safeguards
Original identifier and classification
OVERDET.FLOOR.02Assumption-minimal counting floor [E]/[C] (the alpha census 1/94500 = 4.40 sigma with no subjective probability; monotone concession ladder; independent of v432's subjective pieces; honest 5-sigma gap; hardens OVERDET.FLOOR.01)
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
TFPT.SELFLOOP.01Capstone rethink [E]/[A]/[O] (a unique self-consistent loop with zero free dials; pi a fixed geometric constant; the one residual is the continuum closure; the fork is philosophical not numerical)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
Research contracts
Original identifier and classification
TFPT.IRREDUCIBLE.01Synthesis/inventory [E]/[O] (both axioms bootstrap-forced; irreducibles = framework + pi; the framework is the tested meta-axiom)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.BOOTSTRAP.01Correction [E]/[O] (inputs are bootstrap-forced fixed points; g_car=5 IS the icosahedral 5 of h(E8)=30; golden emergent from the mu4-glue; residual = the physical continuum realisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.GOLDEN.01Honest negative/clarification [E]/[O] (the raw seam does NOT carry phi; golden is the icosahedral input; L2 = 'is g_car=5 a pentagon or a count?')
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.RIGID.01Route B / reduction [E]/[O] (rigidity + the icosian-ring identity reduce L2 to one question: does the raw seam carry the golden ratio?; NOT closed)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.CLOSURE.01Analysis/roadmap [E]/[O] (the flat->spherical base locus; four closure modes; no free theorem; only rigidity B or axiom P3; NOT closed)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.GEOM.01Capstone/roadmap [E]/[O] (5 of 6 links theorems; the group forced by the icosahedral atoms; the keystone reduced to the single orbifold-realisation arrow L2 = SEAM.EQUIV.01)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.DETK.02Execution of R3 [E]/[O] (combinatorial core complete: homology-sphere link via SNF + 2I perfect = Poincare sphere; geometric bridge stays SEAM.EQUIV.01)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.DETK.01Synthesis/roadmap [E]/[C]/[O] (one bit/six faces; genus-1 obstruction; three access routes; hypergraph the fresh one; no closure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
FOUR.ROUTES.01Analysis/roadmap [E]/[C]/[O] (none closes all or is 100% provable; all four converge on SEAM.EQUIV.01 + the decoupled QG contour)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
EM.WARD.02Heat-kernel origin [E]/[C]/[O] (term structure [E]; exact value [C]; cubic moment + identification [O]; no new gate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.MASSVOL.01Identity [I]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.18Identity/Lattice [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
GATE.UWALL.17Lattice/Lie [L] (typing) + [P] (normalisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.16Numerical (typing confirmed + honest negative)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
FLAV.DELTA.01Identity [I]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.KQ.02Identity [I]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
GATE.QGEOM.02Identity/Lie [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
GATE.QGEOM.01Lie/lattice [L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence