The tool is the smallest surface of a larger system, and the system moved.
Odeya, the CLI you can run in sixty seconds, audits one claim: that an agent's work is done. I built it small on purpose. It is one governed effect of a larger question I have been working toward. What should it take for an autonomous system to be allowed to act, when no test it can enumerate is proof it did the real work?
Two days since I submitted, the governed architecture behind the tool closed a problem worth stating plainly.
The repository records the finding first: a valid human signature is not a human decision. An authenticator proves a credential was exercised. It does not prove the person was shown the exact bytes they believe they approved. And binding the confirmation gesture to the signer is circular by construction, because the receipt names the challenge it belongs to, so a challenge that commits to the receipt commits to something that commits back to it.
The fix adds no trust. It removes the cycle by ordering. One phase commits to what was displayed and confirmed. A second phase commits forward to that receipt and never backward. Two independent implementations derive the same bytes, and a frozen reference vector still reproduces exactly, so the encoder is checked against its own past rather than against itself.
Stated as status, not as a caveat: this is a property of the construction, not evidence that any ceremony occurred. A presentation surface that lies about its own displayed bytes is detected when its receipt disagrees, never prevented. The acceptance gate is still closed. No engine runs yet.
Every claim here is one clone away. Published main is 34cad10. It carries 115 schemas, 93 decision records, 14 isolated contract suites where each gate ships a known-bad proof that it fires, 7 bounded formal models with 30 counterexamples, and 458 of 927 refusal statements proved load-bearing by mutation. The 469 still unproved are named, not rounded away.
The tool shows you the discipline in one command.
Log in or sign up for Devpost to join the conversation.