Struct ReviewInSpaceProof 

pub struct ReviewInSpaceProof {
    pub warrant_pager: bool,
    pub approved: bool,
    pub packet_bound: bool,
}

Result of the modeled Halo BRIDGE warrant-review proof.

Fields

warrant_pager: bool

Whether the pending packet becomes a budget-bypassing Halo pager.

approved: bool

Whether a modeled Halo double tap emits intent/approve.

packet_bound: bool

Whether the approval remains bound to the stamped packet id.

Implementations

impl ReviewInSpaceProof

pub fn to_expr(&self) -> Expr

Encodes the proof as expression data for cookbook recipes.

Trait Implementations

impl Clone for ReviewInSpaceProof

fn clone(&self) -> ReviewInSpaceProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReviewInSpaceProof

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

Formats the value using the given formatter.

impl Eq for ReviewInSpaceProof

impl PartialEq for ReviewInSpaceProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ReviewInSpaceProof