The red round that cited itself

Description and use

Automated testing now generates detailed receipts for failures, eliminating silent errors.

Problem

Acceptance test rounds can fail silently (red) without a disk‑born receipt, making it hard to trace the cause of failures.

Outcome

All four acceptance checks passed green; red rounds now produce detailed receipts, eliminating silent failures and false positives.

Workflow

• 1. Modify acceptance scripts to invoke the receipt writer for every round.
• 2. For green rounds, write a single line receipt indicating success.
• 3. For red rounds, provide a read key to the writer.
• 4. The writer records the current clock, the key read, and the value returned.
• 5. If a red round is invoked without a read key, abort before writing a receipt.
• 6. Run smoke tests and full identity sweep to verify correct receipt generation.

Evidence

The repair is a small receipt writer that acceptance scripts now call for every round.

Source

The final acceptance closed green on all four checks: a red round with a key files a three-field cause; a green round files no cause; a red round without a key aborts (fail-closed); and a genuine red from the live guard — a dirty copy expected clean — files the read value.

Source