Enum ValidatedForm 

pub enum ValidatedForm {
    Sem {
        s: SymbolId,
        p: SymbolId,
        o: Value,
        source: SymbolId,
        source_kind: SourceKind,
        confidence: Confidence,
        valid_at: ClockTime,
        projected: bool,
    },
    Epi {
        event_id: SymbolId,
        kind: SymbolId,
        participants: Vec<SymbolId>,
        location: SymbolId,
        at_time: ClockTime,
        observed_at: ClockTime,
        source: SymbolId,
        source_kind: SourceKind,
        confidence: Confidence,
    },
    Pro {
        rule_id: SymbolId,
        trigger: Value,
        action: Value,
        precondition: Option<Value>,
        scope: SymbolId,
        source: SymbolId,
        source_kind: SourceKind,
        confidence: Confidence,
    },
    Inf {
        s: SymbolId,
        p: SymbolId,
        o: Value,
        derived_from: Vec<SymbolId>,
        method: SymbolId,
        confidence: Confidence,
        valid_at: ClockTime,
        projected: bool,
    },
    Alias {
        a: SymbolId,
        b: SymbolId,
    },
    Rename {
        old: SymbolId,
        new: SymbolId,
    },
    Retire {
        name: SymbolId,
        reason: Option<String>,
    },
    Correct {
        target_episode: SymbolId,
        corrected: Box<ValidatedForm>,
    },
    Promote {
        name: SymbolId,
    },
    Query {
        selector: Option<Value>,
        keywords: BoundKeywords,
    },
    Episode {
        action: EpisodeAction,
        label: Option<String>,
        parent_episode: Option<SymbolId>,
        retracts: Vec<SymbolId>,
    },
    Flag {
        action: FlagAction,
        memory: SymbolId,
        actor: SymbolId,
    },
}

An AST form after the semantic stage: typed fields are extracted from keyword bags; grounding + confidence + clock invariants are enforced.

Consumed by the canonical-form emitter.

Variants

Sem

Semantic memory write.

Fields

s: SymbolId

Subject symbol.

p: SymbolId

Predicate symbol.

o: Value

Object value.

source: SymbolId

Source symbol (the grounding anchor).

source_kind: SourceKind

Derived grounding kind from the source symbol’s canonical name.

confidence: Confidence

Stored confidence — clamped by source bound.

valid_at: ClockTime

Valid-time.

projected: bool

Whether this memory is a projection about future state.

Epi

Episodic memory write.

Fields

event_id: SymbolId

Stable event ID.

kind: SymbolId

Event-type symbol.

participants: Vec<SymbolId>

Participant symbols (may be empty).

location: SymbolId

Location symbol.

at_time: ClockTime

Event time.

observed_at: ClockTime

Observation time — must be >= at_time.

source: SymbolId

Source symbol (the witness).

source_kind: SourceKind

Derived grounding kind.

confidence: Confidence

Confidence.

Pro

Procedural memory write.

Fields

rule_id: SymbolId

Stable rule ID.

trigger: Value

Trigger value.

action: Value

Action value.

precondition: Option<Value>

Optional precondition.

scope: SymbolId

Scope symbol.

source: SymbolId

Source symbol.

source_kind: SourceKind

Derived grounding kind.

confidence: Confidence

Confidence.

Inf

Inferential memory write.

Fields

s: SymbolId

Subject.

p: SymbolId

Predicate.

o: Value

Object.

derived_from: Vec<SymbolId>

Non-empty list of parent memories.

method: SymbolId

Inference method symbol (validated at bind time).

confidence: Confidence

Confidence.

valid_at: ClockTime

Valid-time.

projected: bool

Projection flag.

Alias

Alias declaration.

Fields

a: SymbolId

First symbol.

b: SymbolId

Second symbol.

Rename

Rename — old name becomes alias of new.

Fields

old: SymbolId

Previous canonical.

new: SymbolId

New canonical.

Retire

Retire a symbol.

Fields

name: SymbolId

Target.

reason: Option<String>

Optional reason.

Correct

Correct a prior Episodic memory.

Fields

target_episode: SymbolId

Target episode.

corrected: Box<ValidatedForm>

Corrected Episodic body.

Promote

Promote an ephemeral memory.

Fields

name: SymbolId

Target symbol.

Query

Read-path query.

Fields

selector: Option<Value>

Optional positional selector.

keywords: BoundKeywords

Remaining keyword arguments (uninterpreted at this stage).

Episode

Explicit Episode-boundary directive — pass-through from bind. The semantic stage enforces “at most one Episode directive per batch” so the emitter can trust the batch carries a single deterministic intent.

Fields

action: EpisodeAction

Open or close.

label: Option<String>

Optional label.

parent_episode: Option<SymbolId>

Optional parent Episode.

retracts: Vec<SymbolId>

Retracted Episodes.

Flag

Pin / unpin / authoritative flag write — pass-through from bind. See confidence-decay.md §§ 7 / 8.

Fields

action: FlagAction

Which flag operation.

memory: SymbolId

Target memory.

actor: SymbolId

Invoking agent / operator.

Trait Implementations

impl Clone for ValidatedForm

fn clone(&self) -> ValidatedForm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatedForm

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

Formats the value using the given formatter.

impl PartialEq for ValidatedForm

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