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.
Claims without an authored topic assignment
723 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Research contracts
Research contracts
Original identifier and classification
GATE.UWALL.11Identity [I] (closed form for d + frame volume + uniqueness + square selection) + Physical [P] (three-pairing residue)
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.QGEO.05Identity [I] (character algebra + Schur rigidity + grading transport) + Physical [P] (one Z_3 choice)
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.QGEO.06Lattice/Lie [L] (derived selection + explicit conjugacy/obstruction) + [P] (realisation premise unchanged)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.12Identity [I] (index-11 congruence + parity + reductions) + [P]/[A] (establishment of the two line pairings)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.09Identity/Lattice [I]/[L] (duality, projector, orbits, fusion) + [P] (the one conformal-net step)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.12Identity [I] (exact rigidity + closed-form ratio + audit coefficient) + [P] (finite-weight absorption)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.13Identity [I] (atom identities + new closure) + [P] (the one lift map)
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.QGEO.07Identity/Lattice [I]/[L] (exact cohomology action + parity match) + [P] (module identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.13Identity [I] (model theorem + det'-clean bend + localisation) + [P] (measure identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.10Identity [I] (exact census) + [P] (scoping conclusion)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.14Identity [I] (cusp-frame anchor reading + equivalences) + [P] (the one assignment)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam and the horizon: the precise statement
Origin Theory
Original identifier and classification
SEAM.EHMODEL.01Identity [I] (model mechanism exact) + [A] (the theorem proper stays open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam and the horizon: the precise statement
Origin Theory
Original identifier and classification
SEAM.EHMODEL.02Identity [I] (BFK/Kac algebra exact) + [A] (the theorem proper stays open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam and the horizon: the precise statement
Origin Theory
Original identifier and classification
SEAM.EHMODEL.03Identity [I] (dimensional bookkeeping exact) + [A] (the anchor stays declared)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
Research contracts
Original identifier and classification
ANCHOR.VGEO.02Identity [I] (scaling bookkeeping) + [A]/[O] (closed metrology: R_+ unit torsor; one calibration)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
Research contracts
Original identifier and classification
GATE.METRIC.11Identity/Lattice [I]/[L] (the extension theorem exact) + [P] (the seam-side identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.METRIC.12Identity [I] (compression contraction + Wick) + [P] (the one shared free-field premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.METRIC.13Identity/Lattice [I]/[L] (DtN + character identity exact) + [P]/[A] (free-bulk premise + net existence)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.METRIC.14Identity/Lattice [I]/[L] (symbol homogeneity + rigidity count + |Z2| arithmetic) + [P] (the gapped flow reaching the fixed point)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GATE.METRIC.15Identity [I] (operator-dimension count) + [P] (basin/convergence of the gapped flow)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence