Struct EvidenceInput 

pub struct EvidenceInput {
    pub kind: EvidenceKind,
    pub evidence_blake3: String,
    pub runtime_mode: RuntimeMode,
    pub authority_class: AuthorityClass,
    pub proof_state: ClaimProofState,
    pub requested_ceiling: ClaimCeiling,
    pub source_refs: Vec<SourceRef>,
    pub advisory_only: bool,
}

Producer-supplied evidence input. Built by the CLI from the evidence file / inline JSON and the producer’s declared evidence_blake3.

Every witness’s asserted_subject_blake3 MUST equal EvidenceInput::evidence_blake3.

Fields

kind: EvidenceKind

Which surface (release-readiness or compliance-evidence) requested this reduction.

evidence_blake3: String

Lowercase BLAKE3 hex of the exact producer-supplied evidence bytes.

runtime_mode: RuntimeMode

Runtime mode the producer declares it ran under.

authority_class: AuthorityClass

Authority class declared on the evidence input.

proof_state: ClaimProofState

Proof closure state declared by the producer.

requested_ceiling: ClaimCeiling

Producer-requested ceiling. The verifier still clamps to the weakest supporting signal per cortex_core::effective_ceiling.

source_refs: Vec<SourceRef>

Declared source refs (informational; not used to make a trust decision).

advisory_only: bool

Marker that this evidence path is advisory-only by construction (e.g. dev runtime mode, pre_v2_backup evidence kind). When set, the verifier short-circuits to verifier.witness.tier_insufficient per ADR 0041 acceptance criterion §132 — local/dev/pre-v2 stay advisory even with witnesses present.

Implementations

impl EvidenceInput

pub const fn is_advisory_only(&self) -> bool

True when the evidence path is advisory-only by construction.

Trait Implementations

impl Clone for EvidenceInput

fn clone(&self) -> EvidenceInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceInput

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EvidenceInput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EvidenceInput

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for EvidenceInput

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for EvidenceInput

impl StructuralPartialEq for EvidenceInput