Skip to main content

Publication history: 2026-06-08

Original publication entries retain their wording and recorded status. Follow the current research history for later findings and revisions.

55 / 56 days

8 Jun 2026

1 update
  1. P2 & carrier

    Details

    • Compiler-closure consolidation. The TFPT development is consolidated into the current document set with the verification suite (modules v1–v82: E_8 glue, carrier Pascal, EM fixed point, flavor matrix, cascade, bootstrap, gravity/cosmology, transport, masses, registry and gate audits) as the single proof layer; manifests (manifest.sha256, lean_manifest.sha256) as content identity; website mirrors the suite (interactive DAG, in-browser script reproducer, script index).