AdaWorldAPI · Oct 26, 2026 · Oct 26, 2026 · Oct 26, 2026 · Oct 26, 2026
diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md
@@ -1,14 +1,18 @@
 ## 2026-10-26 — D-DT64 64-slot versioned DTO adapter / holographic relational projections → `.claude/plans/d-dt64-holographic-predicate-capstone-v1.md`
 
-**Status:** DESIGN ONLY, six draft docs PRs. **Board:** [D-DT64-0](entries/2026-10-26-dt64-holographic-interface.md) and [STATUS_BOARD](STATUS_BOARD.md). **Stages:** [DT64-1 #1794](https://github.com/AdaWorldAPI/lance-graph/pull/1794) predicate/source catalogue, [DT64-2 #1795](https://github.com/AdaWorldAPI/lance-graph/pull/1795) IAM/Odoo/SAP/EXO DTO authority, [DT64-3 #1796](https://github.com/AdaWorldAPI/lance-graph/pull/1796) directed DR projections, [DT64-4 #1797](https://github.com/AdaWorldAPI/lance-graph/pull/1797) edge×edge and Thought-Git temporal hypotheses, [DT64-5 #1798](https://github.com/AdaWorldAPI/lance-graph/pull/1798) native method/ONNX/time series. [EXO-50](https://linear.app/exo-red/issue/EXO-50) is append-only handoff; all these are independent docs-only branches and **NOT** production PRs or measured probes.
+**Status:** DESIGN ONLY, six documentation PRs **MERGED** to main (#1794–#1799). **Board:** [D-DT64-0](entries/2026-10-26-dt64-holographic-interface.md) and [STATUS_BOARD](STATUS_BOARD.md). **Stages:** [DT64-1 #1794](https://github.com/AdaWorldAPI/lance-graph/pull/1794) predicate/source catalogue, [DT64-2 #1795](https://github.com/AdaWorldAPI/lance-graph/pull/1795) IAM/Odoo/SAP/EXO DTO authority, [DT64-3 #1796](https://github.com/AdaWorldAPI/lance-graph/pull/1796) directed DR projections, [DT64-4 #1797](https://github.com/AdaWorldAPI/lance-graph/pull/1797) edge×edge and Thought-Git temporal hypotheses, [DT64-5 #1798](https://github.com/AdaWorldAPI/lance-graph/pull/1798) native method/ONNX/time series. [EXO-50](https://linear.app/exo-red/issue/EXO-50) is append-only handoff; these are merged documentation-only design receipts, **NOT** production adapters or a measured DT64→Quack proof.
+
+**2026-10-26 Q0/Quack DR64 merge reconciliation:** [#1792](https://github.com/AdaWorldAPI/lance-graph/pull/1792) **MERGED** (P2 Quack-path lab and D-NFR-1 borrowed SoA ownership falsifiers); [#1794–#1799](https://github.com/AdaWorldAPI/lance-graph/pull/1799) **MERGED DOCS** (DT64 64-slot candidate catalogue, source crosswalk, DR projections, edge/Thought-Git/time, native numerical leaf and common [Q0 source-attested borrowed binding](../plans/d-dt64-q0-borrowed-quack-binding-seam-v1.md)). Q0, not the [non-authoritative QB pointer](../plans/d-dt64-quack-borrowed-binding-seam-v1.md), owns the semantic integration seam. Quack / RelAlg / R2IL / mask-risc already own native relational computation; ndarray owns numerical execution; D-NAM/[EXO-152](https://linear.app/exo-red/issue/EXO-152) owns prepared numerical contracts. A reusable compiled recipe is distinct from a source-bound `Keep` mask. The #1792 **1,032 stale vs 31 fresh** predicate result is a mandatory refusal/recompute falsifier. No FrameStore, producer-independent snapshot stamp or repeated hot guard: borrow stability is Rust ownership, while foreign source snapshot, authorization, codebook, focus and completeness remain independently witnessed. 
+
+**First Q0 candidate lab only (NOT RUN):** eight sourced DT64 semantic candidates slots 08/11/12/13/14/17/18/32, with 11/12/17 unary WHERE classifications. Source-shaped IAM/Exchange and SAP read-only owner borrows → Quack; verify against original source view and separately authored scalar typed-triple oracle; binary relational projections `(s,p)→o`, `(p,o)→s`, `(s,o)→p` without creating inverse facts. Optional 512 B DR64² repeated-query experiment versus direct folds and CSR; physical DR64³ third axis NFR-OP-2 OPEN. EXO-46 production global/local admission, cross-system source attestation, escaped Keep reuse, permission/negative completeness and missing Entra licence DTO remain OPEN. [#1800](https://github.com/AdaWorldAPI/lance-graph/pull/1800), [#1801](https://github.com/AdaWorldAPI/lance-graph/pull/1801), [#1803](https://github.com/AdaWorldAPI/lance-graph/pull/1803) are **merged numerical laboratory evidence**; Codec8 admission receipt is a **future** numeric binding consumer, not a DT64 predicate bit or a production Quack Codec8 runtime. [EXO-50](https://linear.app/exo-red/issue/EXO-50) is append-only inter-session messaging; evidence state comes from GitHub.
 
 **Q0 cross-session binding lock (docs only):** [source-attested borrowed DT64↔Quack interface](../plans/d-dt64-q0-borrowed-quack-binding-seam-v1.md) in #1799. Eight real IAM/Exchange/SAP predicate candidates first, exact typed source/scoped identities, physically attested snapshot, borrowed lanes and reusable *recipe*, not reusable stale Keep. Directed (s,p)→o / (p,o)→s / (s,o)→p answers against original source and independent oracle; DR64² optional costed arm. #1792's 1,032-vs-31 stale selection is binding refusal control; numerical contracts remain D-NAM/EXO-152+ndarray. No new stage, runtime, ONNX authority, physical DR64³ or live write.
 
 DT64 64 entries = versioned *typed predicate* registry hypothesis, not ClassView field mask, not physically decided DR³ third axis. Source-mapped IAM groups/mailbox/license (license source not present), Odoo employee/user/partner/company, SAP CATS 23/16/8 ordered fields; unknown vs false vs revoked; frame/focus/scope/predicate catalogue and source identity all need witnesses. Borrow-only Quack safe; escaped masks and physical Lance cross-source snapshots remain unadmitted (#1792). Logical DR64³ 32 KiB bit plane excludes provenance/masks, with exact direct bitmask or CSR alternatives. No auto permissions/provisioning or model writes. **Owner precedents:** EXO-121/122/123, EXO-126/127/151/152, EXO-46 and EXO-148.
 
 ## 2026-10-26 — D-DR256-WHERE population-masked reads, thought amortization, DuckDB harvest → `.claude/plans/dr256-where-capstone-v1.md`
 
-**Status:** P0 census DONE, P1 lab DONE (reported, not gated); P2–P5 PROPOSED, NOT AUTHORIZED. **Board entry:** [D-DR256-WHERE](entries/2026-10-26-dr256-where-capstone.md). Smallest gap: exact occupancy over a `Keep` mask; multi-property gain is dead-block skipping, measured at ndarray level only. No runtime, ABI, planner, writer or WAL change; the scatter survival condition stays in force.
+**Status:** P0 census DONE; P1 and P2 Quack-path lab DONE (reported with falsifiers in merged #1792); P3–P5 PROPOSED, NOT AUTHORIZED. **Board entry:** [D-DR256-WHERE](entries/2026-10-26-dr256-where-capstone.md). Measured questions: exact occupancy over a `Keep` mask; multi-property gain from dead-block skipping, with P2 on the actual Quack path. Reusing stale Kept predicates is not admitted (#1792 Part E). No runtime, ABI, planner, writer or WAL change; the scatter survival condition stays in force.
 ## 2026-10-26 — D-DQM Appendix A: DR64 ↔ DuckDB ↔ Lance 13 capability crosswalk → `.claude/plans/duckdb-dr-quack-machine-room-reuse-v1.md` § Appendix A
 
 **Status:** DOCUMENTATION ONLY, follow-up to merged #1787. **Board entry:** [coresearch](entries/2026-10-26-coresearch-lance13-masked-read-dr64.md). Source-backed crosswalk of 17 DuckDB capabilities (pinned @`1641475`) against DR64/Quack/mask-risc/ndarray/DRF/Lance 13, re-audit of September gaps G1–G8 (G1 u8, G2 unsigned, G4, G6 CLOSED), Lance 13 masked read (H14c #1573 / H14d #1575) as an existing layer, coordinate-domain table, cost ledger over five paths, missing-feature register (wiring vs code vs intentional exclusion), probes P1–P5. Recommends one probe PR (P1, offline chunk-touched estimator vs committed H14c/H14d bytes), no implementation. OPEN: seam S-INGRESS (copy status of words → Lance `RowAddrMask`), one coordinate→`_rowid` authority. Corrects: the M2 input's "handoff must stay a fold"; September R6 (K3 planes exist) and R5 (hex tenant superseded).

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -1,17 +1,21 @@
 ## D-DT64 — DTO Tensor 64: versioned semantic predicate adapter and DR projections (2026-10-26)
 
-**Status:** PLAN / DOCS ONLY, six independent draft PRs, no source ingestion, no new 64-slot ABI, no runtime or tests run. [Charter](../plans/d-dt64-holographic-predicate-capstone-v1.md); [board entry](entries/2026-10-26-dt64-holographic-interface.md). [EXO-50](https://linear.app/exo-red/issue/EXO-50) is the append-only handoff, not a production approval.
+**Status:** PLAN / DOCS ONLY, six documentation PRs **MERGED** ([#1794](https://github.com/AdaWorldAPI/lance-graph/pull/1794)–[#1799](https://github.com/AdaWorldAPI/lance-graph/pull/1799)), no production source ingestion, no new 64-slot ABI, no runtime adapter or DT64-Q0 executable proof run. [Charter](../plans/d-dt64-holographic-predicate-capstone-v1.md); [board entry](entries/2026-10-26-dt64-holographic-interface.md). [EXO-50](https://linear.app/exo-red/issue/EXO-50) is the append-only handoff, not a production approval.
 
-| Stage | Plan / draft | Gate |
+| Stage | Mainline documentation receipt | Gate |
 |---|---|---|
-| DT64-0 | charter / THIS PR | protect ClassView presence vs predicate truth; NFR-OP-2 open |
-| DT64-1 | [#1794](https://github.com/AdaWorldAPI/lance-graph/pull/1794) | 64 typed candidate mappings, sourced/candidate/blocked differentiated |
-| DT64-2 | [#1795](https://github.com/AdaWorldAPI/lance-graph/pull/1795) | IAM/Odoo/SAP/Exchange cross-system identity joins require source attestations; licence source absent |
-| DT64-3 | [#1796](https://github.com/AdaWorldAPI/lance-graph/pull/1796) | forward/inverse/predicate SPO projection parity and K3/Bag falsifiers; no mandated DR³ physical cube |
-| DT64-4 | [#1797](https://github.com/AdaWorldAPI/lance-graph/pull/1797) | dependency support and hypothesis/time receipts; EXO-148 missing durable IDs |
-| DT64-5 | [#1798](https://github.com/AdaWorldAPI/lance-graph/pull/1798) | D-NAM/EXO-152 native method route, ONNX as leaf, computed result ≠ source fact |
+| DT64-0 | [#1799 (MERGED, docs)](https://github.com/AdaWorldAPI/lance-graph/pull/1799) | protect ClassView presence vs predicate truth; NFR-OP-2 open |
+| DT64-1 | [#1794 (MERGED, docs)](https://github.com/AdaWorldAPI/lance-graph/pull/1794) | 64 typed candidate mappings, sourced/candidate/blocked differentiated |
+| DT64-2 | [#1795 (MERGED, docs)](https://github.com/AdaWorldAPI/lance-graph/pull/1795) | IAM/Odoo/SAP/Exchange cross-system identity joins require source attestations; licence source absent |
+| DT64-3 | [#1796 (MERGED, docs)](https://github.com/AdaWorldAPI/lance-graph/pull/1796) | forward/inverse/predicate SPO projection parity and K3/Bag falsifiers; no mandated DR³ physical cube |
+| DT64-4 | [#1797 (MERGED, docs)](https://github.com/AdaWorldAPI/lance-graph/pull/1797) | dependency support and hypothesis/time receipts; EXO-148 missing durable IDs |
+| DT64-5 | [#1798 (MERGED, docs)](https://github.com/AdaWorldAPI/lance-graph/pull/1798) | D-NAM/EXO-152 native method route, ONNX as leaf, computed result ≠ source fact |
 
-**Shared Q0 execution seam (docs only, #1799):** [DT64 → borrowed Quack](../plans/d-dt64-q0-borrowed-quack-binding-seam-v1.md). One attested semantic binding, source-owner immutable borrow, separate compiled recipe. First fixture: eight IAM/Exchange/SAP predicates, scalar/direct/Quack and optional DR64² comparison, three directed queries, mandatory #1792 1,032-vs-31 stale Keep refusal/recompute. No invented runtime, 64³ allocation, new execution authority or numerical method code. D-NAM/EXO-152 owns SourceParity/CertifiedMath certificates; DT64 only references handles. No tests yet.
+**Shared Q0 execution seam (docs only, MERGED #1799):** [DT64 → borrowed Quack](../plans/d-dt64-q0-borrowed-quack-binding-seam-v1.md). One attested semantic binding, source-owner immutable borrow, separate compiled recipe. First fixture: eight IAM/Exchange/SAP predicates, scalar/direct/Quack and optional DR64² comparison, three directed queries, mandatory #1792 1,032-vs-31 stale Keep refusal/recompute. No invented runtime, 64³ allocation, new execution authority or numerical method code. D-NAM/EXO-152 owns SourceParity/CertifiedMath certificates; DT64 only references handles. No tests yet.
+
+**Quack / DR64 coordination and merge-state receipt (2026-10-26):** [D-DT64-Q0](../plans/d-dt64-q0-borrowed-quack-binding-seam-v1.md) is the **single canonical semantic-binding contract**. The former [D-DT64-QB pointer](../plans/d-dt64-quack-borrowed-binding-seam-v1.md) is deliberately NON-AUTHORITATIVE. [#1792 MERGED](https://github.com/AdaWorldAPI/lance-graph/pull/1792) establishes that an owner-borrowed Quack computation needs no redundant per-operation mutation guard; a detached `Keep` must **recompute or refuse** absent a complete dependency/snapshot witness (P2 old **1,032** versus fresh **31**). Existing Quack/RelAlg/R2IL/mask-risc and ndarray own execution. DT64 cold-binds type, schema/catalogue, actual owner/source snapshot, typed focus/local-global coordinates, permission/knownness and source lanes, then references a separately reusable compiled recipe. **The eight first candidates** are DT64 slots 08, 11, 12, 13, 14, 17, 18, 32 (candidate ordinals, NOT ABI); **11/12/17 are unary** and do not acquire invented inverse edges. The first proposed lab compares direct source, independent scalar oracle, Quack and optionally a **512 B DR64²** typed relation; DR64³ physical axis NFR-OP-2 and generalized Binding Store remain OPEN. Source snapshot pinning is NOT `QueryReference::at`. A physical cross-source read requires its owner-issued snapshot and scope; EXO-46 remains the production global-to-local admission decision. 
+
+**Numerical boundary:** [#1800](https://github.com/AdaWorldAPI/lance-graph/pull/1800) (source-specific TFLM Softmax calibration evidence), [#1801](https://github.com/AdaWorldAPI/lance-graph/pull/1801) (Codec8 code-space admission and [HANDOFF](../../.claude/probes/pal256-admission-v1/HANDOFF.md)), [#1803](https://github.com/AdaWorldAPI/lance-graph/pull/1803) (fixture compaction) are **MERGED LAB evidence**, not DT64 predicate slots, numerics implemented in Quack or a source-attested production binding store. D-NAM/[EXO-152](https://linear.app/exo-red/issue/EXO-152) owns SourceParity/CertifiedMath and method certificates. [EXO-50](https://linear.app/exo-red/issue/EXO-50) carries append-only coordination only; no actor/source rights inferred from a receipt.
 
 **Hard blockers:** [EXO-46](https://linear.app/exo-red/issue/EXO-46) production focus admission, [#1792](https://github.com/AdaWorldAPI/lance-graph/pull/1792) escaped-Keep authority and physical snapshot, NFR-OP-2 axis selection, source-specific negative observation/ACL, EXO-148, missing Entra license and Odoo method source verification. Direct bitmask first; no claimed holographic global reconstruction until independent oracle.
 
@@ -129,11 +133,11 @@ Docs only. Plans `d-native-repr-contract-v1.md` (D-NFR) and `d-native-first-depe
 |---|---|---|---|
 | **D-NFC-0** | one canonical dependency diagram and seven root assumptions, applied as marked supersessions to #1746–#1751 and #1750 | Shipped (#1753) | each affected PR cites the diagram; S0 dispute left open |
 | **D-NFR-0** | seam table Quack → DR64³ → Palette256³ → execution, cited to source | Shipped (#1753) | every seam SHIPPED / LAB / PROPOSED / MISSING with its source |
-| **D-NFR-1** | lab adapter: a Quack-bound query sealed under a frame | Proposed | after one revision moves, the stored binding is refused with the matching `Refusal`; before, it equals an oracle |
+| **D-NFR-1** | source-attested borrowed Quack adapter; no invented FrameStore | Proposed (ownership falsifiers merged #1792, no production adapter) | identical live owner borrow equals oracle; escaped Keep with stale dependencies recomputes/refuses; true owner/source identity required |
 | **D-NFR-2** | codebook generation carried in the frame seal | Proposed | a palette value bound under generation g is refused under g+1 |
 | **D-NFR-3** | one DR axis bound to one palette plane under a frame | Proposed | Cartesian and numerical oracles agree; a mismatched codebook is refused |
 | **D-NFR-4** | end-to-end acceptance fixture (nine steps, each measured) | Proposed | all nine steps pass, each step's cost reported separately |
-| **D-NFR-5** | one binding and one focus reused across several operations | Proposed | reuse saving measured against rebinding and a fused scalar / SIMD baseline, guards run on every use |
+| **D-NFR-5** | one admitted borrowed binding and one focus reused across several operations | Proposed | measure reuse against rebinding and fused scalar/SIMD baseline; no redundant per-operation mutation guard while immutable owner borrow is live (#1755/#1792) |
 
 ## D-NFR-6 — native operations over the SoaEnvelope borrow, no guard (2026-10-23)