- a golden asks whether behavior still matches an expectation;
- trace verification asks whether recorded evidence stayed intact.
Run the golden
Update deliberately
Verify a trace
PROOF LANES ยท DIFFERENT VERDICTS
Continue
Receipts and replay
Store and re-project the durable journal.
CI gate
Put the rehearsal before protected execution.
Testing guide
Learn goldens and mock-provider workflows.
Trace concepts
Read the journal and chain model.