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.

Источник