Enum MemAddr 

pub enum MemAddr {
    Note {
        id: String,
    },
    Turn {
        conversation: String,
        seq: i64,
    },
    Compaction {
        id: String,
    },
    Spill {
        id: String,
    },
}

A parsed, tagged memory address. Each variant resolves against its own surface (Self::Note/Self::Turn read existing stores; Self::Spill/ Self::Compaction read session-scoped redacted stores).

Variants

Note

note:<id> — the verbatim body of one crate::notes::NoteStore entry, addressed by the 1-based id the memory index renders.

Fields

id: String

Turn

turn:<conv>#<seq> — one past crate::store::ConversationStore turn’s verbatim user/assistant text, §6-ordered by seq (never re-sorted by clock).

Fields

conversation: String

seq: i64

Compaction

compaction:<id> — the verbatim (redacted) middle span the compressor evicted, retrievable losslessly from the session compaction store (#661 group B). Session-scoped; expires at /new.

Fields

id: String

Spill

spill:<id> — the full (redacted) payload of a tool result that was offloaded by the tool_offload feature (Step 26.3, #584). Session-scoped.

Fields

id: String

Implementations

impl MemAddr

pub fn parse(raw: &str) -> Option<Self>

Parse a tagged address. Returns None for anything that does not match note:…, turn:…#…, or compaction:… — the executor turns a None into coaching, never an error.

Trait Implementations

impl Clone for MemAddr

fn clone(&self) -> MemAddr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemAddr

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

Formats the value using the given formatter.

impl Eq for MemAddr

impl PartialEq for MemAddr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MemAddr