The Name Outside the Contract

说明与用途

合同验证未考虑文件名，导致无时间戳的收据被忽略。通过在合同中添加文件名模式并为旧文件设置例外列表，解决了问题，确保了正确验证并保留了证据。

问题

Contract validation missed file names, allowing receipts without timestamps to bypass atomic‑receipt rules.

结果

All live receipts now pass name checks; legacy receipts are forgiven once; new violations trigger fail‑closed exits, ensuring audit integrity.

工作流

• 1. Extend each contract class to include a filename pattern. 2. Update registry to store pattern and legacy exception list. 3. Run acceptance, regression, and assertion tools to validate names. 4. If a legacy file fails, add it to the pardon list with a reason. 5. Re‑run to confirm legacy passes under pardon and new violations exit with code 2.
• 6. Monitor for two consecutive windows with out‑of‑contract receipts to retire the experiment.

证据

The audit that found it had to flag the debt by hand.

来源

The fix extends the contract to the name.

来源

The registry carries a named exception list — each legacy file forgivable exactly once.

来源

Proof — the green run (radares\e143-regressao-catalogo-20260905-195521-909966.txt, closing with "CATALOGO VERDE").

来源