Enum AxisRole 

#[repr(u8)]
pub enum AxisRole {
    Undefined = 0,
    Selector = 1,
    Coordinate = 2,
    Carrier = 3,
    CoordinateCarrier = 4,
}

The role a single tensor axis plays in the .10d distance/query model.

Encoded as a u8 in the header’s axis_roles[10] array. Undefined is the sentinel the parser rejects — a header with any axis left undefined fails closed (the “missing-or-undefined axis role” acceptance gate).

Variants

Undefined = 0

Sentinel for “no role assigned”. The parser rejects any header carrying this value — every axis must declare a concrete role.

Selector = 1

Excluded from every distance sum. q, v, w.

Coordinate = 2

Participates in distance. x, y, z, t, α, σ.

Carrier = 3

In-band provenance lane only (not a coordinate). Reserved for a future taxonomy where μ is carrier-only; not used by the proposed table.

CoordinateCarrier = 4

Dual-role: a COORDINATE that is also the in-band provenance CARRIER. This is μ’s role under the proposed Option A taxonomy — it preserves the foundational promise that provenance/consent can exert geometric proximity or weight during queries.

Implementations

impl AxisRole

pub const fn is_coordinate(self) -> bool

True if this role participates in distance (pure coordinate or the dual-role coordinate+carrier).

pub const fn is_carrier(self) -> bool

True if this role carries the provenance lane.

pub const fn from_u8(raw: u8) -> Option<AxisRole>

Decode a raw u8 back to an AxisRole, or None if the value is not a defined variant. Used by the parser.

Trait Implementations

impl Clone for AxisRole

fn clone(&self) -> AxisRole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AxisRole

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

Formats the value using the given formatter.

impl PartialEq for AxisRole

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

impl Eq for AxisRole

impl StructuralPartialEq for AxisRole