Struct SpecPolicy 

pub struct SpecPolicy {
    pub is_bearer: bool,
    pub is_proof_required: bool,
    pub is_recipient_required: bool,
    pub is_issued_at_required: bool,
}

The flag-driven consumer policy a Trust Task specification declares, read off a generated Payload impl.

TrustTask::enforce_spec_policy is the typed entry point and stays the one most consumers want. This type exists for the other shape: a consumer that dispatches on the Type URI and holds a TrustTask<serde_json::Value>, so it has no P to read the constants from. schema_index::spec_policy_for hands it one keyed by URI.

Both paths run SpecPolicy::enforce, so they cannot diverge on the check set as new flag-driven rules are added — which is the whole reason this is a value rather than four public constants for a caller to re-apply by hand.

Fields

is_bearer: bool

Payload::IS_BEARER — the spec opts out of §4.8.2 audience binding.

is_proof_required: bool

Payload::IS_PROOF_REQUIRED — §7.3 item 8.

is_recipient_required: bool

Payload::IS_RECIPIENT_REQUIRED — §7.2 item 5b.

is_issued_at_required: bool

Payload::IS_ISSUED_AT_REQUIRED — §7.3 item 17.

Implementations

impl SpecPolicy

pub const fn of<P>() -> SpecPolicy

where P: Payload,

Read the policy off a generated payload type.

pub fn enforce<P>(&self, doc: &TrustTask<P>) -> Result<(), RejectReason>

Apply the checks to a document’s envelope.

Generic over the payload type and never reads it: every rule here is about recipient, proof and issuedAt. That is what lets a URI-dispatching consumer run the full check set against a TrustTask<serde_json::Value> without first deserializing into the generated type.

Trait Implementations

impl Clone for SpecPolicy

fn clone(&self) -> SpecPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SpecPolicy

impl Debug for SpecPolicy

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

Formats the value using the given formatter.

impl Eq for SpecPolicy

impl PartialEq for SpecPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SpecPolicy