The ghost in the proof column

说明与用途

日志记录现在必须包含完整的收据名称，检查器验证每个引用，消除“幽灵”引用，确保可靠的证明验证。

问题

Execution logs referenced receipts that did not exist or were incorrectly cited, causing proof verification failures.

结果

All executed lines now reference valid receipts; the checker consistently flags broken citations, preventing silent failures.

工作流

• 1. Update ledger format to include full receipt name and description in EXECUTED lines.
• 2. Implement a checker that scans all EXECUTED lines, verifies receipt file existence and non‑emptiness, and classifies citations.
• 3. Run acceptance test: execute ledger, expect green run with zero broken citations.
• 4. Inject a line with a non‑existent receipt to test red round; checker should flag and exit 1.
• 5. Identify and correct any self‑referencing ghost receipts in prose by removing receipt‑shaped tokens from narrative text.
• 6. Re‑run checker to confirm zero broken citations.

证据

An EXECUTED line now carries its receipt by full name — date, seconds, microseconds — plus, in words, what that receipt sustains.

来源

The checker bit its own author… The line was rewritten without the ghost's name, and the ledger walked clean again at zero broken.

来源