Function verify_receipts 

pub fn verify_receipts(traces: &[Trace]) -> VerifyReport

Independently re-derive the hash chain over traces from genesis — the same computation an external auditor runs, with no trust in the proxy or the database. A single altered or reordered receipt breaks the chain at its index.