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

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

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

Research contracts

Original identifier and classification

WOIT.BETA1.GSO.01UNDECIDED per the frozen preregistration ([E] exact Hermiticity witness + censuses, time-like reflection census, GSO 2-torsion identification, 40-digit gap-certified GSO-fixed RP certificates, exact Cl(16) Kramers restriction, Ramond/wrong-projection/site-cut/family-A controls; [C] contract precision (iii) -- prose only; [O] beta1 proper via beta2, kill tests live on A_hol); NO marker moves

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

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-08-01 (XXVI) (the translator factorization lands ( v609 promoted): the geometric identity of [formula in source] is CLOSED — the mirror intertwiner [formula in source] ( [formula in source] ) is unique, unimodular ( [formula in source] ), [formula in source] -integral and [formula in source] -involutive ( [formula in source] exactly), and the v605 element factorizes exactly as [formula in source] with [formula in source] : [formula in source] — all three v605 residuals are now resolved (seam reversal v603, zero-mode rule v607, [formula in source] -identity v609))

TFPT — Introduction and reading guide

Original identifier and classification

QGEO.TRANSLATOR.01Exact [E] translator/bridge/chain/duality identities + [C] typed opens (exact sympy; Smith transforms over Z; Lean addendum green)

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

QGEO.BONDDEF.01Lattice theorem [E] (exact unitary equivalence + gauge pin + exclusion census, honest isospectral documentation) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).

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

GNET.PPINDEX.01Exact [E] index results (PP = 1/4 optimal, Watatani = 4 with forced quasi-basis weights; mu4 derived, not inserted) + [E] state-preserving Ramond healing + [M] outerness witnesses (Python-only per GATE.WOLFRAM.02).

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

Research Contract 2 — [formula in source]

tfpt research contracts

Original identifier and classification

ARF.BOUNDARY.CODE.01Exact [E] finite selection chain (census / Construction A / Arf selector, all exact arithmetic) + OPEN research contract [O]: derive the doubly-even self-dual universe premise from the seam axioms; NO P2-removal claim (Python-only per GATE.WOLFRAM.02).

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

GNET.GNSLIMIT.01Exact [E] finite coherence data + exact [E] dim law + measured [MEASURED] precursors and the honest negative, all typed finite evidence for the named continuum theorems -- never the theorems (Python-only per GATE.WOLFRAM.02).

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

The finite two qubit stabilizer identification

input 5 tfpt 3 e8 audit bootstrap

Original identifier and classification

E8.CLIFFORD2Q.01Exact [E] finite group/lattice identification (H1-H3) with the H4 layer honestly PARTIAL (the index bit identified as the sqrt2/Hadamard Galois bit, not J <-> -J); no marker move (Python-only per GATE.WOLFRAM.02).

Topic connection recorded by an authored Atlas relation.

Read the statement, conditions and evidence

Research Contract 2 — [formula in source]

tfpt research contracts

Original identifier and classification

SEAM.CLIFFORD.MODULAR_S.01Exact [E] cyclotomic coset/metaplectic identities (BFS certificates; exact tau = i relations) with the strict uniqueness census EMPTY by its own frozen gate -- the Arf defect unavoidable, a sharp typed fact; R2 placed, R3 named; no marker move (Python-only per GATE.WOLFRAM.02).

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

Research Contract 2 — [formula in source]

Research contracts

Original identifier and classification

GNET.MARTINGALE.LIMIT.01Measured [MEASURED] martingale hypotheses under frozen gates (all met; rate one power better than the dim-law envelope, reported not forced) + typed analytic remainder; the QGEO majorant residues relocated into the normality step, not proven; no marker move (Python-only per GATE.WOLFRAM.02).

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence