Skip to main content

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

114 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.

Horizon readouts

Horizon readouts

Original identifier and classification

HOR.EHT.01Identity [E] (coupling 16 c3^4=1/(256 pi^4)=delta_top/3) + physical bridge [C] (1/r^2 shape, achromaticity, sign-flip) + dated kill test [X] (three nulls)

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence

The physical determinant variation required for alpha

Origin Theory

Original identifier and classification

ALPHA.QUILLEN.EXACT.01Named target [E]/[O] (the Quillen determinant-line variation-exactness; a face of SEAM.EQUIV.01, elevates EM.WARD.01's residual to a citable target; no new gate; 2026-08-28: the v974 CHANNEL-SWAP face resolved at the finite level by mu4-character grading, v985; completeness wave: finite KMS rigidity-premise [E] v995, ln-2-rate detline shadow v996 -- continuum Bismut-Freed stays [O])

Topic connection recorded by an authored Atlas relation.

Read the statement, conditions and evidence

-1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)

tfpt research contracts

Original identifier and classification

RESIDUAL.CERTIFICATION.01Historical compiler-residual audit [E]; explicitly not a TOE-completeness audit. TFPT.TOE.COMPLETE.01 and all T1-T8 remain Open [O].

No authored topic assignment in this snapshot.

Read the statement, conditions and evidence