Struct DecisionFabric 

pub struct DecisionFabric {
    pub n_in: usize,
    pub cells: Vec<LoopCell>,
    pub result: Src,
    pub escaped_first_return: bool,
}

A combinational decision datapath: SSA LoopCells (arith + predicated select) over the function parameters (Src::In), plus the Src that drives the single output.

Fields

n_in: usize

cells: Vec<LoopCell>

result: Src

escaped_first_return: bool

A branch in the captured body jumps PAST the first Return (an early-return diamond / multi-return match). The fabric is then the FIRST-RETURN PATH only — sound when the escaping arm is statically dead (diff-verified corpora prove theirs ≡VM), and a REFUSAL trigger for tolerance-verified consumers (the analog lane), which cannot detect a dropped branch by diffing.

Trait Implementations

impl Clone for DecisionFabric

fn clone(&self) -> DecisionFabric

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DecisionFabric

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

Formats the value using the given formatter.