Enum DeonticStatus 

#[repr(u8)]
pub enum DeonticStatus {
    Active = 0,
    Defeated = 1,
    Expired = 2,
    Malformed = 3,
    Pending = 4,
    Violated = 5,
    Discharged = 6,
}

The result of evaluating a single norm Quin against temporal bounds and defeaters.

Variants

Active = 0

Norm is temporally valid and has no active defeater.

Defeated = 1

A matching q42:unless defeater node was found; obligation is overridden.

Expired = 2

Current timestamp exceeds the expiry embedded in metadata[0..31].

Malformed = 3

The Quin’s predicate carries an unrecognised opcode byte; skipped by caller.

Pending = 4

Norm is parsed and valid, but its effectivity window has not yet begun (now < effective_from). Not yet binding. (Lifecycle, Phase 1.)

Violated = 5

An in-force obligation whose action was not performed (or a prohibition that was breached), per the supplied facts. Triggers CTD / sanction routing.

Discharged = 6

An in-force obligation that has been fulfilled per the supplied facts; the specific duty terminates.

Trait Implementations

impl Clone for DeonticStatus

fn clone(&self) -> DeonticStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeonticStatus

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

Formats the value using the given formatter.

impl Default for DeonticStatus

fn default() -> DeonticStatus

Returns the “default value” for a type.

impl PartialEq for DeonticStatus

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for DeonticStatus

impl Eq for DeonticStatus

impl StructuralPartialEq for DeonticStatus