diff --git a/prod/docs/SPEC_MALKHUT_ACTUALS_INTAKE.md b/prod/docs/SPEC_MALKHUT_ACTUALS_INTAKE.md index 5a29045..ae8d27a 100644 --- a/prod/docs/SPEC_MALKHUT_ACTUALS_INTAKE.md +++ b/prod/docs/SPEC_MALKHUT_ACTUALS_INTAKE.md @@ -771,19 +771,52 @@ defends all of them**, and it is the magnitude/support gate of stage 2. That is why this is worth building once, properly, as a shared kernel. -### A.8.4 A name, offered (the operator names things; I only propose) +### A.8.4 THE NAME (operator-approved 2026-07-13): **DAAT** + +## DAAT — **D**irection-**A**nchored **A**mbiguity **T**riage The house speaks Kabbalah: MALKHUT is *kingdom* — the lowest sefirah, the **ground**, where everything finally touches the world. Fitting, for execution. -The manifold-query engine is not a *thing that acts*; it is the faculty by which -the system **knows where it is**. In the tree that is **Da'at** — *knowledge* — the -hidden sefirah that is not counted among the ten, the one that emerges from the -others and unifies intellect with action. It is precisely the *knowing* that stands -between understanding and doing. +The manifold kernel is not a thing that *acts*; it is the faculty by which the +system **knows where it is**. In the tree that is **Da'at** — *knowledge* — the +hidden sefirah, not counted among the ten, that emerges from the others and unites +intellect with action: precisely the *knowing* that stands between understanding +and doing. It sits directly above MALKHUT and feeds it. That is our architecture, +drawn a thousand years early. -**DA'AT** — the manifold kernel. It knows where we are, and — more valuable — it -knows when it does not. +**The apostrophe is dropped** (ASCII identifier law: `import daat`, `DaatQuery`, +`daat.query()`, `dolphin_daat.*`, no Unicode in any symbol, path, or table name). +The etymology survives in the letters; the acronym earns them: + +| Letter | Stage | What it names | +|---|---|---| +| **D**irection | 1 — RETRIEVE | cosine on the unit vector. The reflex. The matmul. | +| **A**nchored | 2 — GATE | anchored to the explored **magnitude** envelope + support count — the guard cosine structurally cannot provide (§A.3.1) | +| **A**mbiguity | — | the honest middle state; the thing we refuse to collapse into a guess | +| **T**riage | verdict | `KNOWN` / `MARGINAL` / `OUT_OF_DISTRIBUTION` | + +**"Triage" is not decoration — it is the house's own word for this exact +operation**, and using it twice is the point: + +| Subsystem | Triage | +|---|---| +| **Venue** (`bdc54fb`) | `NOT_ATTEMPTED` / `REFUSED` / `INDETERMINATE` | +| **DAAT** (this annex) | `KNOWN` / `MARGINAL` / `OUT_OF_DISTRIBUTION` | + +Same verb. Same law. Now the names say so. + +> **DAAT** — it knows where we are, and, more valuable, it knows when it does not. + +**Canonical spellings (binding):** package `daat/`; class `DaatQuery`; verdict enum +`DaatVerdict.{KNOWN, MARGINAL, OUT_OF_DISTRIBUTION}`; CH namespace `dolphin_daat`; +docs may write *Da'at* in prose for the etymology, **never in code**. + +*(Alternative considered and set aside: **YESOD** — foundation — the sefirah that +funnels everything from above into Malkhut. Architecturally exact (the kernel feeds +the executor) and ASCII-clean, but it names the **conduit**, not the **knowing**. +DAAT names the faculty; the faculty is the thing we are building. Recorded here so +the choice is not re-litigated.)* --- @@ -800,7 +833,7 @@ knows when it does not. | A7 | **Risk gate honours OOD** → doctrinal fallback policy | Test: novel regime ⇒ no confident recommendation, ever | | A8 | Component detection (cheap clustering); refuse cross-component interpolation | | | A9 | **IFF EARNED**: persistent homology / mapper, offline, Mode 1, as a *gate-shaping diagnostic* | Only after A6's variance shows structured failure | -| A10 | Generalize to a shared kernel (DA'AT); second consumer = MARAS fingerprint | One engine, two manifolds, before claiming generality | +| A10 | Generalize to a shared kernel (DAAT); second consumer = MARAS fingerprint | One engine, two manifolds, before claiming generality | --- @@ -815,7 +848,7 @@ knows when it does not. *Annex A written by **Claude (Opus 4.8)**, on Fable's watch, at HJ's order, 2026-07-13. The cosine proposal is the operator's; the three-stage decomposition, -the magnitude-blindness argument, the topology IFF-discipline, and the DA'AT +the magnitude-blindness argument, the topology IFF-discipline, and the DAAT generalization are mine, and I stand behind them. Where I have asserted a mathematical property (locally-Euclidean tangent spaces; GP variance growth away from data; cosine's magnitude invariance) it is standard and checkable. Where I