Enum BoundForm 

pub enum BoundForm {
    Sem {
        s: SymbolId,
        p: SymbolId,
        o: Value,
        keywords: BoundKeywords,
    },
    Epi {
        event_id: SymbolId,
        kind: SymbolId,
        participants: Vec<SymbolId>,
        location: SymbolId,
        keywords: BoundKeywords,
    },
    Pro {
        rule_id: SymbolId,
        trigger: Value,
        action: Value,
        keywords: BoundKeywords,
    },
    Inf {
        s: SymbolId,
        p: SymbolId,
        o: Value,
        derived_from: Vec<SymbolId>,
        method: SymbolId,
        keywords: BoundKeywords,
    },
    Alias {
        a: SymbolId,
        b: SymbolId,
    },
    Rename {
        old: SymbolId,
        new: SymbolId,
    },
    Retire {
        name: SymbolId,
        reason: Option<String>,
    },
    Correct {
        target_episode: SymbolId,
        corrected: Box<BoundForm>,
    },
    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 with all RawSymbolNames resolved to SymbolIds and all RawValues converted to typed Values.

Produced by bind. Consumed by the Semantic pipeline stage.

Variants

Sem

Semantic memory write.

Fields

s: SymbolId

Subject.

p: SymbolId

Predicate.

o: Value

Object.

keywords: BoundKeywords

Keyword arguments: src, c, v, optionally projected.

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.

keywords: BoundKeywords

Keyword arguments: at, obs, src, c.

Pro

Procedural memory write.

Fields

rule_id: SymbolId

Stable rule ID.

trigger: Value

Trigger value.

action: Value

Action value.

keywords: BoundKeywords

Keyword arguments: scp, src, c, optional pre.

Inf

Inferential memory write.

Fields

s: SymbolId

Subject.

p: SymbolId

Predicate.

o: Value

Object.

derived_from: Vec<SymbolId>

Parent memory symbols.

method: SymbolId

Registered inference-method symbol.

keywords: BoundKeywords

Keyword arguments: c, v, optional projected.

Alias

Alias declaration.

Fields

a: SymbolId

First symbol.

b: SymbolId

Second symbol.

Rename

Rename — old name becomes alias of new (already canonical).

Fields

old: SymbolId

The previous canonical.

new: SymbolId

The 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

The Episode being corrected.

corrected: Box<BoundForm>

The corrected Episodic body.

Promote

Promote an ephemeral memory to canonical.

Fields

name: SymbolId

The ephemeral memory symbol.

Query

Read-path query.

Fields

selector: Option<Value>

Optional positional selector.

keywords: BoundKeywords

Remaining keyword arguments.

Episode

Explicit Episode-boundary directive (episode-semantics.md § 3.2). :close variants carry no metadata; :start variants may carry any combination of label / parent / retracts.

Fields

action: EpisodeAction

Whether this form opens or closes an Episode.

label: Option<String>

Optional human-readable label — already checked for length during bind so the semantic stage can trust it.

parent_episode: Option<SymbolId>

Resolved parent Episode SymbolId, if set.

retracts: Vec<SymbolId>

Resolved retracted-Episode SymbolIds.

Flag

Pin / unpin / authoritative flag write.

Fields

action: FlagAction

Which flag operation.

memory: SymbolId

The memory being pinned / unpinned / (un)marked.

actor: SymbolId

The invoking agent / operator (required per confidence-decay.md §§ 7 / 8 audit trail).

Trait Implementations

impl Clone for BoundForm

fn clone(&self) -> BoundForm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundForm

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

Formats the value using the given formatter.

impl PartialEq for BoundForm

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