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.
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 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 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 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 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 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 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.CONF.01Geometric realisation premise [O] (the single residual; component reductions [I] established)
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 evidenceE8 audit and bootstrap
E8 audit and bootstrap
Original identifier and classification
E8.SLICE.01Identity/Lattice [I]/[L] (exact integer/lattice identities)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QFT.OSMOMENT.01Identity [I] (moment/spectral/Sugawara exact) + [C] (declared V_metric norm)
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
SEED.ANOMALY.01Identity [I] (trace anomaly + b3 + VW factorisation exact)
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
QFT.FOCK.01Identity/Lattice [I]/[L] (cone count + Witten index + central-charge conservation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence