The Ending That Hid the Yellow

Description and use

The updated receipt format ensures the final line accurately reflects the publication state, preventing hidden verification failures.

Problem

When a receipt file ends with a generic ‘FIM: normal’ line, a pending verification failure (yellow flag) can be hidden, causing a withheld claim to be interpreted as successful.

Outcome

The updated receipt format ensures that the final line accurately reflects the publication state, preventing hidden verification failures and improving auditability.

Workflow

• 1. Verification step exhausts retries and sets mutable color cell to yellow if pending.
• 2. Receipt writer consults the color cell when composing the final line.
• 3. Three distinct endings are produced: abort, normal, amarelo.
• 4. Acceptance test extracts functions from template, runs against live API, and verifies all three endings in a single receipt.

Evidence

Three endings are now provably distinct: a divergence abort closes as FIM: abort; a verified publish closes as FIM: normal; an exhausted propagation closes as FIM: amarelo (verificacao pendente) — yellow, with its reason, in the one line that is guaranteed to be read.

Source