Enum CondState 

pub enum CondState {
    Ok,
    Firing,
    Unobservable,
}

One condition’s evaluation state — the watchdog’s serde-stable wire projection of the Judgement core (RFC 13, v1.24; RFC 09 §5.1 pre-v1.24). Three states, not two: unobservable is “I could not tell”, which is neither “fine” nor “fire”.

The mapping (see From<Judgement>), with the polarity note spelled out: a Condition names what firing means, so CondState::Ok means the condition does not hold — it is Established(no) / Judgement::NotEstablished, not a bare “fine”. Firing is Established(yes); both NotAsked and Unobservable project to unobservable, because this wire vocabulary predates the NotAsked pole and the watchdog evaluates every declared rule every tick — it never leaves one unasked.

Variants

Ok

The condition conclusively does not hold (Judgement::NotEstablished — note the polarity: ok is the established-clean pole).

Firing

The condition conclusively holds (Judgement::Established).

Unobservable

The observation cannot carry the claim: a drop under a completeness claim, a window shorter than the claim’s span, or an ask that failed (Judgement::Unobservable; a hypothetical Judgement::NotAsked also lands here — the wire cannot say more).

Trait Implementations

impl Clone for CondState

fn clone(&self) -> CondState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CondState

impl Debug for CondState

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

Formats the value using the given formatter.

impl Eq for CondState

impl From<&Judgement> for CondState

The documented wire projection (RFC 13, v1.24): Established → firing, NotEstablished → ok (the polarity note on CondState), both unestablished poles → unobservable.

fn from(j: &Judgement) -> CondState

Converts to this type from the input type.

impl From<Judgement> for CondState

fn from(j: Judgement) -> CondState

Converts to this type from the input type.

impl PartialEq for CondState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CondState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CondState