Signed receipts for what coding agents do in your repositories, and how to verify them without trusting us.
What Euthyne records, what it proves, and the planned first run.
Receipts, sessions, changes, trust levels and what we store.
The receipt format and the checks an independent verifier runs.
The planned euthyne commands, from init to verify.