{
  "rows": [
    {
      "id": "context-mmu",
      "canonical": "context-MMU (ctxmmu)",
      "family": "context-ctx",
      "kind": "subsystem",
      "definition": "A write-time (post-tool) gate on tool RESULTS that decides if bytes enter context as-is, must be quarantined, or paged out to a pointer.",
      "distinction": "Gates RESULT BYTES on the text side - NOT KV-MMU (which evicts K/V spans on the attention side) and NOT recall (the persisted core dump).",
      "distinct_from": ["kv-mmu", "recall"],
      "aliases": ["ctxmmu"],
      "grounding": "ctxmmu",
      "grounding_kind": "path",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "kv-mmu",
      "canonical": "KV-MMU (kvmmu)",
      "family": "context-ctx",
      "kind": "subsystem",
      "definition": "The bridge that turns ctxmmu's logical quarantine verdict into a mechanical one by evicting K/V spans from the kernel's attention cache.",
      "distinction": "Evicts K/V spans on the ATTENTION side - NOT context-MMU (which gates result bytes on the text side) and NOT the KV cache (the storage it evicts from).",
      "distinct_from": ["context-mmu", "kv-cache"],
      "aliases": ["kvmmu"],
      "grounding": "kvmmu",
      "grounding_kind": "path",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "recall",
      "canonical": "recall (session core dump)",
      "family": "context-ctx",
      "kind": "subsystem",
      "definition": "The persisted session core-dump: a page table over a content-addressed swap device, reloadable in a fresh process where a sealed page stays sealed.",
      "distinction": "PERSISTENCE of a finished session - NOT compaction (provider prefix reuse on the wire) and NOT context-MMU (the live result gate).",
      "distinct_from": ["compaction", "context-mmu"],
      "aliases": ["core dump"],
      "grounding": "recall",
      "grounding_kind": "path",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "compaction",
      "canonical": "compaction",
      "family": "context-ctx",
      "kind": "concept",
      "definition": "Provider prefix reuse on the wire: re-sending a byte-identical prefix so the provider serves it from its prompt cache instead of re-prefilling.",
      "distinction": "REUSE on the wire - NOT recall (persisting a finished session) and NOT context-MMU (gating result bytes into context).",
      "distinct_from": ["recall", "context-mmu"],
      "aliases": [],
      "grounding": "compaction",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": ["compaction vs provider prompt-cache reuse is defined-only"]
    },
    {
      "id": "ctxplan",
      "canonical": "ctxplan (context planner)",
      "family": "context-ctx",
      "kind": "subsystem",
      "definition": "The planner that forecasts the bounded resident working set of context spans for a session and learns from witnessed attention outcomes.",
      "distinction": "PLANS the resident working set - NOT context-MMU (the per-result admission gate) and NOT recall (the persisted image).",
      "distinct_from": ["context-mmu", "recall"],
      "aliases": [],
      "grounding": "ctxplan",
      "grounding_kind": "path",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": ["the ctx* planner family is defined-only, not yet in the glossary"]
    },
    {
      "id": "contextq",
      "canonical": "contextq (materializer)",
      "family": "context-ctx",
      "kind": "subsystem",
      "definition": "On-demand context materializer: turns a search query into typed handles, materialization verdicts, omissions, and a render plan over CDB images.",
      "distinction": "The MATERIALIZER that turns a query into handles - NOT ctxplan (the optimizer that picks which spans keep resident under budget).",
      "distinct_from": ["ctxplan", "recall"],
      "aliases": [],
      "grounding": "contextq",
      "grounding_kind": "path",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": ["contextq (materializer) vs ctxplan (optimizer) is defined-only"]
    },
    {
      "id": "ctxviewplanner",
      "canonical": "CtxViewPlanner",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "Stateless, shared context-view planner wired to the gateway: one per server, shared across all requests, disabled by default.",
      "distinction": "The STATELESS shared planner seam - NOT SessionPlanner (the stateful per-session planner) and NOT ctxplan (the optimizer it drives).",
      "distinct_from": ["session-planner", "ctxplan"],
      "aliases": [],
      "grounding": "ctxviewplanner",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": ["stateless CtxViewPlanner vs stateful SessionPlanner is defined-only"]
    },
    {
      "id": "compactionview",
      "canonical": "CompactionView",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "A LOSSY compaction model: strips recovery handles off elided spans to show token savings without recoverability.",
      "distinction": "The LOSSY savings model - NOT compaction (provider prefix reuse on the wire) and NOT recall (the lossless core dump).",
      "distinct_from": ["compaction", "recall"],
      "aliases": [],
      "grounding": "compactionview",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "compaction",
      "verdict": "crystal",
      "gaps": ["CompactionView (lossy model) vs compaction (wire reuse) is defined-only"]
    },
    {
      "id": "speculationcontext",
      "canonical": "SpeculationContext",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "Transient state for brainstorm epochs: (Speculative, Epoch, ParentEpoch) marking provisional effects produced under speculation.",
      "distinction": "Provisional brainstorm-epoch STATE - NOT the context-MMU trust decision and NOT a persisted recall page.",
      "distinct_from": ["context-mmu", "recall"],
      "aliases": [],
      "grounding": "speculationcontext",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "",
      "verdict": "defined",
      "gaps": ["SpeculationContext (epoch state) vs the trust gate is defined-only"]
    },
    {
      "id": "contextchangerequest",
      "canonical": "ContextChangeRequest",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "Negative-only context mutation request: one persisted recall-page tombstone with reason, requestor, and witness.",
      "distinction": "A negative-only TOMBSTONE request - NOT contextq (which materializes spans IN) and NOT recall (the store it tombstones against).",
      "distinct_from": ["contextq", "recall"],
      "aliases": [],
      "grounding": "contextchangerequest",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "",
      "verdict": "defined",
      "gaps": ["ContextChangeRequest (negative-only) vs contextq (materialize-in) is defined-only"]
    },
    {
      "id": "recallproof",
      "canonical": "RecallProof",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "Self-describing proof of a recall cost calculation: shows the gate's work (PrefixTokens, UnitTokens, ReadMult, siblings, cost breakdown).",
      "distinction": "The PROOF artifact of a recall cost gate - NOT ProveRecall (the function that produces it) and NOT recall (the subsystem it prices).",
      "distinct_from": ["prove-recall", "recall"],
      "aliases": [],
      "grounding": "recallproof",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "recall",
      "verdict": "defined",
      "gaps": ["RecallProof (artifact) vs ProveRecall (function) is defined-only"]
    },
    {
      "id": "prove-recall",
      "canonical": "ProveRecall",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "Pure function that runs the recall cost gate over its inputs and returns a RecallProof showing the gate's work.",
      "distinction": "The pure FUNCTION that computes the proof - NOT RecallProof (the artifact it returns) and NOT recall (the subsystem).",
      "distinct_from": ["recallproof", "recall"],
      "aliases": [],
      "grounding": "proverecall",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "recall",
      "verdict": "defined",
      "gaps": ["ProveRecall (function) vs RecallProof (artifact) is defined-only"]
    },
    {
      "id": "ctxview",
      "canonical": "CtxView",
      "family": "context-ctx",
      "kind": "concept",
      "definition": "A planned, budgeted view of context the CtxViewPlanner selects for one turn within a token budget.",
      "distinction": "The SELECTED VIEW for a turn - NOT CtxViewPlanner (which selects it) and NOT contextq (which materializes raw handles).",
      "distinct_from": ["ctxviewplanner", "contextq"],
      "aliases": [],
      "grounding": "ctxview",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "ctxviewplanner",
      "verdict": "defined",
      "gaps": ["CtxView (the view) vs CtxViewPlanner (the selector) is defined-only"]
    },
    {
      "id": "context-window",
      "canonical": "context window",
      "family": "context-ctx",
      "kind": "concept",
      "definition": "The model's hard token budget that the planner allocates resident spans within.",
      "distinction": "The hard token BUDGET - NOT ctxplan (which allocates within it) and NOT recall (the overflow store it spills to).",
      "distinct_from": ["ctxplan", "recall"],
      "aliases": [],
      "grounding": "contextwindow",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "",
      "verdict": "defined",
      "gaps": ["context window (budget) vs ctxplan (allocator) is defined-only"]
    },
    {
      "id": "contextchange-apply",
      "canonical": "ContextChange (apply)",
      "family": "context-ctx",
      "kind": "symbol",
      "definition": "The applied negative mutation: tombstones a recall page through the trust gate per a ContextChangeRequest.",
      "distinction": "The APPLIED tombstone effect - NOT ContextChangeRequest (the request record it consumes) and NOT recall (the page store it mutates).",
      "distinct_from": ["contextchangerequest", "recall"],
      "aliases": [],
      "grounding": "contextchange",
      "grounding_kind": "symbol",
      "glossary_anchor": "",
      "parent": "contextchangerequest",
      "verdict": "defined",
      "gaps": ["ContextChange (apply) vs ContextChangeRequest (the request) is defined-only"]
    }
  ]
}
