Applied Case: The Mathematician Still Has a Job
Proof-to-Theory ran blind on Chair44. It found the engine. Chaim Goodman-Strauss found the three colors.
Modal Path Ethical Software
Applied Case: I Gave a Mathematician Homework
Introducing Proof-to-Theory
Applied Case: The Book Was More Than the Text
They Destroyed the Books for the Information. Starring TraceLossBench.
The Explanation Writes Back
An audit can be right about the wrong version of the model.
Backpath: Evidence for What Transitions Make Unrecoverable
A CLI for finding lost distinctions, failed returns, divergent routes, and the edge where a path collapsed.
Klein Conformance Protocol
Introducing KCP.