{
  "rows": [
    {
      "id": "recall-manifest",
      "canonical": "core-image manifest",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/recall's Manifest: the persisted core image of a finished session - the page table, the frozen quarantine-clearance state, and a frozen world-version marker, with the bytes themselves living in a sibling cas.json swap device.",
      "distinction": "The session SNAPSHOT schema (recall.Manifest) - NOT the policy manifest (internal/policy's on-disk capability-floor JSON); same token 'Manifest', two unrelated meanings in two unrelated packages.",
      "distinct_from": ["policy-manifest-xc"],
      "aliases": ["recall.Manifest"],
      "grounding": "manifest",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "policy-manifest-xc",
      "canonical": "policy manifest (on-disk JSON)",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/policy's Manifest: the on-disk capability-floor JSON an operator edits to configure the authorization intent - the abstract policy is compiled from this into an in-memory decision table.",
      "distinction": "The on-disk authorization CONFIG (policy.Manifest) - NOT the session core-image manifest (recall.Manifest); same token 'Manifest', a capability-floor schema vs a session snapshot.",
      "distinct_from": ["recall-manifest"],
      "aliases": ["policy.Manifest", "Manifest"],
      "grounding": "manifest",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "session-verdict",
      "canonical": "session.Verdict",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/session's Verdict: what Decide returns to the agent turn loop at each boundary - Proceed (gate the next turn), MaxTokens (per-turn output cap), the drive State, Stop, and a closed Reason naming why the slot freed.",
      "distinction": "The per-turn LOOP gate (session.Verdict) - NOT abi.Verdict (internal/abi's discriminated-union adjudication decision); same token 'Verdict', a turn-boundary control value vs a tool-call authorization decision.",
      "distinct_from": ["abi-verdict"],
      "aliases": ["session.Verdict"],
      "grounding": "verdict",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "abi-verdict",
      "canonical": "abi.Verdict (adjudication decision)",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/abi's Verdict: the discriminated-union adjudication decision type (Allow, Deny, Defer, Transform, Quarantine, RequireWitness) - the kernel's tool-call authorization decision surface.",
      "distinction": "The adjudication DECISION type (abi.Verdict) - NOT session.Verdict (the per-turn loop gate); same token 'Verdict', a tool-call authorization decision vs a turn-boundary control value.",
      "distinct_from": ["session-verdict"],
      "aliases": ["abi.Verdict", "Verdict"],
      "grounding": "verdict",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "compute-backend",
      "canonical": "compute backend",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/compute's Backend: the small whole-op HAL interface the forward loop targets (MatMul, RMSNorm, RoPE, Attention, NewKV ...), carrying a Tier capability probe and a CorrectnessClass; the CPU reference delegates to the model's exact arithmetic.",
      "distinction": "The hardware-abstraction (HAL) interface for model math - NOT memq's Backend (the memory-cell + trust-gated byte-access supplier); same token 'Backend', a compute-primitive surface vs a memory-cell source.",
      "distinct_from": ["memq-backend"],
      "aliases": ["compute.Backend"],
      "grounding": "backend",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "memq-backend",
      "canonical": "memq cell backend",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/memq's Backend: supplies memory cells (the page table as SAFE-metadata cells) and trust-gated byte access (Materialize pages one cell's bytes in through the trust gate); optional Tombstoner/Pruner add the durable mutations a backend chooses to support.",
      "distinction": "The memory-cell + trust-gated byte source - NOT compute's Backend (the model-math HAL interface); same token 'Backend', a cell/page-in supplier vs a tensor-op primitive surface.",
      "distinct_from": ["compute-backend"],
      "aliases": ["memq.Backend"],
      "grounding": "backend",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "rung-observer",
      "canonical": "rung observer",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/rungobs's Observer: the passive rung-decision distribution counter - registered via abi.RegisterEmitter, it dedups by call SeqNo and histograms adjudication decisions (rung x kind x reason), read out with Snapshot.",
      "distinction": "The adjudication decision-DISTRIBUTION histogram - NOT cacheobs's Observer (the KV-prefix REUSE accumulator); same token 'Observer', counting the verdict mix vs accumulating prefill reuse.",
      "distinct_from": ["cache-observer"],
      "aliases": ["rungobs.Observer"],
      "grounding": "observer",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "cache-observer",
      "canonical": "cache-reuse observer",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/cacheobs's Observer: accumulates in-kernel KV-prefix reuse across served turns - prompt vs reused tokens, bucketed frozen/partial/cold by reuse ratio; the gateway scrapes the process-global Default.",
      "distinction": "The KV-prefix REUSE accumulator - NOT rungobs's Observer (the adjudication decision-distribution counter); same token 'Observer', tracking prefill reuse vs counting the verdict mix.",
      "distinct_from": ["rung-observer"],
      "aliases": ["cacheobs.Observer"],
      "grounding": "observer",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "ctxplan-index",
      "canonical": "planner candidate index",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/ctxplan's Index: the planner's candidate access path over a history store - an inverted token index, the append/recency order, and the durable set, maintained incrementally so a Probe returns a BOUNDED candidate set without rescanning all spans; metadata-only and deterministic.",
      "distinction": "The metadata-only candidate ACCESS PATH for context planning - NOT simhash's Index (the brute-force nearest-neighbor vector store); same token 'Index', an inverted span index vs a cosine-similarity corpus.",
      "distinct_from": ["simhash-index"],
      "aliases": ["ctxplan.Index"],
      "grounding": "index",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "simhash-index",
      "canonical": "simhash index",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/simhash's Index: an in-memory brute-force nearest-neighbor store - add (id, Vector, meta), then TopK(query, k) for the k most similar by cosine; a deterministic linear scan sized for a trajectory corpus of thousands of rows.",
      "distinction": "The cosine nearest-neighbor VECTOR store - NOT ctxplan's Index (the planner's inverted candidate access path); same token 'Index', a similarity corpus vs a span-selection index.",
      "distinct_from": ["ctxplan-index"],
      "aliases": ["simhash.Index"],
      "grounding": "index",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "ctxplan-store",
      "canonical": "history-image store",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/ctxplan's Store: the history image the planner views - it supplies spans (SAFE metadata) and trust-gated byte access (Materialize is the gated page-in; a sealed span's bytes never cross the gate). A real deployment backs it with a recall core image or a memq backend.",
      "distinction": "The planner's SPAN-supplying, trust-gated history interface - NOT blob's Store (the content-addressed blob CAS); same token 'Store', a gated span view vs a digest->bytes content store.",
      "distinct_from": ["blob-store"],
      "aliases": ["ctxplan.Store"],
      "grounding": "store",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "blob-store",
      "canonical": "blob CAS store",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/blob's Store: the content-addressed blob store (CAS) - digest->bytes with pin-aware bounded eviction (pinned digests, e.g. a vDSO tier-2 entry or a held quarantine handle, are never evicted), preserving the 'a cache hit equals a fresh call' invariant.",
      "distinction": "The digest->bytes content-addressed CAS - NOT ctxplan's Store (the planner's gated span/history interface); same token 'Store', a blob CAS vs a span view.",
      "distinct_from": ["ctxplan-store"],
      "aliases": ["blob.Store"],
      "grounding": "store",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "ctxplan-refusal",
      "canonical": "page-in refusal",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/ctxplan's Refusal: a selected span the trust gate declined to page in (sealed, or its bytes went missing) - reported to the caller, never rendered into the fresh history.",
      "distinction": "A planner SPAN the gate declined to page in - NOT memq's Refusal (a memory CELL an effect declined to touch); same token 'Refusal', a context-span page-in refusal vs an effect-cell refusal.",
      "distinct_from": ["memq-refusal"],
      "aliases": ["ctxplan.Refusal"],
      "grounding": "refusal",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    },
    {
      "id": "memq-refusal",
      "canonical": "effect refusal",
      "family": "cross-cluster",
      "kind": "symbol",
      "definition": "internal/memq's Refusal: a cell an effect declined to touch (sealed / tombstoned / page-in refused) - recorded with a reason on the executor's result.",
      "distinction": "A memory CELL an effect declined to touch - NOT ctxplan's Refusal (a planner span the gate declined to page in); same token 'Refusal', an effect-cell refusal vs a context-span page-in refusal.",
      "distinct_from": ["ctxplan-refusal"],
      "aliases": ["memq.Refusal"],
      "grounding": "refusal",
      "grounding_kind": "symbol",
      "glossary_anchor": "docs/fak/concept-glossary.md",
      "parent": "",
      "verdict": "crystal",
      "gaps": []
    }
  ]
}
