D-HOLO H14c: thought-first positional reads, Hamming presence and Lance masked I/O

.claude/board/AGENT_LOG.md

@@ -1,3 +1,8 @@
+## 2026-10-15 — D-HOLO H14c: one Haiku census run
+
+- General-purpose on Haiku, read-only census of `Program::new` constructions in mask-risc tests and `lance-graph-quack` (D-HOLO-H14c-6): 169 occurrences, 61 literal, 108 dynamic; distinct lanes per literal program 0:26, 1:31, 2:4.
+- Ledger: count re-run (170 raw grep hits; the one difference is `fuse.rs:216`, production code the card excluded as instructed); spot-checks 2/2 (`distinct.rs:267` P=[] L=[0,1], `reference.rs:1922` P=[3] L=[9]); 0 wrong, 0 missed. About 457k subagent tokens.
+- Outcome: the census is labelled test-corpus observation in the plan; no conclusion came from the card.
 ## 2026-10-15 — D-HOLO H14b result count: one census run
 
 - Card `census-counter` (run as a general-purpose agent on Haiku with the card's rules pasted), the H14b table of `h14b_run1.txt`, lines 59–94: k <= 4 cells, cells above 1.25× B on full-row and session read, min/max per density, F3 and byte comparisons.

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,10 @@
+## 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.
+
+- Replaces the row-reconstruction question of H14/H14b (arm M withdrawn) with: given thought, operands and Cartesian address, which accesses are unavoidable. `Thought(t)[Table(a)[i] : Table(b)[i]]`.
+- Point projection, presence populations (mask-risc AND/OR/XOR/Count) and explicit terminal rows measured apart; tables consulted must equal the requested lanes, independent of the touched tables.
+- Memory/fragmentation of 1 MiB positional tables (lazy, eager, sparse); Lance 13 `with_row_addr_prefilter` bytes_read vs unmasked; coordinate identity across append/delete/update/compaction with stale maps refused.
 ## 2026-10-15 — metta-datalog-assimilation-v1 — Hyperon/PeTTa/MeTTa atoms assimilated into a Datalog-AST · NAL · R2IL · ONA-shaped substrate, MeTTa as oracle → `.claude/plans/metta-datalog-assimilation-v1.md`
 
 **Status:** PROPOSAL; D-ASM-0 only (plan + inventory `.claude/research/2026-10-15-nars-metta-ce64-mapping-inventory.md`). Umbrella over D-MTP-2/3/5/6, D-RA-3/4, D-NALP-4/5/7; adds D-ASM-1 binder, -2 join-as-preimage, -3 bag terminal, -4 LanceSpace + three-way harness, -5 ONA-shaped 64×u8 compound-term tenant, -6 rule catalogue as data, -7 mining seam reserved. `/5plus3` before non-probe code.

.claude/board/LATEST_STATE.md

@@ -1,3 +1,8 @@
+## 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.
+- **In PR:** #1573 (D-HOLO H14c: thought-first reads, Hamming presence, Lance 13 masked I/O).
+
 ## 2026-10-16 — D-QPROF-0 qualia profile (branch `qualia-profile-icc`, in PR)
 
 - **Contract delta (branch):** `lance_graph_contract::qualia_profile` + generated `qualia_profile_table` — the first named-emotion calibration set in the repo (219 rows from Upstash `ada:qualia:calibrated:*`, previously cited in `thinking-engine/src/qualia.rs` as "220 calibrated pairs in Upstash" and absent). Data: `data/qualia/calibrated_219.json` (+ `.bin1024` sign-binarized Jina embeddings), generator `scripts/gen_qualia_profile.py` (deterministic, rustfmt-stable, FNV-pinned).

.claude/board/PR_ARC_INVENTORY.md

@@ -1,3 +1,10 @@
+## 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).
+- **Locked:** M is withdrawn as a layout candidate for thought-first C, and no A/B/C/M layout verdict is drawn from H14 or H14b. Both measured whole-row reconstruction, which is not C's operation; `Mask[i]` transposes C's presence planes into a row-first index. The measurements stay as a record.
+- **Deferred / open:** C's own operation (a thought evaluated over an address range, reading operand values positionally) is unmeasured; see D-HOLO-H14c.
+- **Confidence:** high for the withdrawal; the writer-byte rule held by construction, not by measurement (Codex P2, `2f07941c`).
+
 ## 2026-10-15 — lance-graph PR #1567 (merged `b1f1365d`, branch `ccr-9f3b8075-74u47l-version-clock`, head `6ced7887`, 3 commits) — D-WAL-6: the version clock wired into `LanceCycleWriter`
 
 - **Added:** `LanceCycleWriter::version_clock()`; `sync_clock` after open, bootstrap and every commit: records the new head's row positions (sum of `physical_rows` over fragments), keeps the clock on a no-op, reseeds when history went back. Seven tests in `cycle_sink.rs`, written first (red against a stub returning `None`).

.claude/board/STATUS_BOARD.md

@@ -58,7 +58,8 @@ Plan: `.claude/plans/relalg-v1.md`. Crate: `crates/lance-graph-relalg` (own work
 | **D-HOLO-H11** | Stacked logic: a chain of NAL polyfill bricks at depth 1–8 composed before one evaluation | Queued (pre-registered, not run; after H6b) | answers no single brick gives, == oracle; cost below d separate runs at d = 4; no confidence inflation, gate disable must inflate |
 | **D-HOLO-H12** | Semantic map of inference functions across OpenNARS, ONA, the NAL polyfill (and a MeTTa NAL if pinnable) | Queued (pre-registered, not run) | last system adds zero nodes in both orders; polyfill gaps named; differences classified as distinction or defect |
 | **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 everywhere; 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-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-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 |