Each of our four verified ed25519 libraries went from 16 proven statements to 44. But the real story of the past month is uglier and more useful — what it took to make the script that PRINTS "all green" as trustworthy as the proofs behind it.
Ed25519 signatures are deterministic — same key, same message, same signature, forever. We used that to audit ourselves, re-signing an already-published record and comparing byte for byte. The bytes matched. The exercise still caught a real bug.
We machine-checked the correctness of a quantum-resistant signature verifier, entered that fact into our public, append-only log — and from now on, every new page of that log is stamped twice, once with today's cryptography and once with cryptography built to survive tomorrow's computers.