Receipt records action identity, idempotency key, type, time, outcome, optional artifact evidence, provider detail, operation ID, and trace ID. It states what the executor reports happened.
A VerificationResult references the exact action and receipt, then records an independent official_api_readback or artifact_digest_reread, evidence, time, and result. It states what a separate observation found.
src/lib/verticalSliceEvidence.ts checks approval, command, claim, receipt, verification, trace, digest, and replay consistency. See Evidence runbook.