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.
Origin Theory
Origin Theory
Original identifier and classification
GOLD.ATOMS.01Identity/Lattice [E] (spectral) + [C] (quasicrystal direction)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.READOUT.01Identity/Lattice [E] (cyclotomic CP) + [C] (physical identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.FAMILY.01Identity/Lattice [E] (mu3+Galois orbit) + [C] (verdict)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARITH.CAPSTONE.01Synthesis/inventory [E] (arithmetic + {a;pi} reduction) + [O] (seam realisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
RATE.TRANSLATE.01Identity/Lattice [E] (number-field split) + [C]/[O] (functor verdict)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
TRANSLATE.CLOCK.01Synthesis/Identity [E] (clock factorization + hand arithmetic) + [C] (one-clock reading)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.CP.PREDICT.01Identity [E] (Galois relation) + [C] (prediction) + [X] (kill test)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
KILL.BOARD.01Numerical/data [N] (forward decision ledger)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.CP.SHARPEN.01Identity [E] (node+multiplier) + [C] (budget) + [N] (tension) + [X] (kill test)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
HYP.FIBER.01Construction [E]/[C] (fibered substrate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.SEAMEQUIV.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.KEYSTONE.01Synthesis/reduction [E]/[O] (keystone-as-one-theorem)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
FR.SUITE.01Numerical/synthesis [E]/[C]/[I] (F_transfer solver suite)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
HYP.REWRITE.01Construction/proof [E]/[O] (cusp weight from a minimal rewrite)
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 evidenceHonest status
Origin Theory
Original identifier and classification
FORM.QGEO.BW.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.OSGAP.01Reduction [E]/[O] (OS gap = transfer gap + single premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGAMB.MEASURE.01Construction [E]/[O] (admissible-sector OS measure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.CARTAN.DET.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.NECESS.01Reduction [E]/[O] (necessity of H = the order-4 CM selection)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence