Enum MemoryLinkRelation 

pub enum MemoryLinkRelation {
    RelatedTo,
    Supersedes,
    Contradicts,
    DerivedFrom,
    ReflectsOn,
    DerivesFrom,
}

v0.7.0 fix campaign R1-M4 — typed relation closed-set for memory_links.relation. Paired with the SQL-side CHECK constraint added by the same R1-M4 migration: defense-in-depth so direct-SQL writers can no longer slip an unknown relation past the Rust validator.

#[serde(rename_all = "snake_case")] keeps the wire shape and the memory_links.relation TEXT column byte-identical to the values the v0.6.x codebase already writes ("related_to", "supersedes", "contradicts", "derived_from", "reflects_on", plus the v0.7.0 WT-1-A addition "derives_from" — distinct from "derived_from" as the atomisation-provenance variant). The MemoryLinkRelation::from_str / MemoryLinkRelation::as_str helpers exist because the column is read as a String in many call sites that are not deserialising through serde (e.g. rusqlite::Row::get).

Variants

RelatedTo

Generic association. Default for LinkBody::resolved and the INSERT default in the SQL schema.

Supersedes

Source supersedes target (newer / authoritative version).

Contradicts

Source contradicts target (incompatible claims).

DerivedFrom

Source is derived from target (consolidation provenance).

ReflectsOn

Source is a reflection on target (recursive-learning provenance, v0.7.0 Task 1/8).

DerivesFrom

Source is an atomisation derivative of target — the typed, signable, federation-safe expression of the structural memories.atom_of FK introduced in v0.7.0 WT-1-A (schema v36 sqlite / v35 postgres). Atom row -> parent memory. Participates in find_paths traversal alongside the other relations. Distinct from DerivedFrom (consolidation provenance): atomisation is a finer-grained, recoverable split that emits one derives_from edge per atom; consolidation merges several memories into one and emits derived_from edges from the consolidated memory back to each source.

Implementations

impl MemoryLinkRelation

pub const COUNT: usize = 6

Total number of MemoryLinkRelation variants. SSOT for the “ai-memory supports N typed link relations at v0.7.0” narrative in CLAUDE.md / README.md / ROADMAP.md / release-notes — adding a new variant requires bumping this const AND the [all()] slice in the same commit, or the parity test pin in tests/memory_link_relation_count_invariant.rs fails the build.

pub fn from_str(s: &str) -> Option<Self>

Parse the string form stored in memory_links.relation.

Returns None for unknown values so callers can decide whether to reject with a typed error or fall back to a default. The canonical strings are the SQL-side CHECK constraint membership list — keep this list in sync with the migration.

pub const fn as_str(&self) -> &'static str

Canonical wire string for this variant. Mirrors the serde rename_all and the literals every existing call site already writes to the DB.

pub const fn default_relation() -> Self

Canonical default — matches the DEFAULT 'related_to' clause on memory_links.relation in the schema and the fallback in LinkBody::resolved.

pub const fn all() -> &'static [Self; 6]

Canonical enumeration of every variant in declaration order (related_to, supersedes, contradicts, derived_from, reflects_on, derives_from). Use this anywhere external code would otherwise hand-roll the list — kg traversal, federation peer-handshake, capability advertisement, parity tests. The length == COUNT invariant is pinned by tests/memory_link_relation_count_invariant.rs.

Trait Implementations

impl Clone for MemoryLinkRelation

fn clone(&self) -> MemoryLinkRelation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MemoryLinkRelation

impl Debug for MemoryLinkRelation

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

Formats the value using the given formatter.

impl Default for MemoryLinkRelation

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MemoryLinkRelation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for MemoryLinkRelation

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

Formats the value using the given formatter.

impl Eq for MemoryLinkRelation

impl FromStr for MemoryLinkRelation

type Err = String

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for MemoryLinkRelation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MemoryLinkRelation

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for MemoryLinkRelation