D-HOLO H6c results; H14 pre-registered (full-row writes vs connected lane deltas)

.claude/board/AGENT_LOG.md

@@ -14,6 +14,11 @@
 - Card `substrate-mapper`, three units: lance 13 `dataset/mem_wal` (5 files, 187 items), lancedb 0.40 MemWAL/LSM (4 files, ~301 items), lance-graph persist sink (`persist_sink.rs`, `batch_writer.rs`, `blw_rows.rs`, `blw_tenant.rs`, 76 items).
 - Ledger: spot-checks 2/2 per map against source (`set_lsm_write_spec` :73, `execute_lsm_merge_insert` :666, `WalSink` :534, `recover_and_apply` :677, and the `LsmWriteSpec` public API); 0 wrong. One stale upstream doc found by the orchestrator, not by a card: `LsmWriteSpec`'s doc calls the `merge_insert` dispatch a follow-up, but `table/merge.rs:320` already dispatches it.
 - Cost: about 587k, 591k and 606k subagent tokens. The maps fed the pre-registration; no conclusion came from a card.
+## 2026-10-14 — D-HOLO H6c harvest: one substrate-mapper run
+
+- Card `substrate-mapper` (run as a general-purpose agent with the card pasted; the card is not in this session's agent list), unit: the merged `holo_tile_forms_probe.rs`, 93 items.
+- Ledger: spot-checks 3/3 (`Prod::binop` L127, `Hyb::settle` L359, `time` L622); 0 wrong, 0 missed. About 515k subagent tokens.
+- Outcome: the map located the sections copied into `holo_tile_crossover_probe.rs`; no conclusion came from the card.
 
 ## 2026-10-14 — D-HOLO H6b harvest: four substrate-mapper runs, one reply each
 

.claude/board/LATEST_STATE.md

@@ -1,3 +1,9 @@
+## 2026-10-15 — main after #1565 (merged `2379ddc2`); D-HL-5 probes on main
+
+- **On `main` (#1564, merged `703d6a94`):** six D-HL-5 thought-lane probes in `cognitive-shader-driver/examples` and the givens layer (hydration writes thought 0; contradicting hypotheses refused and recorded). Probes only; no production wiring.
+- **On `main` (#1565):** the kanban R1 test covers all nine verdicts from `CognitiveWork`.
+- **In PR:** #1566 (D-HOLO H14 lane storage, measured on v4), #1567 (D-WAL-6 version clock wired into `LanceCycleWriter`).
+
 ## 2026-10-15 — main after #1562 (merged `31ef1802`); D-WAL on main
 
 - **On `main` (#1562):** D-WAL-1/2/3 for `LanceCycleWriter` vs the lancedb 0.40 MemWAL path (probe, harness, example behind `lancedb-sdk`); entry `2026-10-15-d-wal-shootout.md`. No production wiring of MemWAL.
@@ -21,6 +27,11 @@
 - **Contract:** `RbacBinding::with_class_field_defaults(Vec<(u16, WideFieldMask)>)`. A role the authority declared no field mask for gets the class default instead of every field, so the union over a user's roles can no longer open a sensitive field through a mask-less role. Policy data keyed by classid; it never changes a declared mask and is dropped outside the plug. HubSPO-rs D-IAM-3 (POC). Tests: `rbac_plug::a_class_default_replaces_the_open_default_and_nothing_else`, `authorize::plug_tests::a_class_default_keeps_sensitive_fields_out_of_the_union`; both red with the lookup removed.
 - **Open (closed since):** OGAR's authority now sets the default (`GrantSource::default_field_mask_of`, OGAR #358); the output stage is `walk_rails_authorized` (above).
 
+## 2026-10-14 — main after #1553 (merged)
+
+- **On `main` (#1553, merged `a1abdf8f`):** D-HOLO H6b measured; H6c pre-registered.
+- **In PR:** D-HOLO H6c measured (`holo_tile_crossover_probe`): crossover at g = 8–12 holds; declared construction passes the structured rule; no switch certified under the max-over-fixtures rule.
+
 ## 2026-10-14 — main after #1552 (merged)
 
 - **On `main` (#1552, merged `98c03dd1`):** the Haiku harvest tier (six cards, supervision rules); policy only.

.claude/board/PR_ARC_INVENTORY.md

@@ -1,3 +1,17 @@
+## 2026-10-15 — lance-graph PR #1565 (merged `2379ddc2`, branch `ccr-9f3b8075-74u47l-r1-test`, head `39ad8b1a`, 1 commit) — contract: the R1 test checks every verdict from `CognitiveWork`
+
+- **Added:** `kanban.rs` R1 test walks all nine (effect, counterfactual) verdicts from `CognitiveWork`: none reopens the goal, the one accepted verdict moves on to `Evaluation`, the other eight leave the column unchanged.
+- **Locked:** moving on to `Evaluation` is not a goal revision; the goal is revised in the postactional phase. The old comment ("refused whatever the verdict") was false since #1560.
+- **Deferred / open:** whether an accepted verdict should move `CognitiveWork` mid-action or wait for the action to finish.
+- **Confidence:** high; disable run red (routing `NoIncrease` to `Plan`).
+
+## 2026-10-15 — lance-graph PR #1564 (merged `703d6a94`, branch `ccr-9f3b8075-74u47l-thought-lanes`, head `83b5cf58`, 25 commits) — D-HL-5 thought lanes: layer probes and the givens layer
+
+- **Added:** six in-memory probes in `cognitive-shader-driver/examples`, each pre-registered in `ce64-hypothesis-layers-v1.md` before it was written: `thought_layers_probe`, `delta_granularity_probe`, `lane_trie_probe`, `identity_session_probe`, `coverage_orientation_probe`, `givens_layer_probe`. Entries `2026-10-14-{delta-granularity-economics,lane-trie-economics,identity-sessions-morton,coverage-orientation}.md`, `2026-10-15-givens-layer.md`; STATUS D-HL-5 row.
+- **Locked:** only hydration writes layer 0; a hypothesis contradicting a given is refused and recorded; bits 59..63 hydrate as one `EpistemicState5`, capped at `Related` by the proofs that ran; one read-only table per (classid, sealed version) behind a `LazyLock`. Count queries keep both per-thought masks and per-row words and route per query (1.1 ns per perspective count). v4: hydration 34 ns per row, given-checked write 73 ns per cell, merged point read 2.3 µs.
+- **Deferred / open:** the merged point read (about 21 overlay entries per row) is the open cost; persistence and the H1–H6 decision rule are not run.
+- **Confidence:** medium; tests written first and red against stubs, disable runs red; timings on one v4 VM.
+
 ## 2026-10-15 — lance-graph PR #1562 (merged `31ef1802`, branch `ccr-9f3b8075-74u47l-wal-shootout`, head `e38779f5`, 19 commits) — D-WAL: LanceCycleWriter vs MemWAL measured; capped session cache, version clock, copy-free temporal projections
 
 - **Added:** plan `wal-shootout-v1.md`; probe `tests/wal_shootout_probe.rs` (V1–V4, behind `lancedb-sdk`), harness `tests/wal_common/`, examples `wal_shootout` and `wal_rss_probe`; `LanceCycleWriter` session capped at `SESSION_METADATA_CACHE_BYTES` (8 MiB) on create and open; contract `temporal_pov::{VersionClock, ClockError}`; `temporal.rs` index forms (`deinterlace_indices`, `local_trajectories_indices`, `local_trajectory_indices_of`); entry `2026-10-15-d-wal-shootout.md`; STATUS rows D-WAL-1..7, D-LNC-7.
@@ -12,6 +26,13 @@
 - **Deferred / open:** D-MTP-2..5 (named `LanceSpace`, recursion via the external driver, the trie width fix upstream, PeTTa in the probes); the order witness is probe-local.
 - **Confidence:** high for equality (disable runs red as pre-registered); timings are best of 5 over three runs on one VM.
 
+## 2026-10-14 — lance-graph PR #1553 (merged `a1abdf8f`, branch `ccr-9f3b8075-74u47l-holo-h6b`, head `c25573e3`, 3 commits) — D-HOLO H6b measured; H6c pre-registered
+
+- **Added:** example `holo_tile_forms_probe` (P / I / D / H on the 256 × 256 Context × Operation tile, 14 patterns incl. the doughnut, row-oracle tests); H6b results; H6c pre-registration; board entry `2026-10-14-d-holo-h6b.md`; the #1552 arc entries.
+- **Locked:** H6b structured rule NOT MET (the 65,536-cell build dominates at N = 100; P 0.21–0.73× D per query); the hybrid's byte switch refuted by sparse and dense (1.8–4.8× D); P's cost follows its group count.
+- **Deferred / open:** the terminal selector stays held; H6c measures the group switch, the crossover and declared construction.
+- **Confidence:** medium; three disable runs red, three timing runs, ~40 % VM noise.
+
 ## 2026-10-14 — lance-graph PR #1552 (merged `98c03dd1`, branch `ccr-9f3b8075-74u47l-haiku-harvest`) — Haiku harvest tier: six cards and their supervision rules
 
 - **Added:** cards `.claude/agents/{harvest-scout,census-counter,quote-harvester,substrate-mapper,spec-editor,guarded-executor}.md`; `tiered-agent-execution-protocol.md` § Haiku harvest tier (card table, brief sizing, supervision rules, mapping a large surface); CLAUDE.md Model Policy rewritten; BOOT files, worker template, cca2a and v3 BOOT aligned; AGENT_LOG entries for the first runs; #1551 board entries.

.claude/board/STATUS_BOARD.md

@@ -37,11 +37,12 @@ Plan: `.claude/plans/relalg-v1.md`. Crate: `crates/lance-graph-relalg` (own work
 | **D-HOLO-H5** | Coordinate-native vs coordinate-crossing: prefix count, perspectives, reverse `memberOf` with inverse build/update cost | Measured 2026-10-14, corrected after review: Q1 CONFIRMED at N = 100 (31–37×), FAILS at N = 1 (1.3–1.4×, the occupancy build dominates); Q2 passes only with row words stored; plane inverse refuted on Q3b (break-even > 1,000) | == row oracle; Range ≥ 5× sweep; break-even N reported; permuted-tile run disagrees |
 | **D-HOLO-H6** | Closure of address restrictions as interval sets vs masks vs value sweep | Measured 2026-10-14: HOLDS; symbolic cheapest in all 24 cells | == row oracle; symbolic cost flat in area, linear in interval count |
 | **D-HOLO-H6b** | Product normal form vs Morton intervals vs dense mask vs hybrid on the Context × Operation reading of the `u8:u8` tile; construction, normalization, ∩/∪/¬, emptiness, equality, bytes, reuse at N = 1..1,000 | Measured 2026-10-14: structured rule NOT MET (build dominates at N = 100; P 0.21–0.73× D per query); hybrid passes checkerboard and random 50 %, fragmented 1.19–1.33; byte switch refuted by sparse/dense (H 1.8–4.8× D); group count, not bytes or density, tracks P's cost | == row oracle; structured patterns ≤ 0.5× dense at N = 100; hybrid ≤ 1.25× dense on adversarial patterns; component count vs density as predictor reported |
-| **D-HOLO-H6c** | Group-count crossover (g = 1..64, blocked vs interleaved), a group-count switch for the hybrid, and construction from a declaration with the same declaration for every arm | Queued (pre-registered, not run) | == row oracle; P/D per query crosses 1 between g = 4 and 16 in both layouts; H' ≤ 1.25× D everywhere and never ≥ 2×; declared structured rule P or H ≤ 0.5× D at N = 100 |
+| **D-HOLO-H6c** | Group-count crossover (g = 1..64, blocked vs interleaved), a group-count switch for the hybrid, and construction from a declaration with the same declaration for every arm | Measured 2026-10-14: Q1 HOLDS (crossover g = 8–12, both layouts); Q2 not shown (G = 8 worst query 1.21–2.28× D vs byte switch 9.8–15.1×; max-over-fixtures rule noise-bound); Q3 PASS (declared build: P or H 0.32–0.42× D at N = 100) | == row oracle; P/D per query crosses 1 between g = 4 and 16 in both layouts; H' ≤ 1.25× D everywhere and never ≥ 2×; declared structured rule P or H ≤ 0.5× D at N = 100 |
 | **D-HOLO-H8** | One formula in three domains: logical algebra, physical realization and semantic leakage compared separately | Queued (pre-registered, not run) | no semantic leakage; families grow only with representation and value algebra |
 | **D-HOLO-H9** | Relational emptiness decided symbolically (empty operand, disjoint domains, contradictory constraints) vs by fold | Queued (pre-registered, not run) | zero false empties; fraction decided symbolically reported |
 | **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 (positional per-row lane mask for C) open | == 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-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 |

.claude/board/entries/2026-10-14-d-holo-h6c.md

@@ -0,0 +1,17 @@
+# 2026-10-14 — D-HOLO-H6c — group-count crossover, group switch, declared construction (measured)
+
+**Status:** MEASURED (v4, avx512f, three runs). Plan `.claude/plans/d-holo-address-indexed-algebra-v1.md`,
+§ Results: H6c. Probe: `crates/lance-graph-mask-risc/examples/holo_tile_crossover_probe.rs`.
+
+**Outcome:**
+- Q1 HOLDS: P/D per query crosses 1 between g = 8 and 12 (once 12 and 16), in both layouts; P is
+  0.14–0.49× D up to 4 groups and 9.4–12.4× D at 64.
+- Q2 not shown: the group switch at G = 8 is far better than H6b's byte switch (worst query
+  1.21–2.28× vs 9.8–15.1× D), but the registered max-over-38-fixtures rule gives undecided / fail /
+  pass across the three runs; the worst fixture changes every run.
+- Q3 PASS: built from a declaration (0.3–0.7 µs, vs ~0.3 ms for the cell sweep), P or H is
+  0.32–0.42× D at N = 100 on row, column, rectangle and prefix in every run; P is cheaper from
+  the first query.
+
+**Open:** the selector stays held. A noise-robust criterion for Q2 (per-fixture median over runs),
+and whether mid-query conversion to D should be allowed (the doughnut at G = 2 pays 1.8–1.9× for it).

.claude/board/entries/2026-10-15-d-holo-h14-lane-storage.md

@@ -0,0 +1,18 @@
+# D-HOLO-H14 — full row vs connected delta vs inverted fold (v4, 2026-10-15)
+
+**Status:** MEASURED. Plan: `.claude/plans/d-holo-address-indexed-algebra-v1.md` (H14, two amendments, results).
+**Probe:** `crates/lance-graph-mask-risc/examples/holo_lane_storage_probe.rs`; `tier: v4 (avx512f)`; one class timed.
+
+- C (per-lane tables indexed by the row address, presence masks folded) wins
+  every counting query: F1 10–24× faster than B, F2 39–256× (0.017–0.59 ns
+  per aperture row against B's 0.86–109).
+- C loses every merge-on-read: full-row read 259–1,529 ns against B's
+  51–1,005 and A's 38–152; the merge probes every touched lane table.
+- Bytes handed to the writer: C ≈ B (0.7–1.2×), both far below A at low k.
+- Rule: C default not met (reads), B default over A not met (B's reads at
+  100 % dirty up to 4.6× A at k = 4). Returns to the operator; crossover stated in the
+  plan.
+
+**OPEN:** H14b — C plus a positional per-row lane mask, so merge-on-read
+reads only the k changed tables; 16 classes untimed; C's seal at low dirt is
+page-fault bound.

.claude/board/entries/README.md

@@ -25,13 +25,14 @@ index row, (3) no duplicate entry id. Checks 1 and 2 are deliberately
 opposite directions; the stranding this convention prevents shows up in
 exactly one of them, never both.
 
-341 entries, 2026-08-06 .. 2026-10-15.
+343 entries, 2026-08-06 .. 2026-10-15.
 
 | date | entry id | finding | file |
 |---|---|---|---|
 | 2026-10-15 | `ledger-correction-wire-contract` |  | [2026-10-15-ledger-correction-wire-contract.md](2026-10-15-ledger-correction-wire-contract.md) |
 | 2026-10-15 | `givens-layer` |  | [2026-10-15-givens-layer.md](2026-10-15-givens-layer.md) |
 | 2026-10-15 | `D-WAL` | `LanceCycleWriter` vs the lancedb 0.40 MemWAL write path (measured) | [2026-10-15-d-wal-shootout.md](2026-10-15-d-wal-shootout.md) |
+| 2026-10-15 | `D-HOLO-H14` |  | [2026-10-15-d-holo-h14-lane-storage.md](2026-10-15-d-holo-h14-lane-storage.md) |
 | 2026-10-14 | `revision-layer-invariants` |  | [2026-10-14-revision-layer-invariants.md](2026-10-14-revision-layer-invariants.md) |
 | 2026-10-14 | `D-MTP-0` | where Hyperon/MeTTa attaches to the masking-algebra polyfill | [2026-10-14-metta-polyfill-map.md](2026-10-14-metta-polyfill-map.md) |
 | 2026-10-14 | `ledger-revision-after-1553` |  | [2026-10-14-ledger-revision-after-1553.md](2026-10-14-ledger-revision-after-1553.md) |
@@ -41,6 +42,7 @@ exactly one of them, never both.
 | 2026-10-14 | `delta-granularity-economics` |  | [2026-10-14-delta-granularity-economics.md](2026-10-14-delta-granularity-economics.md) |
 | 2026-10-14 | `D-MTP-1b` | the hop as a range (measured) | [2026-10-14-d-mtp-1b-range-hop.md](2026-10-14-d-mtp-1b-range-hop.md) |
 | 2026-10-14 | `D-MTP-1` | the MeTTa two-hop join through Quack Semijoin (measured) | [2026-10-14-d-mtp-1-join.md](2026-10-14-d-mtp-1-join.md) |
+| 2026-10-14 | `D-HOLO-H6c` | group-count crossover, group switch, declared construction (measured) | [2026-10-14-d-holo-h6c.md](2026-10-14-d-holo-h6c.md) |
 | 2026-10-14 | `D-HOLO-H6b` | normal forms on the Context × Operation tile (measured) | [2026-10-14-d-holo-h6b.md](2026-10-14-d-holo-h6b.md) |
 | 2026-10-14 | `D-HOLO` |  | [2026-10-14-d-holo-falsifiers.md](2026-10-14-d-holo-falsifiers.md) |
 | 2026-10-14 | `coverage-orientation` |  | [2026-10-14-coverage-orientation.md](2026-10-14-coverage-orientation.md) |