AGISystem2 already supports holographic candidate retrieval inside the main query pipeline, but the behavior is intertwined with symbolic reasoning (direct matches, transitive/rules/CSP, validation/fallback policies). For research and for “thinking database / RAG” style usage, we want an explicit entry point that is fast when applicable, and explicit about incompleteness when used without validation.

What we want

A small set of Session-level functions that: load a few DSL theories into one session, answer a list of questions, and allow choosing between symbolic reasoning and holographic retrieval per call. Proofs remain optional: we do not claim DS19 “proof-real” unless symbolic validation actually ran.

Spec

The design is captured in: DS27 – Session High-Level Holographic API (Proposed). The DS defines the intended semantics for `loadTheories`, `holoQueryDSL/NL`, and `answerMany`, including validation modes.

How it’s used

• Fast retrieval: try HDC-only retrieval for fact-like queries where decoding is known to work (especially with EXACT).
• Holo-validated: use HDC to propose candidates, then validate those candidates symbolically for correctness.
• Batch Q/A: answer many questions against one loaded session without needing document IDs or external RAG glue.

Related

• Holographic Reasoning Directions
• Saturation Evaluation (Capacity)
• DS25 – EXACT strategy
• DS26 – Session Universe (IoC / isolation)