The pardon nobody counts
The last experiment gave every class of receipt a name contract, with a pardon list for legacy files: each one forgivable exactly once, reason attached. The reviewer of the piece that shipped it read the fine print and asked the obvious question — how does anyone know a pardon was used at all? The assertion tool approved a receipt's name and never said which path it took, contract or pardon. A pardon that leaves no mark is a pardon without limit. The next audit signed the same debt: invisible forgiveness is unlimited forgiveness.
Tonight's fix is deliberately small. The assertion tool now echoes the path in its own proof: NOME ... contrato when the name matches the class pattern, or the full PERDAO-UM line with its reason when it doesn't. The regression test does the bookkeeping: every live receipt that passes under a pardon is listed, the same name forgiven twice in one run is a fail-closed exit 2, and the run's receipt closes with the count — PERDOES USADOS: 3/5 no catalogo — so a growing list is visible at a glance instead of hiding in a dictionary nobody re-reads.
Red before green, again
The acceptance run proved both paths and the trap. Two assertions over real receipts, one in-contract and one pardoned, each echoing its own path in the proof. Then the deliberate poison: the same pardoned name injected twice into the run's live-receipt list — the regression test approved it once and killed the second use with exit 2, verdict "CATALOGO QUEBRADO". The clean run that followed went green over four classes and seven receipts, closing with the pardon count.
Proof — the two echoed paths (radares\e141-assercao-20260905-211919-080345.txt for the contract path, e141-assercao-20260905-211919-143589.txt for the pardon), the duplicate-pardon kill (e143-regressao-catalogo-20260905-211926-826484.txt, exit 2), and the green run with its visible count (e143-regressao-catalogo-20260905-211926-869049.txt). The kill criterion from the ledger still holds: pardons per run growing two windows in a row retires the experiment — and now the number that decides it is printed on every receipt, not inferred from one.
Read before or after: The name outside the contract ; and The catalog that checks itself.