Enum AxCode 

pub enum AxCode {
    PathNotFound,
    ToolUnknown,
    ToolUnavailable,
    InvalidArgs,
    OutsideWriteDomain,
    VersionConflict,
    GateDenied,
    BudgetExhausted,
    Timeout,
    Provider,
    EvidenceMissing,
    LoopSuspected,
    LocatorInvalid,
    SandboxDenied,
    Busy,
    DraftStale,
    GoalConflict,
    TaintedAction,
    RepairBusy,
    DelegationDepth,
    ApprovalPending,
    ApprovalDenied,
    CrossBuildingDenied,
    DigestSuspect,
    CredentialMissing,
    ModelUnchosen,
    ConfigInvalid,
    CasCorrupt,
    StorageFatal,
    WorktreeBusy,
    BrowserUnavailable,
    EndpointDialectUnsupported,
    WireMismatch,
    LogVersionUnsupported,
    LedgerHeld,
    HistoryUnproven,
    SecretEgress,
    DiscardIrreversible,
    BackpressureShed,
    ToolOutcomeUnknown,
    PlanMissing,
    ProviderAccountsExhausted,
    AuthRequired,
    PairingRefused,
}

Closed set of error codes. Extension is additive only; the wire spelling lives in AxCode::as_str.

Variants

PathNotFound

ToolUnknown

ToolUnavailable

InvalidArgs

OutsideWriteDomain

VersionConflict

GateDenied

BudgetExhausted

Timeout

Provider

EvidenceMissing

LoopSuspected

LocatorInvalid

SandboxDenied

Busy

The address or resource this names is taken right now.

Distinct from WorktreeBusy and RepairBusy, which are about those two mechanisms in particular: this one says a run is working where the caller wants to act, and names the run so the caller can stop it and act.

DraftStale

GoalConflict

TaintedAction

RepairBusy

DelegationDepth

ApprovalPending

ApprovalDenied

CrossBuildingDenied

DigestSuspect

CredentialMissing

ModelUnchosen

No model is chosen for the tag a caller asked for. Apart from ConfigInvalid because its recovery differs: a new city starts here and is sent to the settings page, while ConfigInvalid also answers a room whose frozen model changed, which a new session recovers.

ConfigInvalid

CasCorrupt

StorageFatal

WorktreeBusy

BrowserUnavailable

EndpointDialectUnsupported

WireMismatch

LogVersionUnsupported

LedgerHeld

Another process holds this city’s Ledger for writing. Loadtime, because the process it refuses is the one that may not write.

HistoryUnproven

A served city is still proving the history it opened from, and its writer takes no line until the proof is whole. Loadtime for the same reason as LedgerHeld: the refused process may not write yet (crates/storage/Spec.lean §8-30).

SecretEgress

DiscardIrreversible

BackpressureShed

ToolOutcomeUnknown

PlanMissing

ProviderAccountsExhausted

AuthRequired

PairingRefused

Implementations

impl AxCode

pub const ALL: [AxCode; 44]

Every code, in the order the SPEC table lists them. Data face for tests and xtask specalign.

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

The wire spelling. Sole spelling authority; serde and Display reuse it.

pub fn parse(raw: &str) -> Option<AxCode>

Wire spelling back to code; None is the caller’s fail-closed branch.

pub fn carrier(&self) -> Carrier

The carrier declaration (C9): which event carries this code into history. Sole declaration site, exhaustive on purpose — a new code without a carrier decision is a compile error. The loadtime arm is the closed whitelist of codes that arise only while this process cannot write the Ledger; crates/kernel/Spec.lean §12 gives each one’s reason.

Trait Implementations

impl Clone for AxCode

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AxCode

impl Debug for AxCode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AxCode

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Display for AxCode

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

Formats the value using the given formatter.

impl Eq for AxCode

impl Ord for AxCode

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for AxCode

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for AxCode

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for AxCode

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AxCode