D-HOLO H14d: logic → address mask → masked read → terminal (C only), measured on v4

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,9 @@
+## 2026-10-16 — d-holo-h14d-logic-mask-read-v1 — C's own operation: logic → address mask → masked read → terminal → `.claude/plans/d-holo-h14d-logic-mask-read-v1.md`
+
+**Status:** PRE-REGISTERED; not run.
+
+- Four stages in order, each shrinking the next: relalg symbolic reduction (no data), address materialization over presence planes (64 per word), Lance 13 read pruned by `R`, terminals.
+- C only. No B, S or M arm: the row-first comparisons of H14/H14b are withdrawn (#1569).
 ## 2026-10-15 — d-holo-h14c-thought-first-v1 — thought-first positional reads, Hamming presence and Lance 13 masked I/O → `.claude/plans/d-holo-h14c-thought-first-v1.md`
 
 **Status:** PRE-REGISTERED; nothing measured. D-HOLO-H14c, -1 … -6.

.claude/board/ISSUES.md

@@ -1,3 +1,11 @@
+## ISS-RELALG-ABSORPTION-AFTER-DE-MORGAN — `normalize` can leave a program wider than as written (2026-10-16)
+
+**Status:** OPEN. **Basis:** MEASURED (D-HOLO-H14d stage 1, `crates/holo-h14d-probe`, 2 of 2,000 generated programs).
+
+- `¬(x ∧ (x ∨ y))` with `x = P1 ∧ P4` should reduce by absorption to `¬x = ¬P1 ∨ ¬P4`. `lance-graph-relalg::normalize` pushes the negation inward first (De Morgan), flattens, and returns `¬P1 ∨ ¬P4 ∨ ((¬P1 ∨ ¬P4) ∧ ¬P5 ∧ ¬P7)`: the dual absorption pattern `a ∨ (a ∧ b)` is present but `a` is spread across the flattened `Or`, so the rule no longer matches.
+- Consequence: the rewritten program needs more scratch slots than the original; the original answers, the rewrite is refused (`MAX_SLOTS` = 8). Answers are never wrong; only width.
+- **What closes it:** a relalg test with this case (rewritten no wider than as written, and == the row oracle), red first, then absorption applied before De Morgan or matched against flattened operand sets; disable run red.
+
 ## ISS-QUALIA-A2B-CLUT-UNMEASURED — no measured transform from convergence 17D to the calibrated PCS 17D (2026-10-16)
 
 **Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`contract::qualia_profile::SHARED_AXES` maps 5 of 17 axes by name; `device_to_pcs_shared` returns `measured = false` for the other 12). HYPOTHESIS: same-named axes mean the same thing.

.claude/board/LATEST_STATE.md

