Write-ahead:
intended is journaled before the tool runs. If journaling fails, the call does not run. A dangling
intended after a crash is exactly the list of effects to reconcile.
Credentials never reach it
reason, detail and error text are redacted for well-known credential shapes before they are written. Arguments and
results are only hashed.
Verify
viewer/index.html. For signed exports see evidence.
Stores
JSON Lines file, SQLite or PostgreSQL (storage). SQLite and PostgreSQL reject UPDATE and DELETE on the ledger table, and several processes can share one database: theseq primary key makes forking the chain
impossible, and a writer that loses a race re-reads the tail and retries.

