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.METRIC.16Identity [I] (signed cumulant inversion + Wick functoriality + PF dichotomy) + [P] (the scope premise: v56 acts on the full cone)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.17Identity [I] (Bogoliubov second-quantisation functoriality + cone gap = one-particle gap + fixed sector = Wick powers) + [P] (the one-particle symbol identification) + [C] (quasi-freeness forced by v158)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.18Identity [I] (gap forced by mu4-equivariance + spec(A0*); fixed = rank-8 Calderon) + [P]/[A] (A) factors into the already-open A2 (net existence) + R1 (seam clock)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.19Identity/assembly [C] (A2 net existence by established AQFT; R1 reduced to GATE.QGEO via A0* uniqueness) + [O] (the irreducible {pi,v_geo} geometric core, a theorem by v153)
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 evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.RGSTAB.01Identity [I] (y^2-suppression bound) + [P] (F_transfer typing)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
QCD.LAMBDA.01Identity [I] (parameter-free confinement scale) + [P] (lattice O(1)) + [A] (ratio stays non-claim)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
HIGGS.FREESEAM.01Identity [I] (freeness signature + scale selection) + [P] (the m_H prediction band)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.RIGID.01Identity/Lattice [I]/[L] (the finite rigidity theorem exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.REALIZE.02Reduction certificate [E] (five steps established) + [O] (the one realisation premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.TREE.01Proof tree [E] (four nodes closed constructively) + [O] (two named obligations)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.MARKS.01Physical/geometric [O] (open constructive obligation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.KERNEL.01Physical/operator [O] (open constructive obligation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.REDUCE.01Deeper reduction [E] (finite cores) + [O] (the two sharper irreducible premises)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.CONF.01Geometric realisation premise [O] (the single residual; component reductions [I] established)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
QGEO.ISO.01Geometric isometry premise [O] (milder residual; the conformal-class identification is now implied) + [E] (the three cited reductions)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceSharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.SYM.01Conformal-symmetry/deck face of SEAM.EQUIV.01 [O] (downstream per v323) + [E] (equivariant uniformisation + the weakening)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARCH.RRCAR.01Identity [E] (RR arithmetic) + Physical [C] (carrier identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARCH.RRCAR.02Identity [I] (Clifford dim chain) + Physical [C] (carrier = mode-space spinor)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.NARIAI.02Identity [E] (exact variation-free entropy bound)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence