In MRP-VM, knowledge is an actively governed store of Context Units expressed in Context CNL. See DS008.
data/kb/| Store | Scope | Lifetime | Source |
|---|---|---|---|
| Session Context | Per-session | Until session expires (30min) | Extracted from user messages each turn |
| Persistent KB | Global | Until source deleted | Ingested documents (.md, .txt) |
Both stores are searched by the same retrieval strategies. Session evidence gets a 1.15× boost. See Session Lifecycle.
Two complementary strategies find evidence. For full technical details see Retrieval Algorithms.
| Strategy | Type | Strength |
|---|---|---|
| BM25 | Lexical (term frequency) | Precise on exact token matches |
| HDC/VSA | Associative (hypervectors) | Structural similarity when lexical overlap is partial |
KB plugins control the precision/recall tradeoff:
| KB Plugin | Strategies | Results | Use Case |
|---|---|---|---|
kb-fast | BM25 only | Top 3 | Simple questions, max precision |
kb-balanced | BM25 + HDC escalation | Top 7 | Default, good tradeoff |
kb-thinkingdb | BM25 + bounded symbolic expansion | Top 8 | Multi-hop or relation-sensitive retrieval |
kb-thinkingdb is the current symbolic expansion path specified in DS025. A separate symbolic execution strategy ThinkingDB for stronger constraint-based pruning is still future work.