Enum CalWarning 

pub enum CalWarning {
    UnknownRelation {
        relation: String,
        span: Option<Span>,
    },
    DomainFieldWithoutTag {
        field: String,
        span: Option<Span>,
    },
    UnknownDomainPrefix {
        prefix: String,
        span: Option<Span>,
    },
    UnknownExtensionOption {
        option: String,
        span: Option<Span>,
    },
    DuplicateSetField {
        field: String,
        span: Option<Span>,
    },
    UnusedQueryParam {
        name: String,
        query: String,
        span: Option<Span>,
    },
    DeprecatedPipeOperator {
        span: Option<Span>,
    },
    IsCategoryOnNonRelation {
        field: String,
        category: String,
        span: Option<Span>,
    },
    AssembleUnscopedSource {
        labels: Vec<String>,
        span: Option<Span>,
    },
    UnrecognizedWhereField {
        field: String,
        span: Option<Span>,
    },
    EachIterationCapped {
        rendered: usize,
        total: usize,
        max: usize,
    },
    ContradictionScanBounded {
        scanned: usize,
    },
    WithOptionInert {
        option: &'static str,
        statement: &'static str,
        why: &'static str,
    },
    ScanBounded {
        stage: String,
        scanned: usize,
    },
    PipelineStageInert {
        stage: String,
        payload: &'static str,
        why: &'static str,
    },
}

Non-fatal CAL warnings emitted during parsing or execution.

Variants

UnknownRelation

CAL-W001 — The relation name in a Fact grain is not one of the well-known OMS relations.

Fields

relation: String

span: Option<Span>

DomainFieldWithoutTag

CAL-W002 — A domain-prefixed field was used without a corresponding @tag on the query.

Fields

field: String

span: Option<Span>

UnknownDomainPrefix

CAL-W003 — A domain prefix was not recognised.

Fields

prefix: String

span: Option<Span>

UnknownExtensionOption

CAL-W004 — An extension option in a WITH clause was not recognised and will be ignored.

Fields

option: String

span: Option<Span>

DuplicateSetField

CAL-W005 — A SET field name was specified more than once in the same statement; only the last value is used.

Fields

field: String

span: Option<Span>

UnusedQueryParam

CAL-W006 — A parameter was supplied at the RUN call site but is not referenced in the saved query body.

Fields

name: String

query: String

span: Option<Span>

DeprecatedPipeOperator

CAL-W007 — The bare pipe operator | before pipeline stages is deprecated (removed in CAL 1.1). Use direct clause syntax instead (e.g. RECALL facts ORDER BY confidence DESC LIMIT 10).

Fields

span: Option<Span>

IsCategoryOnNonRelation

CAL-W008 — IS CATEGORY used on a non-relation field. The IS CATEGORY check is only meaningful on the relation field; using it on other fields silently produces no matches.

Fields

field: String

category: String

span: Option<Span>

AssembleUnscopedSource

CAL-W009 — ASSEMBLE sources have inconsistent subject scoping. Some sources filter by subject while others don’t, which may return data from unrelated subjects.

Fields

labels: Vec<String>

span: Option<Span>

UnrecognizedWhereField

CAL-W010 — A WHERE field on an untyped (RECALL all) query is not a recognized field on any grain type. The filter is still applied per grain (matching only grains that carry the field — likely none), so this usually signals a misspelled field name. On a typed recall the same situation is a hard CAL-E060 instead (#91: a filter that cannot be honoured refuses rather than widening).

Fields

field: String

span: Option<Span>

EachIterationCapped

CAL-W011 — A {{#each}} block hit the OMS CAL §10.8 iteration cap, so the rendered output covers only the first max grains. The result set itself is complete; only this rendering is short.

Fields

rendered: usize

total: usize

max: usize

ContradictionScanBounded

CAL-W012 — A CONTRADICTIONS query’s candidate scan hit the executor’s max_limit, so grains past it were never examined for fork status.

This exists because the useful answer to CONTRADICTIONS is often the empty one, and an agent may act on it. “Nothing is contested” and “nothing among the first N is contested” are different claims; without this warning the second would be indistinguishable from the first.

Fields

scanned: usize

WithOptionInert

CAL-W014 — A WITH option parsed and ran, but does nothing on the statement it was attached to.

§5 promises that an option needing an unavailable backend “returns an honest error rather than silently degrading”. Several did neither: they parsed, ran, and returned output byte-identical to the same query without them. A hard error would break callers who have been passing these since 1.0, so the honest form is a warning that names the option and the surface — silence was the actual defect.

Fields

option: &'static str

statement: &'static str

why: &'static str

ScanBounded

CAL-W015 — A post-retrieval stage (ORDER BY, a type-specific WHERE filter, COUNT) widened its scan to the executor’s max_limit and still filled it, so it ranked/filtered/counted a bounded window rather than the whole matching set.

The sibling of ContradictionScanBounded, generalized. ORDER BY sorts the grains a statement already returned; without widening, that is a page of default_limit rows, so ORDER BY priority DESC LIMIT 5 returned the top 5 of the newest 50 and looked exactly like the top 5 overall. Widening fixes every corpus up to max_limit; past that the only honest thing left is to say so, because the answer is still a well-formed list that happens to be wrong.

Fields

stage: String

What forced the wide scan — “ORDER BY priority”, “WHERE tool_name”, “COUNT”.

scanned: usize

PipelineStageInert

CAL-W016 — A pipeline stage was attached to a payload it cannot act on (e.g. ORDER BY on a multi-source ASSEMBLE, which returns an assembled section list rather than a flat grain list).

These used to hit a catch-all passthrough arm and vanish with no error and no warning, which contradicts docs/cal-reference.md §5: silence means the option did something. Ordering an assembly is exactly the case a host reaches for when rendering authored instruction blocks in an intended order — and it was the one case that silently did nothing.

Fields

stage: String

payload: &'static str

why: &'static str

Implementations

impl CalWarning

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

Return the CAL spec warning code.

pub fn span(&self) -> Option<Span>

Return the source span, if one was recorded.

Trait Implementations

impl Clone for CalWarning

fn clone(&self) -> CalWarning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CalWarning

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

Formats the value using the given formatter.

impl Display for CalWarning

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

Formats the value using the given formatter.

impl PartialEq for CalWarning

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CalWarning