Enum LogInclusionPolicy 

pub enum LogInclusionPolicy {
    Ignore,
    VerifyIfPresent,
    Require,
}

How verification treats a retrieval’s log_inclusion member (RFC-ACDP-0012 §10). Default Self::Ignore: corroboration is opt-in.

Variants

Ignore

Do not evaluate log_inclusion; preserve it verbatim. A VerificationPolicy::witness_quorum still verifies the proof’s checkpoint, because cosignatures can only be checked against a checkpoint the consumer verified itself (RFC-ACDP-0015 §8).

VerifyIfPresent

Verify log_inclusion per RFC-ACDP-0012 §9.1 when present and report the verdict. A failure is reported and never fails verification (§9.3).

Require

Fail verification unless log_inclusion is present and verifies. An absent or failing proof fails with invalid_log_proof. Inclusion needs the RFC-ACDP-0010 receipt to rebuild the leaf (§9.1 step 1), so a LogInclusionVerdict::CannotVerify fails too, with invalid_receipt: the receipt is at fault, not the log (spec #78 L1). A registry that advertises acdp-registry-transparency-log MAY still leave the proof off a response (§10). Use this only with registries known to serve it.

Trait Implementations

impl Clone for LogInclusionPolicy

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 LogInclusionPolicy

impl Debug for LogInclusionPolicy

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

Formats the value using the given formatter.

impl Default for LogInclusionPolicy

fn default() -> Self

Returns the “default value” for a type.

impl Eq for LogInclusionPolicy

impl PartialEq for LogInclusionPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LogInclusionPolicy