edges

View as Markdown Open in ChatGPT Open in Claude Open in Claude Code Open in Cursor

Type Aliases

Edge

1
type Edge = typeof Edge.Type;

One edge. derived separates a sleep-mined suspicion from an authored assertion: the retention contested_status signal counts only derived: false contradictions, so an uncorroborated machine guess can never evict a memory.

strength is unitless in [0, 1]; an authored edge is 1.0 and a mined one carries its cosine. srcPath/dstPath are repo-root-relative with no leading slash.

EdgeClass

1
type EdgeClass = typeof EdgeClass.Type;

EdgeProvenance

1
type EdgeProvenance = typeof EdgeProvenance.Type;

EdgeRel

1
type EdgeRel = typeof EdgeRel.Type;

MemoryRel

1
type MemoryRel = typeof MemoryRel.Type;

PersonRel

1
type PersonRel = typeof PersonRel.Type;

ProvenanceRel

1
type ProvenanceRel = typeof ProvenanceRel.Type;

TaskRel

1
type TaskRel = typeof TaskRel.Type;

Variables

ALL_RELS

1
const ALL_RELS: readonly ["supersedes", "contradicts", "caused_by", "leads_to", "part_of", "relates_to", "example_of", "supports", "laterally_related", "about_person", "authored_by", "from_session", "blocks", "subtask_of"];

Every rel across all four classes. The edges.rel column’s full vocabulary.

Edge

1
const Edge: Struct<{
2
  derived: Boolean;
3
  dstPath: String;
4
  edgeClass: Literals<readonly ["memory", "person", "provenance", "task"]>;
5
  provenance: Literals<readonly ["authored", "sleep", "import"]>;
6
  rel: Literals<readonly ["supersedes", "contradicts", "caused_by", "leads_to", "part_of", "relates_to", "example_of", "supports", "laterally_related", "about_person", "authored_by", "from_session", "blocks", "subtask_of"]>;
7
  srcPath: String;
8
  strength: Number;
9
}>;

strength is unitless in [0, 1]; an authored edge is 1.0 and a mined one carries its cosine. srcPath/dstPath are repo-root-relative with no leading slash.

EDGE_CLASSES

1
const EDGE_CLASSES: readonly ["memory", "person", "provenance", "task"];

The four non-mixing edge classes. The class is what keeps a person or task edge out of PageRank, MMR, and the retention bridge count. Every memory-graph query filters edge_class = 'memory', and the SQL CHECK constraint refuses a rel that belongs to another class.

EDGE_PROVENANCES

1
const EDGE_PROVENANCES: readonly ["authored", "sleep", "import"];

Where an edge came from. derived edges are only ever sleep-provenanced.

EdgeClass

1
const EdgeClass: Literals<readonly ["memory", "person", "provenance", "task"]>;

EdgeProvenance

1
const EdgeProvenance: Literals<readonly ["authored", "sleep", "import"]>;

EdgeRel

1
const EdgeRel: Literals<readonly ["supersedes", "contradicts", "caused_by", "leads_to", "part_of", "relates_to", "example_of", "supports", "laterally_related", "about_person", "authored_by", "from_session", "blocks", "subtask_of"]>;

MEMORY_RELS

1
const MEMORY_RELS: readonly ["supersedes", "contradicts", "caused_by", "leads_to", "part_of", "relates_to", "example_of", "supports", "laterally_related"];

The nine memory rels. supersedes and contradicts are penalty-bearing: they gate the retention contested_status signal, so sleep promotes a corroborated one into both files rather than leaving it in the rebuildable index.

MemoryRel

1
const MemoryRel: Literals<readonly ["supersedes", "contradicts", "caused_by", "leads_to", "part_of", "relates_to", "example_of", "supports", "laterally_related"]>;

PERSON_RELS

1
const PERSON_RELS: readonly ["about_person", "authored_by"];

