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.
Origin Theory
Origin Theory
Original identifier and classification
SEAM.AREALAW.01Numerical + Identity [I] (necessary condition)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam and horizon correspondence
Origin Theory
Original identifier and classification
SEAM.THEOREM.01Identity [I] + open theorem [A]
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.ATTRACTOR.01Identity/Lie [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.CYCLE.01Identity/Lie [I]/[L]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceE8 audit and bootstrap
E8 audit and bootstrap
Original identifier and classification
SEAM.HORIZON.01Identity [I]
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.CORE.01Identity [I]
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.RIGID.02Identity [I] (ratios) + [A] (U_point=anchor)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.METRIC.02Identity [I] (decoupling, cond. on norm bound) + [P]/[A] (boundary G6)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.METRIC.03Identity [I] (central charges, embedding) + [P] (net identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe Lean formalization of carrier rank uniqueness
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
FORM.CAR.01Formal
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.PENCIL.02Identity/Lattice [I]/[L] + audit [P]
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.PENCIL.03Identity/Lattice [I]/[L] + audit [P]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
REDTEAM.A.01Red-team [P] (reduced, not closed)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOutcome
Red-team audit
Original identifier and classification
GATE.METRIC.04Lattice [L] (residual 1 closed) + [P]/[A] (residuals 2-3 open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOutcome
Red-team audit
Original identifier and classification
CAR.PASCAL.01Identity/Lattice [I]/[L] (B residual reduced to the half-spinor input)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceVerification reference catalog
Verification reference catalog
Original identifier and classification
FLAV.PENCIL.05Identity/Lattice [I]/[L] (GL(2) covariance + family classification) + [P] physical readings
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOutcome
Red-team audit
Original identifier and classification
GATE.METRIC.05Lattice [L] (classification + machine contrast) + [P]/[A] (the one remaining hypothesis)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe hard reduction: the live residual as typed interfaces
TFPT — Introduction and reading guide
Original identifier and classification
GATE.METRIC.06Lattice [L] (index arithmetic + reframing) + [P]/[A] (seam-side identification)
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.SPINE.01Identity [I] (closures + negative control) + Audit (chi_T fingerprint; dual cuts = presentation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOutcome
Red-team audit
Original identifier and classification
GATE.METRIC.07Identity/Lattice [I]/[L] (exhaustive classification) + [P]/[A] (seam side)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence