Enum PrecheckReason 

pub enum PrecheckReason {
    Passed,
    ScaffoldOnly,
    ContractsMissing,
    TicketJourneyUnmapped,
    OldWrongCore,
    NonPositiveEntry,
    SingularNormalizationTarget,
    NotFiniteInput,
    AlphaOutOfRange,
    UnknownContext,
    ForbiddenCategoryWrite,
}

Reasons that can stop a v1 update before any trust dynamics execute.

Variants

Passed

The guard accepted the tick and the caller may continue to the canonical update.

ScaffoldOnly

Story #148 only wires the enforceable scaffold and public contracts.

ContractsMissing

Public SpecFlow contracts are absent or incomplete.

TicketJourneyUnmapped

Tickets exist without enforceable journey mapping.

OldWrongCore

A stale God-spec-only implementation was detected.

NonPositiveEntry

A QAC matrix contains a zero or negative entry before flooring policy can apply.

SingularNormalizationTarget

A normalization target is singular or non-positive.

NotFiniteInput

An input contains NaN or infinity.

AlphaOutOfRange

alpha_t is outside the closed [0, 1] interval.

UnknownContext

The update references a context that is not registered.

ForbiddenCategoryWrite

A policy-forbidden category write attempted to enter the trust update path.

Trait Implementations

impl Clone for PrecheckReason

fn clone(&self) -> PrecheckReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PrecheckReason

impl Debug for PrecheckReason

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

Formats the value using the given formatter.

impl Eq for PrecheckReason

impl PartialEq for PrecheckReason

fn eq(&self, other: &PrecheckReason) -> 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 StructuralPartialEq for PrecheckReason