The two person rels, pointing at resources/people/*.

PersonRel

1
const PersonRel: Literals<readonly ["about_person", "authored_by"]>;

PROVENANCE_RELS

1
const PROVENANCE_RELS: readonly ["from_session"];

The one provenance rel, linking a memory to the session that produced it.

ProvenanceRel

1
const ProvenanceRel: Literals<readonly ["from_session"]>;

REL_TOKEN_PREFIX

1
const REL_TOKEN_PREFIX: "memhtml-" = "memhtml-";

A <link rel> token, which is the rel prefixed for the HTML plane. rel tokens cannot hold a colon, so the prefix is hyphenated and the rel’s own underscores become hyphens: laterally_related ⇒ memhtml-laterally-related.

TASK_RELS

1
const TASK_RELS: readonly ["blocks", "subtask_of"];

The two task rels, both between two task files.

Their own class for the same reason the person rels have one: task topology is working state, and a blocks edge entering PageRank would let an agent’s to-do list reweight the retention of its knowledge. @memhtml/store’s linkMemories refuses a task rel unless BOTH endpoints are tasks, and the edges CHECK refuses the rel under any other class.

TaskRel

1
const TaskRel: Literals<readonly ["blocks", "subtask_of"]>;

Functions

isEdgeRel()

1
function isEdgeRel(rel): rel is "supersedes" | "contradicts" | "caused_by" | "leads_to" | "part_of" | "relates_to" | "example_of" | "supports" | "laterally_related" | "about_person" | "authored_by" | "from_session" | "blocks" | "subtask_of";

True when rel is in the closed vocabulary. Narrows an untrusted string.

Parameters

rel

string

Returns

isWellFormedEdge()

1
function isWellFormedEdge(edge): boolean;

True when an edge’s declared class matches its rel and it is not a self-loop, the two conditions the edges table’s CHECK constraints enforce, stated once here so a caller can refuse a bad edge before the driver does.

Parameters

edge

derived

boolean = Schema.Boolean

dstPath

string = Schema.String

edgeClass

"memory" | "person" | "provenance" | "task" = EdgeClass

provenance

"authored" | "sleep" | "import" = EdgeProvenance

rel

srcPath

string = Schema.String

strength

number = ...

Returns

boolean

relClassFor()

1
function relClassFor(rel): "memory" | "person" | "provenance" | "task";

The class a rel belongs to. Total over ALL_RELS and injective per class: a rel name appears in exactly one class, which is what lets the class be derived rather than carried alongside the rel and risk disagreeing with it.

Parameters

rel

Returns

"memory" | "person" | "provenance" | "task"

relForToken()

1
function relForToken(token):
2
  | "supersedes"
3
  | "contradicts"
4
  | "caused_by"
5
  | "leads_to"
6
  | "part_of"
7
  | "relates_to"
8
  | "example_of"
9
  | "supports"
10
  | "laterally_related"
11
  | "about_person"
12
  | "authored_by"
13
  | "from_session"
14
  | "blocks"
15
  | "subtask_of"
16
  | undefined;

The rel behind a <link rel> token, or undefined when the token is outside the closed vocabulary. Inverse of relTokenFor on its image.

Parameters

token

string

Returns

relsForClass()

1
function relsForClass(edgeClass): readonly (
2
  | "supersedes"
3
  | "contradicts"
4
  | "caused_by"
5
  | "leads_to"
6
  | "part_of"
7
  | "relates_to"
8
  | "example_of"
9
  | "supports"
10
  | "laterally_related"
11
  | "about_person"
12
  | "authored_by"
13
  | "from_session"
14
  | "blocks"
15
  | "subtask_of")[];

The rels of one class. The inverse of relClassFor, as a set.

Parameters

edgeClass

"memory" | "person" | "provenance" | "task"

Returns

relTokenFor()

1
function relTokenFor(rel): string;

The HTML <link rel> token for a rel.

Parameters

rel

Returns

string