Enum StoreColumnSchema 

pub enum StoreColumnSchema {
    Inline {
        columns: Vec<StoreColumn>,
        leading_trivia: Vec<Trivia>,
        line: u32,
        column: u32,
    },
    ManifestRef {
        qualified_name: String,
        line: u32,
        column: u32,
    },
    EnvVar {
        var_name: String,
        line: u32,
        column: u32,
    },
}

§Fase 38.b (D1) — the three closed forms an axonstore may declare its column schema in. The AST captures the form; the §38.d / §38.e StoreColumnProof pass consumes the resolved column set (regardless of form) and proves every store reference against it.

pub so consumers (the type-checker, the runtime registry, the LSP) can match exhaustively. Variants are #[non_exhaustive]-style only at the doc level — additions go through a plan ratification per the founder discipline.

Variants

Inline

Form (a) — schema { col: Type [constraint…], … }.

Fields

columns: Vec<StoreColumn>

leading_trivia: Vec<Trivia>

Trivia attached to the opening schema keyword.

line: u32

column: u32

ManifestRef

Form (b) — schema: "qualified.name". The qualified name resolves against a checked-in manifest entry (.axon-schema.yml / .axon-schema.json) at axon check time.

Fields

qualified_name: String

line: u32

column: u32

EnvVar

Form (c) — schema: env:VAR (or quoted schema: "env:VAR"). The env-var resolves to the schema NAMESPACE at deploy time; the manifest then provides the column set for <namespace>.<table>.

Fields

var_name: String

The env-var name (no env: prefix; the prefix was stripped at parse time).

line: u32

column: u32

Implementations

impl StoreColumnSchema

pub fn is_inline(&self) -> bool

true iff this is the inline form. Convenience for the §38.d / §38.e type-checker, which can short-circuit a manifest lookup when the columns are already in the AST.

pub fn inline_columns(&self) -> Option<&[StoreColumn]>

Returns the inline columns when the form is inline; None otherwise. The type-checker uses this to obtain the column set without a manifest round-trip.

pub fn loc(&self) -> (u32, u32)

The source location of the schema keyword, for diagnostic rendering (the Fase 28 source-context block points at this).

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

A short form name ("inline" / "manifest_ref" / "env_var") for diagnostic prose + the IR’s tagged-union serialization.

Trait Implementations

impl Clone for StoreColumnSchema

fn clone(&self) -> StoreColumnSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StoreColumnSchema

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

Formats the value using the given formatter.