Struct ConformanceVector 

pub struct ConformanceVector {
    pub admitted: Vec<LawAxis>,
    pub refused: Vec<LawAxis>,
    pub unknown: Vec<LawAxis>,
    pub score: Option<f64>,
    pub strict_mode: bool,
    pub process_quality: Option<ConformanceResult>,
    pub admitted_bits: u64,
    pub refused_bits: u64,
    pub unknown_bits: u64,
}

Three-valued conformance state: Admitted / Refused / Unknown are distinct sets, and Unknown never collapses into either (doing so is a defect). See the runnable explanation and contract witness in examples/conformance_vector_explained.rs, which asserts this law and panics if it regresses. For the gate composing with receipt verification, see examples/admission_pipeline.rs.

Fields

admitted: Vec<LawAxis>

Law axes that have been admitted (evidence present and valid)

refused: Vec<LawAxis>

Law axes that have been explicitly refused (evidence present, violation confirmed)

unknown: Vec<LawAxis>

Law axes where admissibility cannot be determined (NEVER collapsed into admitted or refused)

score: Option<f64>

Derived score: 100 * admitted / (admitted + refused + unknown), None if all unknown

strict_mode: bool

Whether unknown axes block release actuation

process_quality: Option<ConformanceResult>

Process quality from POWL conformance check. None until wasm4pm graduation.

admitted_bits: u64

Bitmask for admitted axes (bits 0–10 = Protocol..Domain). Not serialized.

refused_bits: u64

Bitmask for refused axes. Not serialized.

unknown_bits: u64

Bitmask for unknown axes. Not serialized.

Implementations

impl ConformanceVector

pub fn all_admitted(&self) -> bool

pub fn admits_release(&self) -> bool

pub fn sync_bits_from_vecs(&mut self)

Recompute all three bitmasks from the Vec fields.

Call this after constructing from a struct literal or deserializing from JSON, so the internal index stays consistent.

pub fn set_admitted(&mut self, id: LawAxisId)

Mark an axis as admitted, removing it from refused and unknown sets.

pub fn set_refused(&mut self, id: LawAxisId)

Mark an axis as refused, removing it from admitted and unknown sets.

pub fn set_unknown(&mut self, id: LawAxisId)

Mark an axis as unknown, removing it from admitted and refused sets.

pub fn is_admitted_bit(&self, id: LawAxisId) -> bool

pub fn is_refused_bit(&self, id: LawAxisId) -> bool

pub fn is_unknown_bit(&self, id: LawAxisId) -> bool

pub fn assert_bitmask_invariants(&self)

Assert all three bitmasks are mutually disjoint.

Trait Implementations

impl Clone for ConformanceVector

fn clone(&self) -> ConformanceVector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConformanceVector

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

Formats the value using the given formatter.

impl Default for ConformanceVector

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ConformanceVector

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ConformanceVector

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

where __S: Serializer,

Serialize this value into the given Serde serializer.