TraceWeave is Hikmah Stack's human-inspired, machine-auditable memory architecture. It borrows principles from biological memory research without claiming to reproduce a brain.
Recent research supports several useful design ideas: memory representations can change during consolidation; replay can reactivate past experience; human hippocampal-entorhinal neurons encode temporal structure; and recall/consolidation are selective rather than a perfect recording. These findings motivate dynamic association, replay, selectivity, and reconstruction, not a literal neuron simulator.
Research notes and limitations are recorded in RESEARCH.md.
Hikmah stores different cognitive responsibilities as different trace kinds:
| Trace | Human analogue | Purpose |
|---|---|---|
observation |
perceptual/working input | a directly observed piece of current evidence |
episode |
episodic memory | what happened in a bounded event or session |
belief |
semantic memory | a proposition believed with explicit provenance/confidence |
procedure |
procedural memory | a reusable method or playbook |
commitment |
prospective memory | something that must happen later, optionally with a deadline |
preference |
personal/contextual preference | a stable preference, scoped and revisable |
constraint |
task/environment boundary | a condition that must remain true |
outcome |
feedback memory | what actually happened after an action |
correction |
reconsolidation input | evidence that updates or supersedes a prior trace |
Every trace can carry:
- stable ID;
- kind;
- content;
- tags;
- creation time and optional deadline;
- salience;
- confidence;
- privacy class;
- provenance source, locator, authority, and verification flag;
- optional structured
claim_key/claim_value; - optional
supersedeslink for correction.
The point is not metadata maximalism. The point is to retain the minimum information required to answer: what do we think we know, why, from where, when, how strongly, and what changed it?
TraceWeave does not store permanent semantic edges. A query produces a temporary activation path using several channels:
R = lexical + tag + recency + salience + confidence + provenance + prospective urgency
Weights are explicit in runtime/hikmah-kernel/src/recall.rs and therefore inspectable. The current implementation uses deterministic token overlap, not embeddings. An embedding/local-model channel may be added later behind an adapter, but it cannot replace provenance or contradiction controls.
After scoring, suppression reduces redundant near-duplicate recalls. The result is a small, diverse working set rather than a dump of everything vaguely related.
Consolidation is not “summarize chat and save it.” Replay should inspect repeated episodes/observations, independent sources, outcomes, corrections, and contradictions. The reference kernel now groups compatible structured claims, counts independent sources, measures verification/confidence, and emits ConsolidationProposal records. Conflicting values prevent automatic eligibility. Durable promotion remains explicit.
Important design rule: replay produces a proposal; it does not silently manufacture truth.
A correction should not mutate yesterday's record in place. The system writes a new trace, records what it supersedes, and keeps the old trace marked superseded. This preserves both the current state and the history of how it changed.
Human forgetting is not equivalent to deleting a row. Hikmah separates:
- accessibility decay: older, low-salience traces receive less recall weight;
- supersession: old beliefs stop being active when replaced;
- retention deletion: privacy/legal deletion is a storage operation, not a cognitive heuristic.
The current append-only reference ledger deliberately refuses sensitive persistence unless policy explicitly enables it. A production deployment that stores sensitive payloads should use an encrypted vault with key destruction or another deletion-capable storage layer. Tamper evidence and right-to-delete must be designed together rather than hand-waved.
The policy defines a bounded working-set limit. The agent should deliberate over the smallest set of traces that changes the decision. More context is not automatically more cognition.
Commitments are first-class traces. Deadline proximity contributes to recall, so “remember to do X” can become an inspectable pending obligation rather than a sentence that vanishes after context compaction.
Before durable memory writes:
- distinguish user statement from verified external fact;
- keep source/authority separate from confidence;
- do not auto-promote model output into belief;
- quarantine contradictory or suspicious claims rather than overwriting;
- never persist secrets merely because they appeared in conversation;
- scope preferences to the person/project/context that supplied them;
- attach outcomes to prior actions so failed plans do not become success-pattern memories.