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
16 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Architecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
FORM.P2.02Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceLayer 6 — two independent reproduction paths
Verification safeguards
Original identifier and classification
GATE.WOLFRAM.01Numerical (second path)
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 evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
ARCH.REVIEW.01Identity/Lattice [I]/[L]
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
ARCH.QUAD.01Identity [I] (seed NF, moment, spine, inventory) + [P] (named locality hypothesis) + audit
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.H2.02Identity [I] (exact spectral + determinant identities + group enumeration) + Physical [P] (address table)
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
EM.BUDGET.02Identity [I] (one-loop coefficients exact) + [P] (F_transfer gauge inputs)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QFT4D.MATTER.01Numerical (exact rep theory) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceKopplungsvereinigung mit dem quelleigenen Pati–Salam-Inhalt
tfpt anschluss zellen seam 2026-09-14
Original identifier and classification
PS.ALGEBRA.01Numerical (exact rep theory) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
PS.NCG.ORIENT.01Numerical (NCG; honest status) [E]/[C]/[O]
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.TH13.01Numerical/identity (flavor readout) [E]/[C]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceLayer 5 — frozen predictions, the null model, and the [formula in source] uniqueness scan
Verification safeguards
Original identifier and classification
FLAV.TH13.PRESSURE.01Numerical/data [N]/[X] (theta13 pressure point)
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
ALPHA.QUILLEN.PROGRESS.03Third honest step / grounding+reduction [E]/[C]/[O] (b1 = the U(1) a_4 heat-kernel coefficient via beta=a_4; residuals 1&3 collapse to one seam F-normalisation [C]; residual 2 the alpha^3 Chern level located but [O]; the headline target stays OPEN)
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
ALPHA.QUILLEN.INFLOW.01Inflow level + embedding rigidity [E]/[C]/[O]: the a^3 coefficient = the COMPUTED bulk Chern |C| = 1 of the v367 collar (TKNN/ASS quantisation + Callan-Harvey inflow + APS/Witten eta=CS), replacing v435's minimality; the seam F-normalisation = the affine embedding index k_Y = 5/3 (Ginsparg 1987, (3/5)(41/6) = 41/10 = b1) -- zero independent content, a face of SEAM.EQUIV.01; one phase, two responses (c_- = 8, C = 1) feeding both named targets; ALPHA.QUILLEN.EXACT.01 stays [O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
ARF.SPINORCOMPILER.01Exact [E] finite algebra (integer/Fraction/F2 arithmetic; Lean companion ArfSpinorCompiler.lean, 23 kernel theorems; Python-only per GATE.WOLFRAM.02); the physical code->matter reading FENCED (killed by v775/ARF.ROOTCLASS.01).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
CARRIER.PETERSEN.RADIAL.01Exact [E neu] finite graph/matrix structure theorems (integer/Fraction; charpolys sympy-gated) behind the carrier-geometry fence; the 10-dim multiplicity prediction typed [H neu]; carries TRANSPORT.SIXTHROOT.01 (spectral-only decider)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence