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.
Red-team audit
Red-team audit
Original identifier and classification
E8.UNMAPPED.BANDWIDTH.01Bandwidth search [E]/[C]/[O] (forced set-level structure sum=128=spinor/product=|W|/exponents=totatives; subchain flagged; per-degree matches declined; no new physical hit; reconciles v66+v354)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceLayer 2 — no free pattern, and the reverse audit
Verification safeguards
Original identifier and classification
E8.REVERSE.AUDIT.01Reverse anti-numerology audit [E]/[O] (3/8 Casimir invariants mapped, 5/8 hull overhead; economy not promiscuity; phi is unmapped structure not numerology)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
E8.OTHERSIDE.AUDIT.01Sheet/deck reverse audit [E]/[O] (the double-cover 'other side' = degree-2 + the 128-spinor, forced-disjoint from the 5 unmapped degrees; the complement of v354/v355)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
E8.DEGREE.LADDER.01E8 degree-ladder structure theorem [E]/[I] + [P] functorial residual (degrees = 6*spine U det-ladder, forced by 2,3,5; reclassifies v354/v355 overhead)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceInteger constraints from the E₈ invariant degrees
Red-team audit
Original identifier and classification
E8.DEGREE.JOINT.01E8 degree joint-lock [E] (the two structural integers g_car=5, N_fam=3 = unique roots of x^2-8x+15 with coeffs rank E8=8 and h/2=15; all E8 combinatorics fixed by its degrees; consolidation of v6/v66/v355/v431, no new mining)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceVerification safeguards
Verification safeguards
Original identifier and classification
OVERDET.FLOOR.01Unconditional over-determination floor [C] (disjoint pieces only, compression removed; floor ~1e-10 vs v100 conditional 10^-30.7; bounds numerology only, firewall)
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 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 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 evidenceE8 audit and bootstrap
E8 audit and bootstrap
Original identifier and classification
ARCH.E8DEG.01Lie/lattice [L] + identity [I]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.GMETRIC.XI.01Identity [I] + taxonomy [A]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARCH.CFT.01Identity/Lie [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence