Skip to main content

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 evidence

Red-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 evidence

Red-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 evidence

Verification 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 evidence

TFPT — 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 evidence

Origin 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 evidence

Origin 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 evidence

Origin 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 evidence

Origin 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 evidence

Origin 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 evidence

Origin 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 evidence

Origin 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 evidence