Module vdr 

Verifiable Decision Record (VDR) — builder and verifier.

Implements the format and the verification procedure specified in docs/spec/verifiable-decision-record-v0.md. The capsule layer (profiles) validates that a subject conforms to its profile; this module owns the canonical digests and the VDR envelope.

Structs

VerifyReport

Outcome of verifying a VDR.

Enums

VdrError

Constants

AGENT_CAPSULE_ID

AGENT_PROFILE

VDR_VERSION

Functions

build_record

Build a conforming VDR from a subject, validating it through its capsule.

capsule_for_profile

Map a VDR profile id to the capsule that validates it.

profile_for_capsule

Map a capsule id to its VDR profile id.

verify_record

Verify a VDR per spec §7: recompute every digest from the stored subject and compare to the stored receipt. Pure integrity check — depends only on the record and maths, never on trusting the producer.