Module verification 

Verification receipts (companion, version 1).

Port of continuity_receipt/verification.py: a receipt is a signed record of a verification run — the full result (verdict, errors, reasons, summary) bound to the JCS-canonical bundle digest. Wire format and semantics: VERIFICATION_RECEIPTS.md.

Malformed-input notes (same policy as verify.rs): Python compares the version field with != 1, which accepts 1.0/true; this port accepts only integer 1 and fails closed with bad_version otherwise. Nothing in the format or vectors depends on the looser comparison.

Structs

VerificationReceiptResult

Mirrors Python’s VerificationReceiptResult (as_dict shape).

Constants

KIND

VERDICTS

VERSION

Functions

receipt_digest

SHA-256 of the canonical bytes of a verification receipt minus its sig (the digest to anchor — VERIFICATION_RECEIPTS.md §Anchoring).

verify_verification_receipt

Verify a verification receipt (Python verify_verification_receipt).