D-STAUNEN-5: resident recursive plasticity, plan + P0/P1

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,8 @@
+## 2026-11-01 — D-STAUNEN-5: resident recursive plasticity → `.claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md`
+
+**Status:** PROPOSED, plan only. **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-STAUNEN-5. First closed learning loop on the XLOG-on-cube foundation: one binary relation, its transitive closure as the prediction, a declared set of dormant candidate edges. A novel stimulus (an observed pair the closure misses) licenses one activation, under the contract of Atlas's `update_mask` (fixed mask shape, 0/1, atomic between sequences, regrowth clears history, needs committed state) plus a generation guard; Atlas is the contract source, not the executor. The delta stays in the cube as `ndarray::simd` mask words. Two competing policies (H1 parsimony, H2 novelty × eligibility) are scored on held-out pairs from a hidden graph; later evidence consolidates or reverts each update, and a selector learns which policy to use. Also records the xlog-cube coverage order (projection composition, mask filters, resident execution, computed columns, F100, N-ary gated) and that 140/230 measures admission, not checked answers.
+**Confidence:** plan; Atlas contract read from `brian2-atlas` `dev` `9ec52f9`; no code yet.
+
 ## 2026-10-31 — D-DT64-7: behaviour addressing and registration → `.claude/plans/d-dt64-7-behaviour-addressing-registration-v1.md`
 
 **Status:** PROPOSED, docs only. **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-DT64-7. Behaviour for fixed relalg is Frozen (compile time, at `0xFFFF :: 0xF###`, registered by DT64 as delegate for `lance-graph-ogar` without asking `ogar-vocab`; the range names the concern: relalg, XLOG, ONNX, TFLite, SQL, Gremlin), Learned (registered in the `BindStore` at `Domain::AppId :: 0xF###`, withdrawn only by its registrant, never deleted) or Explore (not registered). ONNX, SQL and Gremlin are Frozen; the R2IL codegraph harvest is Learned / Explore; XLOG is Learned in the lab and Frozen once minted as `lance-graph-xlog`. Findings: the Frozen polyfill is runtime-declared and named through `ogar-r2il`'s vocabulary; only routes can be withdrawn; registration moves no version; no activation is consulted; `classid_canon_compat` misreads a legacy left-empty classid (it reads `0xFFFF` correctly); the global → local selection is not yet a versioned table.

.claude/board/STATUS_BOARD.md

@@ -72,7 +72,8 @@ Plan: `.claude/plans/d-soc-fence-v1.md`. Plan only; nothing runs yet.
 | D-XLOG-NATIVE-6 | probe executes on `ndarray::simd` (`src/native.rs`): support via `eq_u32_to_mask` / `mask_scatter_or_u32` / `mask_and`, bag count via `masked_group_count_u32` ×2 + `checked_binary_i64`; DR `LocalMap` up to 256; register path kept as differential (plan Amendment B) | Shipped (#1884) | lab probe; layering fix is D-DYNBAG-0 |
 | D-XLOG-NATIVE-5 | bag count bound through the production bind store (`lance-graph-dt64` + `dt64::dr`), polyfill words by position; Epi5 reading of XLOG results pinned (plan Amendment A) | Shipped (#1884) | lab execution only |
 | D-XLOG-NATIVE-7 | resident hypercube context (`lance_graph_xlog::cube`): one intake for every relation, `Copy` view handles, terminals only run programs; XLOG plans executed on it in the XLOG fork (`xlog-cube`) | In PR (#1911; xlog#2): parity + 300-case differential; 12/230 integration rules admitted | recursion, derived inputs |
-| D-XLOG-NATIVE-8 | XLOG behaviour lens `0xFFFF :: 0xF100` (`lance_graph_xlog::lens`): `functor`/`arg`/`=..` by position with helper-relation aliases; `declare` binds column counts as `arity` (side effect documented) | In PR | consumer half in xlog#2 |
+| D-XLOG-NATIVE-8 | XLOG behaviour lens `0xFFFF :: 0xF100` (`lance_graph_xlog::lens`): `functor`/`arg`/`=..` by position with helper-relation aliases; `declare` binds column counts as `arity` (side effect documented) | Shipped (#1913) | consumer half in xlog#2 |
+| D-STAUNEN-5 | resident recursive plasticity: novelty-gated activation of one declared candidate edge (Atlas `update_mask` shared contract), in-cube mask delta, H1 parsimony vs H2 eligibility, consolidate/revert, policy selection (plan P0–P7) | In progress (#1914): P0 fixtures + oracle done; P1 resident closure matches the oracle bit for bit (400 random graphs to position 63), 4 disable runs red; xlog-cube comparison pending its `r(V,V)` fixture | P2–P7 gated |
 
 ## D-LITHO — the photolithography contract (2026-10-30)