Struct InvariantResult 

pub struct InvariantResult {
    pub verdict: Verdict,
    pub evidence: Vec<EvidenceItem>,
    pub remediation: Option<Remediation>,
    pub confidence: f64,
}

Predicate result returned by every invariant evaluation attempt.

Fields

verdict: Verdict

evidence: Vec<EvidenceItem>

remediation: Option<Remediation>

confidence: f64

Implementations

impl InvariantResult

pub fn allow() -> Self

Allow verdict with full confidence, no evidence, no remediation.

pub fn warn(reason: impl Into<String>) -> Self

Warn verdict — predicate has concerns but does not block shipment.

pub fn block(error: InvariantBlockError) -> Self

Block verdict — predicate refuses to ship the slice as-is.

pub fn require_approval(approver: Approver) -> Self

RequireApproval verdict — predicate wants a specific principal or role to co-sign before shipment.

pub fn with_evidence(self, evidence: Vec<EvidenceItem>) -> Self

Attach evidence items to this result (replaces any existing evidence).

pub fn with_remediation(self, remediation: Remediation) -> Self

Attach a remediation suggestion to this result.

pub fn with_confidence(self, confidence: f64) -> Self

Override the confidence scalar (clamped to [0.0, 1.0]).

pub fn is_blocking(&self) -> bool

Returns true when the verdict halts shipment.

pub fn requires_approval(&self) -> bool

Returns true when the verdict requires explicit cosigner routing.

pub fn block_error(&self) -> Option<&InvariantBlockError>

Return the underlying InvariantBlockError when the verdict is Block. Convenience for migration sites that previously matched on the old InvariantResult::Blocked { error } variant.

pub fn to_vm_value(&self) -> VmValue

Encode this result as a Harn-visible VmValue. Used by the stdlib flow builtins so predicate authors receive idiomatic record values.

pub fn from_vm_value(value: &VmValue) -> Result<Self, String>

Decode an InvariantResult from a VmValue produced by the stdlib flow builders (or by any other path that emits a structurally valid dict). Returns Err with a human-readable message on shape mismatch.

Trait Implementations

impl Clone for InvariantResult

fn clone(&self) -> InvariantResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantResult

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InvariantResult

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for InvariantResult

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

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 InvariantResult

impl StructuralPartialEq for InvariantResult