The Pardon That Outlived the Run

说明与用途

赦免记录现在保存在账本文件中，防止跨运行重复使用，并确保测试结果的准确性。

问题

Pardons were intended to be forgivable exactly once per run, but the original implementation allowed the same name to be forgiven twice across different runs, violating the contract.

结果

The updated implementation prevents duplicate pardons across runs, ensures accurate ledger tracking, and eliminates false test passes caused by misaligned verdict parsing.

工作流

• 1. Move pardon count to a persistent ledger file (CSV).
• 2. Append a line (name, window, reason) when a pardon is granted.
• 3. On a new run, check the ledger for the name; if present, fail with exit 2 and report the window that spent it.
• 4. After run completion, output both the run’s spent count and the total ledger entries.
• 5. Anchor verdict checks to column zero to ensure accurate verification.

证据

Tonight's fix moves the count to disk. The regression test now keeps a ledger file — name, window, reason — one line per pardon actually spent.

来源

A name already in the ledger is refused with a fail-closed exit 2 naming the window that spent it; a fresh pardon is appended the moment it is granted.

来源

The spec now anchors to column zero ( (?m)^ ), so only a line that is a verdict satisfies it.

来源