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

155 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.

Sharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )

TFPT — Introduction and reading guide

Original identifier and classification

SEAM.BIT.TWISTBLIND.01Formal/Identity [E] (Pfaffian-exact insertion machinery cross-validated three ways, exact integer incidence frame, exact congruence mechanisms, 40-digit gap-certified inertia/spectrum/energy/parity certificates) + [C] (each lifting is a construction choice, all tested) + [O] (the genuinely interacting A_hol with non-Pfaffian-reducible OS data); the bit stays the one [C] carrier input; NO marker moves

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

=150 2026-07-23 (X) ( v530– v533 — the external review round promoted: center quotient compiler, Coxeter Stage A tensor clock, dual-degree modular checksum [formula in source] , sheet-transfer disc [formula in source] norm line; every identity machine-confirmed exactly before promotion (probe [formula in source] ); NO marker moves)

TFPT — Introduction and reading guide

Original identifier and classification

COX.STAGEA.TENSOR.01Identity [E] (exact order/charpoly/trace arithmetic + honest kill-scope + coprimality controls -- sympy exact, Wolfram-mirrored) + [C] (the identification with the E8 Coxeter clock, as v223/v314) + [O] (the flip-atlas intertwiner COX.FLIP.INTERTWINER; Stage B metrization)

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

Red-team audit

Red-team audit

Original identifier and classification

CP.FIBER.PIN.01Identity [E] (exact theorems and certified character accounts with mutation controls -- Euler factorisation on fully generic homogeneous blocks, the one-generator bracket enumeration, the character split and the q_t continuum, the single-sine lemma with the crystallographic equivalence, the anchor tuple at 40 dps) + [C] (the Weyl 1946 FFT class boundary; the selection conditional on the Jarlskog anchor; the deck column a declared model); R1 decided, R2 selected, no marker moves

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)

Research contracts

Original identifier and classification

WOIT.BETA3.DUALITY.01Identity [E] (exact sympy algebra on generic block parameters -- block theorem, branch dichotomy, signature-mirror theorem, kill emptiness, unique induced member, exact rational-pi placement arithmetic, exact lattice regressions) + two 40-digit inertia certificates + [C] (the declared conventions: seam line, seam preservation, RP-side placement, torsor relabeling; contract-level identification, not a derivation); verdict SUCCESS, kill branch empty by algebra, no marker moves

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

=150 2026-08-01 (XVI) (the joint embedding lands ( v600 promoted): the compiler pair [formula in source] is REALIZED on the [formula in source] -cover — a [formula in source] -even degree-2 pair, [formula in source] -integral, seven-word rank [formula in source] , simultaneous conjugation to the compiler pair solved exactly, integer restrictions on the saturated [formula in source] lattice, and saturation index [formula in source] with the exact v566 divisor pattern; canonicity typed open, the gate does not move)

TFPT — Introduction and reading guide

Original identifier and classification

DIAMOND.PARA.SELFCODE.01Identity [E] (exact integer/symbolic algebra with mutation controls -- parabolic closure, double self-code, uniqueness enumeration + divisor argument, saturated Smith form, A2 quiver, trace code, cross-ratio identities, Lorentz/pencil identities) + [C] (the TFPT readings of the invariants; the bit-carrier and CR-test interpretations) + [O] (the No-Carrier-Reconstruction audit, the mark-local 81 mechanism, the CR-test execution); NO marker moves

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

=150 2026-07-31 (III) (the residual reconstruction bit located and given a canonical witness: the ladder self-consistency selects the compiler [formula in source] uniquely (SELECTOR-FOUND); the split geometry excluded; Priority 2 sharpened + v568 promoted + ledger/paper/diary/website sync)

TFPT — Introduction and reading guide

Original identifier and classification

QGEO.QRECON.01Identity/enumeration [E] (exact admissible-set census 52/28/2 with integer prefilters verified by sympy on survivors; one anchor code class on all 28; separator dissection exact; ablations quantified) + [C] (the seam-line demand as declared geometric input; the bit-resonance observation) + [O] (Stage B = GATE.QGEO.01 relocation; the binary selector); verdict RECONSTRUCTS-TO-FAMILY; no marker moves

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

=150 2026-07-31 (XVII) (the interacting RP route of the alignment bit, executed: EXT-SOURCE COUPLING SEPARATES THE 81-TWINS DIRECTIONALLY IN THE UNIT BOX ( v584 promoted) — exact rational flip thresholds with the v572 pencil factors as numerators; positive coupling [formula in source] heals exactly the compiler twin, the alt twin is rigid; response pole on the golden polynomial)

TFPT — Introduction and reading guide

Original identifier and classification

DIAMOND.BIT.RPFORM.01Identity [E] (exact integral/spectral computations; honest negative on the kinematic selection; RP-slot open)

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

=150 2026-08-01 (IV) (the sheet involution exists unconditionally ( v590 promoted): the integral [formula in source] -commuting involutions are exactly [formula in source] (rigidity, both twins); the v574 type theorem [formula in source] seam reversal [formula in source] zero-mode fixing single out the explicit [formula in source] with exact [formula in source] -signature uniquely — GATE.QGEO.01's involution-existence input relocates to DERIVED)

TFPT — Introduction and reading guide

Original identifier and classification

QGEO.WINDING.SELF.01Identity [E] + typed gate [C] (rank theorem symbolic; enumerations at declared bound; the remaining gate named)

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

=150 2026-08-01 (XXVIII) (the periods round lands ( v611 promoted): the analytic layer of the cover is CLASSICAL — all five basic period integrals are exact Beta values with Gamma denominators on the [formula in source] grid ( [formula in source] ); the [formula in source] rotation acts on periods with the exact characters [formula in source] ; [formula in source] exactly; and the cross-factor period ratio admits no low-degree integer relation (PSLQ null) — the two CM factors are period-independent, as the v610 splitting demands)

TFPT — Introduction and reading guide

Original identifier and classification

QGEO.LANDSCAPE.01Exact [E] characters/point-counts/census + [C] CM-theory reading and named resources (deterministic integer computations; no floats beyond the census prefilter)

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

Group-theoretic audits (optional)

input 5 tfpt 3 e8 audit bootstrap

Original identifier and classification

E8.RM13REV.01Exact [E] anchor identity + honest [E] generic/specific split + honest negative (no code reading of the p-sequence) + selective kill control (Python-only per GATE.WOLFRAM.02).

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence