Enum EmitError 

pub enum EmitError {
    Unsupported {
        form: &'static str,
    },
    MemoryIdAllocation {
        name: String,
        cause: BindError,
    },
    SemanticSupersessionConflict {
        s: SymbolId,
        p: SymbolId,
        valid_at: ClockTime,
        existing: SymbolId,
    },
    InferentialSupersessionConflict {
        s: SymbolId,
        p: SymbolId,
        valid_at: ClockTime,
        existing: SymbolId,
    },
    SupersessionDag(DagError),
    ProceduralSupersessionConflict {
        rule_id: SymbolId,
        existing: SymbolId,
    },
}

Errors produced by the Emit stage. An EmitError always means an invariant should have been caught earlier or the form is not yet supported at this milestone.

Variants

Unsupported

A form shape is not yet wired to a canonical record. See the module-level scope notes for which forms emit records in this milestone.

Fields

form: &'static str

Form name (alias, rename, retire, correct, promote, query).

MemoryIdAllocation

Allocating the synthesized __mem_{n} symbol failed. The only realistic cause is a name collision with an agent-emitted symbol that used the reserved __mem_ prefix, which would itself be a prior bug; preserved as a typed variant for diagnosability.

Fields

name: String

The synthesized name that collided.

cause: BindError

Underlying bind error.

SemanticSupersessionConflict

Two Semantic writes land at the same (s, p) with identical valid_at. Per temporal-model.md § 5.1 two memories cannot both be authoritative at the same conflict key and identical validity start under the single-writer invariant — surface as a deterministic emit-time error so the agent can correct the valid_at or choose a different (s, p).

Fields

s: SymbolId

Subject of the conflicting write.

p: SymbolId

Predicate of the conflicting write.

valid_at: ClockTime

Shared valid_at that triggered the conflict.

existing: SymbolId

Memory ID of the existing current-state memory.

InferentialSupersessionConflict

Two Inferential writes land at the same (s, p) with identical valid_at. Per temporal-model.md § 5.4 Inferential supersession mirrors Semantic § 5.1 — equal valid_at against the same (s, p) is a deterministic write conflict the agent must resolve by choosing a distinct valid_at or re-keying.

Fields

s: SymbolId

Subject of the conflicting write.

p: SymbolId

Predicate of the conflicting write.

valid_at: ClockTime

Shared valid_at that triggered the conflict.

existing: SymbolId

Memory ID of the existing current-state memory.

SupersessionDag(DagError)

An auto-supersession edge failed the DAG’s acyclicity check. Cannot happen from auto-supersession alone (new memories have fresh IDs that cannot appear as ancestors), but the DAG’s contract surfaces any violation rather than silently accepting.

ProceduralSupersessionConflict

Two Procedural writes in the same batch land on overlapping supersession keys (same rule_id or same (trigger, scope)). They would share committed_at per § 9.2 monotonic-batch semantics, producing a zero-duration Supersedes edge. Per the Semantic analog at § 5.1 this is a deterministic write conflict rather than a silent accept — the agent should split the batch or choose distinct keys.

Fields

rule_id: SymbolId

The rule_id under conflict.

existing: SymbolId

The first in-batch Pro memory that occupies the key.

Trait Implementations

impl Debug for EmitError

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

Formats the value using the given formatter.

impl Display for EmitError

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

Formats the value using the given formatter.

impl Error for EmitError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl From<DagError> for EmitError

fn from(source: DagError) -> Self

Converts to this type from the input type.

impl From<EmitError> for PipelineError

fn from(source: EmitError) -> Self

Converts to this type from the input type.

impl PartialEq for EmitError

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