d-rmap: palette generation in the binding, and versioning derived from Thought Git and #1605

.claude/board/STATUS_BOARD.md

@@ -8,6 +8,7 @@ These PRs merged with no board rows. Every row below is a PROPOSAL (documents an
 | **graph_hop quarantine** (#1616) | `lance-graph-mask-risc::graph_hop::OutgoingHop` (two `MaskOp::Gather` + `ScatterOrU32`) | BLOCKED — compiled only under the off-by-default `quarantined-gather-hop` feature | default build: `compile_fail` doctest proves `OutgoingHop` unreachable (disable-verified); `ISS-GATHER-HOP-1616` |
 | D-RMAP-1 | implicit RelationshipMap and focus-relative registers (`d-rmap-implicit-relationship-register-v1.md`) | PROPOSAL (superseded on ownership by D-RMAP-1A) | falsifier matrix F0–F10 in the plan |
 | D-RMAP-1A | separate map tables, borrowed projections, thought-selected palettes (`d-rmap-separate-tables-thought-palettes-v1.md`) | PROPOSAL; generation witnesses corrected 2026-10-19 (§6a) | refusal on map regeneration, palette-slot reassignment, focus-slot reuse, incarnation reuse, stale tile, cross-tenant change |
+| D-RMAP-1A-V | versioning crosswalk: map/palette/binding generations derived from D-TGA `ThoughtCommitId` + #1605 `DurableRef`; focus generation and index seal retained (`d-rmap-separate-tables-thought-palettes-v1.md` §7) | PROPOSED; no code, no type; falsifiers specified, none run | X1–X9 in §7.4 (cross-dataset, compaction, palette ABA, slot reuse, uncommitted change, rebase, authorization, squash+replay, deletion/DRed) |
 | D-RMAP-2 | context-declaration reuse and GraphBLAS/BF16 tile probe (`d-rmap-2-context-tile-algebra-probe-v1.md`) | PROPOSAL; not run | arms 1–5 in the plan; 297× (D-GTM-0j) is not evidence |
 | D-SRAM-0 | inventory Soufflé AST/ast2ram/RAM passes against D-ASM/D-RA/D-TGA owners | Queued | evidence per mapped pass; no code imported |
 | D-SRAM-1 | bound AST → RAM-like schedule for pure conjunctive selection | Queued | same answers and read sets on hand-built fixtures; unsupported ops typed-refused |

.claude/board/entries/2026-10-19-d-rmap-thought-git-versioning.md

@@ -0,0 +1,17 @@
+# 2026-10-19 — D-RMAP-1A §7: RelationshipMap versioning reads Thought Git and #1605
+
+**Status:** PROPOSED. Documentation only; no code, no type, no falsifier run.
+
+**Plan:** [d-rmap-separate-tables-thought-palettes-v1.md §7](../../plans/d-rmap-separate-tables-thought-palettes-v1.md)
+
+**Decision (PROPOSED):** D-RMAP keeps no durable revision counter. Map generation and palette generation are readings of `DurableRef{dataset, branch, version}` (sealed) or `ThoughtCommitId` (speculative); the thought-palette binding is `(ThoughtCommitId, palette generation)`, replacing `(slot, incarnation)`. Focus generation stays an ephemeral frame-local witness. The index seal stays separate unless RelationFacts uses stable row ids (H14c-5: compaction moved 3 510 of 3 510 `_rowid`s without them, 0 with them). Authorization scope stays its own key component. Replay reads `QueryReference::at(v, rung)` with `Strict`, never `QueryReference::default()`.
+
+**Measured in code (read 2026-10-19):** no version type carries a dataset or branch (`temporal.rs` and `temporal_pov.rs` `LanceVersion = u64`, `scheduler.rs` `DatasetVersion(u64)`); `versioned.rs::commit_encounter_round` writes three datasets and returns only the nodes version; `AlphaStamp.visits` saturates and is not a generation; D-TGA has no thought incarnation.
+
+**Gaps filed into the source plans:** `ThoughtCommitId` must be never-reused (thought-git-api-v1, causal-pickaxe); a dirty bit for writes after the last commit (thought-git-api-v1); multi-dataset writes need one `DurableRef` per dataset or a refusal (both).
+
+**Falsifiers specified:** X1–X9 (§7.4), each a named refusal with the disable that must turn it red.
+
+**Entropy:** ENTROPY-MILESTONES M28 (version spellings → `DurableRef` + `ThoughtCommitId`).
+
+**Unchanged:** no CE64 change, no new executor or store, no per-fold commit, the no-gather ruling stands.

.claude/board/entries/README.md

@@ -25,11 +25,12 @@ 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.
 
-370 entries, 2026-08-06 .. 2026-10-19.
+371 entries, 2026-08-06 .. 2026-10-19.
 
 | date | entry id | finding | file |
 |---|---|---|---|
 | 2026-10-19 | `post-merge-recovery-1601-1617` |  | [2026-10-19-post-merge-recovery-1601-1617.md](2026-10-19-post-merge-recovery-1601-1617.md) |
+| 2026-10-19 | `D-RMAP-1A` |  | [2026-10-19-d-rmap-thought-git-versioning.md](2026-10-19-d-rmap-thought-git-versioning.md) |
 | 2026-10-19 | `D-RMAP-1` |  | [2026-10-19-d-rmap-implicit-relationship-register.md](2026-10-19-d-rmap-implicit-relationship-register.md) |
 | 2026-10-17 | `thinking-tables-wiring` |  | [2026-10-17-thinking-tables-wiring.md](2026-10-17-thinking-tables-wiring.md) |
 | 2026-10-17 | `D-ASM-11` |  | [2026-10-17-pgring-idea-catalogue.md](2026-10-17-pgring-idea-catalogue.md) |

.claude/plans/causal-pickaxe-resident-git-lance13-temporal-v1.md

@@ -304,3 +304,22 @@ The JSON preregistration adds `CPG-18`–`CPG-25` and **does not constitute exec
 **Review gate:** treat the porcelain feature as **DESIGN-ONLY** until D-TGA's falsifiers, H14c/H14d operators, strict temporal horizon enforcement, source-root policy, and stable-row/branch API probes have actual passing fixtures. A presentable CLI is not evidence of a correct reasoning engine.
 
 **Summary:** **One porcelain, one typed meaning, one mask execution substrate, one evidence policy, one durable writer.** Git makes epistemic algebra approachable precisely because it does not replace that algebra.
+
+## Gaps found by D-RMAP-1A §7 (2026-10-19, PROPOSED)
+
+D-RMAP-1A §7 keys every relation-map binding on `ThoughtCommitId` and
+`DurableRef` from §1. Three points this plan leaves open:
+
+1. **`ThoughtCommitId` reuse.** "Stable while retained" does not say whether
+   an id can return after its thought is discarded. A binding keyed on it
+   needs *never reused*.
+2. **No version in code is dataset-scoped.** `temporal.rs` and
+   `temporal_pov.rs` both define `LanceVersion = u64`, `scheduler.rs` has
+   `DatasetVersion(u64)`, and `QueryReference` has no dataset or branch. The
+   read coordinate is the pair (`DurableRef`, `QueryReference`); neither
+   alone is a generation.
+3. **`versioned.rs` writes three datasets and returns one version.**
+   `commit_encounter_round` returns the nodes version and drops the edges and
+   fingerprints versions. CPG-2's `DurableRef` adapter has to cover a write
+   that spans datasets, or refuse one.
+