Enum ReceiptPolicy 

#[non_exhaustive]
pub enum ReceiptPolicy {
    Ignore,
    VerifyIfPresent,
    Require,
    VerifyAndReport,
}

How to treat the optional registry_receipt on retrieval (RFC-ACDP-0010).

#[non_exhaustive] since 0.15.0 (Self::VerifyAndReport was added).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Ignore

Skip receipt verification entirely (0.1.0 behavior). The receipt value is still preserved verbatim on the context.

VerifyIfPresent

Verify the receipt when one is present; absence is not an error (the registry may simply be a 0.1.0 registry). Default.

Require

Fail closed unless a receipt is present AND verifies. Use when the deployment requires audit-grade provenance — registry claims (ctx_id, created_at, origin_registry) are assertions, not proofs, without a receipt.

Honored identically by every entry point that accepts a VerificationPolicy — fetch_with_policy, fetch_current_with_policy (via LineageHeadPolicy::receipts), and the fetch_report* family. On VerifiedContext::fetch_report_diagnose the failure surfaces as a withheld handle plus VerificationReport::policy_phase_error, not an Err — see that method’s doc.

VerifyAndReport

Verify the receipt when one is present and report its verdict separately from the body verdict (RFC-ACDP-0010 §8, 0.5.0 — the acdp-consumer “receipt verdict reported separately” rule). A failing receipt does not fail retrieval: it is recorded in VerifiedContext::receipt_verdict / VerificationReport::receipt_verdict and then treated exactly as an absent one by every rule that consumes receipt-attested facts — the RFC-ACDP-0010 §10 historical-key rule does not apply, an RFC-ACDP-0014 §7 revoked-key context is unplaceable (fails closed), and lineage_id is reported LineageBinding::Unbound. The body is never presented as receipt-attested (VerifiedContext::verified_receipt is None).

On /current the same applies to the lineage-head receipt under LineageHeadPolicy::receipts (VerifiedContext::head_receipt_verdict).

Trait Implementations

impl Clone for ReceiptPolicy

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for ReceiptPolicy

impl Debug for ReceiptPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ReceiptPolicy

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ReceiptPolicy

impl PartialEq for ReceiptPolicy

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ReceiptPolicy