Struct BridgeObligation 

pub struct BridgeObligation {
    pub path: String,
    pub reason: String,
    pub expected: String,
    pub actual: String,
    pub repair_menu: Vec<String>,
}

One validation defect produced by BRIDGE receive checks.

Fields

path: String

Stable packet path where the defect was found.

reason: String

Human-facing reason for the obligation.

expected: String

Expected value, shape, or condition.

actual: String

Actual value or condition observed.

repair_menu: Vec<String>

Repair choices that a caller may offer to a human or model seat.

Implementations

impl BridgeObligation

pub fn new( path: impl Into<String>, reason: impl Into<String>, expected: impl Into<String>, actual: impl Into<String>, repair_menu: Vec<String>, ) -> Self

Builds an obligation with explicit repair menu entries.

pub fn repair_packet( path: impl Into<String>, reason: impl Into<String>, expected: impl Into<String>, actual: impl Into<String>, ) -> Self

Builds an obligation with the default repair menu.

pub fn to_expr(&self) -> Expr

Projects this obligation to a stable expression record.

Trait Implementations

impl Clone for BridgeObligation

fn clone(&self) -> BridgeObligation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BridgeObligation

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

Formats the value using the given formatter.

impl Eq for BridgeObligation

impl PartialEq for BridgeObligation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BridgeObligation