Struct AdmissionSemanticTrustInput 

pub struct AdmissionSemanticTrustInput {
    pub intended_use: SemanticUse,
    pub independent_source_families: u16,
    pub falsification_evidence: bool,
    pub unresolved_semantic_unknowns: bool,
}

Caller-supplied semantic trust context that is not present in the ADR 0038 admission envelope.

Fields

intended_use: SemanticUse

Intended authority surface for this semantic evaluation.

independent_source_families: u16

Independent source-family count computed by the caller.

falsification_evidence: bool

Whether falsification/counterexample evidence is attached.

unresolved_semantic_unknowns: bool

Whether semantic unknowns remain outside the structural admission fields.

Implementations

impl AdmissionSemanticTrustInput

pub const fn new(intended_use: SemanticUse) -> Self

Construct input for one intended use.

pub const fn with_independent_source_families(self, count: u16) -> Self

Attach caller-computed independent source-family count.

pub const fn with_falsification_evidence(self, present: bool) -> Self

Attach falsification evidence state.

pub const fn with_unresolved_semantic_unknowns(self, present: bool) -> Self

Attach unresolved semantic unknown state.

Trait Implementations

impl Clone for AdmissionSemanticTrustInput

fn clone(&self) -> AdmissionSemanticTrustInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdmissionSemanticTrustInput

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

Formats the value using the given formatter.

impl PartialEq for AdmissionSemanticTrustInput

fn eq(&self, other: &AdmissionSemanticTrustInput) -> 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 Copy for AdmissionSemanticTrustInput

impl Eq for AdmissionSemanticTrustInput

impl StructuralPartialEq for AdmissionSemanticTrustInput