@@ -1,3 +1,8 @@
+## 2026-10-16 — main after #1573 (merged `461bbd1a`); D-HOLO H14c on main
+
+- **On `main` (#1573):** D-HOLO H14c probes and results (thought-first reads, Lance 13 masked I/O). Probe code only, no library change.
+- **In PR:** #1575 (D-HOLO H14d: C's own operation in four stages — relalg logic, address mask, Lance prefilter, terminal; measured on v4). New issue `ISS-RELALG-ABSORPTION-AFTER-DE-MORGAN`.
+
 ## 2026-10-16 — main after #1569 (merged `09f31561`); H14b on main as a withdrawn record
 
 - **On `main` (#1569):** D-HOLO H14b arm M and its results, marked withdrawn: no layout verdict on C. Probe code only (an example), no library change.

.claude/board/PR_ARC_INVENTORY.md

@@ -1,3 +1,10 @@
+## 2026-10-16 — lance-graph PR #1573 (merged `461bbd1a`, branch `ccr-9f3b8075-74u47l-holo-h14c`, head `e4681f10`, 11 commits) — D-HOLO H14c: thought-first reads, Hamming presence, Lance 13 masked I/O
+
+- **Added:** `holo_thought_first_probe` (point projection, mask-risc populations, terminal rows; 10 oracle tests) and the `lane_footprint` instrument in `lance-graph-mask-risc/examples`; `crates/holo-lance-masked-io-probe` (excluded from the workspace: Lance 13 masked reads, stale-map hazard across rewrites); plan `d-holo-h14c-thought-first-v1`, entry `2026-10-15-d-holo-h14c-thought-first.md`, STATUS row D-HOLO-H14c.
+- **Locked:** a read consults exactly the requested lane tables for any number of touched lanes; populations load no value; a scattered 1 % mask cuts Lance rows but not bytes (page-bound), a clustered one cuts both; a stale coordinate map omits silently and the version check refuses it.
+- **Deferred / open:** the C vs B comparison lines in that PR rest on the withdrawn row-first framing; C's own four-stage operation is D-HOLO-H14d (#1575). Positional tables are page-dense at uniform 1 % (≈ 93× payload resident).
+- **Confidence:** medium; oracle tests and disable runs red; about 40 % run-to-run noise on the VM.
+
 ## 2026-10-16 — lance-graph PR #1569 (merged `09f31561`, branch `ccr-9f3b8075-74u47l-holo-h14b`, head `2f07941c`) — D-HOLO H14b: lane mask M measured, then withdrawn
 
 - **Added:** arm M (C's per-lane tables plus one `u32` per row naming the changed lanes) in `holo_lane_storage_probe` with 4 tests; plan section, entry `2026-10-15-d-holo-h14b-lane-mask.md`, STATUS row D-HOLO-H14b (WITHDRAWN).

.claude/board/STATUS_BOARD.md

@@ -60,6 +60,7 @@ Plan: `.claude/plans/relalg-v1.md`. Crate: `crates/lance-graph-relalg` (own work
 | **D-HOLO-H14** | Per classid x thought x 64k tile: full 512-byte row writes vs a connected lane delta (row key + lane mask + changed lanes in one record), and per-(thought, lane) tables indexed directly by the row address (`Lane_l[index]`, no traversal; presence masks folded, materialization charged only at a terminal); session thought masks and thought lane masks kept as separate levels | Measured 2026-10-15 (v4, one class): C folds 10–256× faster than B on F1/F2; C merge-on-read 2.8–6.1× slower than B; C default and B default both not met; returned to the operator with the crossover; H14b measured (row D-HOLO-H14b) | == dense reference; C default iff at k <= 4 its fold queries are >= 2x faster than B, its reads with terminal materialization <= 1.25x B and bytes <= B; else B default iff read and session read <= 1.25x A and bytes <= 0.5x A; mixed result returns to the operator |
 | **D-HOLO-H14b** | C plus one positional u32 lane mask per row per thought (`Mask[i]`), so merge-on-read reads only the tables the mask names; folds unchanged | Measured 2026-10-15 (v4, one class, entry 2026-10-15-d-holo-h14b-lane-mask): prediction falsified in 9 of 18 cells at k <= 4 (all 1 % cells pass, failures at 10 % and 100 % dirty); bytes <= B by construction, not measured (`2f07941c`); M faster than C on full-row read in 35 of 36 cells; M beats B on F3 in all 12 cells at 1 % dirty; M default not met. WITHDRAWN 2026-10-15 as a layout candidate (category error: M transposes C's presence planes into a row index; H14/H14b measured row reconstruction, not C's primary operation); numbers kept; follow-up D-HOLO-H14c | M default iff at k <= 4 on every cell its full-row and session read <= 1.25x B and bytes <= B; folds equal C (tested) |
 | **D-HOLO-H14c** | Thought-first positional reads `Thought(t)[Table(a)[i] : Table(b)[i]]`: point projection, presence/Hamming populations through mask-risc, explicit terminal rows; memory and fragmentation of positional tables; Lance 13 masked I/O; coordinate identity across rewrites (sub-ids -1 … -6) | Measured 2026-10-15 (v4, entry 2026-10-15-d-holo-h14c-thought-first): acceptance A–E met (tables consulted == k for every U; k = 2 read at U = 31 0.90–1.16x U = 2); C vs B on query-shaped reads mixed; uniform 1 % positional tables ≈ 93x payload resident (flagged); Lance prediction holds (uniform 1 % mask 1.00x bytes, clustered 0.24x); stale maps omit silently, refused by the version check; returned to the operator | tables consulted == requested lanes for every touched count; at k = 2, U = 31 read <= 1.25x U = 2; populations load no value; no row materialized outside the terminal; no wrong coordinate across rewrites; Lance prediction (1 % uniform mask does not halve bytes_read, 1 % clustered does) |
+| **D-HOLO-H14d** | C's own operation in four stages, C only: (1) relalg symbolic reduction of the thought's set expression, (2) materialize `R = P_a ∧ P_b ∧ A` (or `∨`) over presence planes, (3) Lance 13 read pruned by `R`, (4) COUNT/EXISTS from `R` or the operation on `T_a[i], T_b[i]` for survivors; sub-ids -1 … -5 | Measured 2026-10-16 (v4, entry 2026-10-16-d-holo-h14d-logic-mask-read): stage 1 decides 675/2,000 programs with 0 runs, 396 answered only after the rewrite, 2 widened (ISS-RELALG-ABSORPTION-AFTER-DE-MORGAN), passes 1,065 vs 5,898; R costs 2–10 ns per 64-address word; Lance scans exactly |R| everywhere, bytes 1.00x at uniform 1 % full tile, 0.19x clustered 1 %, 0.01–0.12x inside a 1,024/8,192 aperture; payload ~6 ns per lane load, reads == |R| × k, not flat at small |R| (fixed word scan; prediction 4 falsified); fused Σ ~1.3 ns per value; point query 8–45 ns hot; returned to the operator | `R` == per-address reference; rewritten == as written on 2,000 programs; payload reads == |R| × k; Lance rows == |R| with reference values; five disable runs red |
 | **D-RA-1** | `Rel` + `normalize` + `symbolic` + R2IL lowering | Shipped #1546 `c21bd165` (11 tests, 11 disable runs red; four comparisons on one lane 8 → 2 ops; 70/2,000 small descriptions refused as written, all run rewritten) | == row oracle over 400 generated descriptions × 5 measures |
 | **D-RA-2** | Rules into the contract set IR (D-CMR-1/-6); relalg keeps only lowering or is deleted | Queued (maintainer decision) | relalg tests pass unchanged against the contract IR |
 | **D-RA-3** | Datalog rules as algebra values; names are labels resolved through the label codebook, never strings in a rule | Queued (after D-RA-2) | codebook-built rules == hand-written `Rel`; unknown label refused at resolution |