Verifiable autonomy
A feature_list state machine driven by an objective verify gate — only a captured exit 0 (plus a rubric pass) marks a feature done — with an HMAC hash-chained ledger you can audit and a journal you can replay.
An autonomous coding CLI where "done" means the test suite actually passed — and every hands-off run leaves a signed, tamper-evident receipt you can replay.
v0.8.0955 tests3 runtime depsMIT
The terminal below replays a real recorded run from examples/demo — implement → objective verify gate → signed ledger row → a one-byte tamper, caught.
Pre-recorded replay of a real run — the same record/replay mechanism alfred eval uses in CI. Reproduce it yourself with bun run demo: no API key; the engine, tools, verify gate and signed ledger all run for real.
Where this pays off: overnight autonomous builds · CI gates for agent changes · hands-off runs on untrusted input · receipts you can hand to a reviewer