The ghost in the proof column

The ledger now requires full receipt names and a checker validates each citation, eliminating phantom references and ensuring reliable proof verification.