The Ending That Hid the Yellow

说明与用途

更新后的收据格式确保最终行准确反映发布状态，防止隐藏的验证失败。

问题

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.

结果

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

工作流

• 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.

证据

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.

来源