Struct CheckStanding 

pub struct CheckStanding {
    pub state: CheckState,
    pub independence: Option<Independence>,
}

One entity’s standing before the gate: its derived check state, and for an ok-checked entity the independence of that check.

Fields

state: CheckState

independence: Option<Independence>

Some only for CheckedOk.

Implementations

impl CheckStanding

pub fn assumed_independent(state: CheckState) -> Self

A standing that confirms when the state is checked_ok — the form store-only callers (and tests) build when no provenance is in play.

pub fn confirms(&self) -> bool

Whether this standing satisfies the transition gate.

pub fn label(&self) -> &'static str

The label the gate reports for an entity that does not confirm: the check state, or the independence reading when the state is checked_ok but not independent.

Trait Implementations

impl Clone for CheckStanding

fn clone(&self) -> CheckStanding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckStanding

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

Formats the value using the given formatter.

impl Eq for CheckStanding

impl PartialEq for CheckStanding

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckStanding