diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index ea926f080..310a169b5 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,7 @@ +## 2026-10-07 — lance-graph #1398 MERGED (`89694cc`) + +- D-PUZZLE-ATTN-0, probe-only (no contract change): shared crossword core in `cognitive-shader-driver/examples/shared/crossword_core.rs`, slot-policy probe `crossword_attention_probe.rs`. + ## 2026-10-07 — lance-graph #1397 MERGED (`4a0a72c`); D-PUZZLE-ATTN-0 on branch - #1397: D-CE64-CYCLE-0, probe-only (no contract change). diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 26445cac3..5377ebecf 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,10 @@ +## 2026-10-07 — lance-graph PR #1398 (merged `89694cc`, branch `claude/epistemicstate5-ce64-bits-3oe0dq`, head `ce63247`, 4 commits) — D-PUZZLE-ATTN-0: entropy as the focus of attention on crosswords + +- **Added:** the #1387 crossword core moves unchanged to `cognitive-shader-driver/examples/shared/crossword_core.rs`; `crossword_attention_probe.rs` (`test = true`; 8 tests, 7 run by default + `dump_small` ignored; the example binary also runs the 2 shared `population_fold` fence tests) compares slot policies with puzzles, propagation and value order held fixed. +- **Locked (test-pinned):** popcount (uniform entropy) beats fixed order and widest-first; frequency-weighted Shannon costs more than popcount; dom/wdeg differs from popcount only after a failure; a contradiction has no entropy. 7 disable runs red. +- **Deferred / open:** Shannon as value ordering; one prior, one vocabulary, sides 5 and 7; no CE64 register in this loop. +- **Confidence:** medium — 20 created + 20 empty puzzles, one vocabulary. + ## 2026-10-07 — lance-graph PR #1397 (merged `4a0a72c`, branch `claude/epistemicstate5-ce64-bits-3oe0dq`, head `ea16f16`, 3 commits) — D-CE64-CYCLE-0: what a CE64 register must carry across cycles - **Added:** `staunen_scheduler_probe.rs` gains `run_with(opts)`, a lazy-stamp heap scheduler, a FIFO worklist baseline, wall-clock windows with continuation, `Forget` arms, the #1390 Simpson + trial population, attractor and quadrant readings, dense 1k..1M windows; comparative tests pool 3 seeds. diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index df0edeba3..f1c6c1070 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -48,7 +48,7 @@ Plan: `.claude/plans/2026-10-06-global-sudoku-replayable-orchestration-v1.md`. O | **D-EPI-CANON-0** | Canonical joint `EpistemicState5` reading of bits 59..63 in the contract | Shipped (#1381) | `contract::epistemic_state5`: Cartesian `Topology2 × Certification3`, `raw5 = t \| c << 2`, 24 meaningful / 8 reserved; per-factor facts; declarations + `project_state5`; `CausalEdge64::{epistemic_raw5, with_epistemic_raw5}`; non-declared-reading writers deprecated | | **D-EPI-POP-0** | Facts → 32-state population: the missing operator between one edge's coordinate (u5) and a semantic condition over all coordinates (u32) | Shipped (#1381) | `contract::epistemic_state5::{Population, facts_population, EpistemicState5::bit}`: `const fn`, no DSL / query object / planner. Tests pin exact sets (`CAUSES` = {20..23}, `IND_UNKNOWN \| RELATED` = {10,14,18,22}, `IND_KNOWN \| SUPPORTS` = {13,17,21}, `RELATED` = 8..23), operator == state enumeration over all 2048 requirements with no reserved code, conjunction == intersection; 2 disable runs red (any-of semantics; reserved read as fact-less) | | **D-EPI-LEGACY-DEPROJECT-0** | Deproject the remaining `ReasoningBand` / CE64-`TrustTexture` consumers: each goes to an exact coordinate, a `facts_population(..)`, MUL, or another subsystem (e.g. counterfactual context) — never a 1:1 replacement enum | Shipped (#1381) | `entries/2026-10-07-epi-legacy-deprojection.md`: 6 ReasoningBand caller sites (1 certification question, 1 non-interference witness → both exact coordinates; 2 context/obsolete → compat; 2 refusal witnesses), 0 production CE64 `TrustTexture` consumers, 4 `TrustTexture` types with no bridge; `EdgeRole::band` removed; hinge + V3 lift migrated; 4 code loops → `facts_population` | -| **D-PUZZLE-ATTN-0** | Entropy as the focus of attention on crosswords (`cognitive-shader-driver/examples/crossword_attention_probe.rs`, shared `crossword_core.rs`) | In PR | popcount (uniform entropy) needs 14.5× fewer nodes than fixed order to prove uniqueness; frequency-weighted Shannon costs 5.9× more than popcount; dom/wdeg reaches first fills sooner (41k vs 92k on open puzzles); contradiction rate flat within a search (`entries/2026-10-07-puzzle-attn-0-entropy-attention-crosswords.md`) | +| **D-PUZZLE-ATTN-0** | Entropy as the focus of attention on crosswords (`cognitive-shader-driver/examples/crossword_attention_probe.rs`, shared `crossword_core.rs`) | Shipped (#1398) | popcount (uniform entropy) needs 14.5× fewer nodes than fixed order to prove uniqueness; frequency-weighted Shannon costs 5.9× more than popcount; dom/wdeg reaches first fills sooner (41k vs 92k on open puzzles); contradiction rate flat within a search (`entries/2026-10-07-puzzle-attn-0-entropy-attention-crosswords.md`) | | **D-CE64-CYCLE-0** | Cross-cycle executor experiments on the surprisal scheduler: forget arms, FIFO baseline, 350 ms windows, 1k..1M folds, attractors | Shipped (#1397) | the next cycle needs evidence table + register (Epi5) + attention state; H and bits 40..42 are derived/echo; pooled 3 seeds: no wake advantage over round-robin, 11% fewer folds; FIFO fits 1M folds in a 350 ms window at ~220 ns/fold, the heap scheduler ~440k at ~800 ns (`entries/2026-10-07-ce64-cycle-0-cross-cycle-executor.md`) | | **D-CE64-STAUNEN-0** | Surprisal scheduler over many CE64 basins across windows (`lance-graph-planner/examples/staunen_scheduler_probe.rs`) | Shipped (#1395); wake claim corrected by D-CE64-CYCLE-0 (pooled: no wake advantage) | naive raw surprise is captured by noise (resolved 0.649); habituation + learning progress fix it (0.952, wake 4.2 windows vs round-robin 5.1); round-robin still resolves slightly more (0.964); bits 50..52 left as plasticity (`learn` gates on them); 18 tests, 13 disable runs red (`entries/2026-10-07-ce64-staunen-0-surprisal-scheduler.md`) | | **D-CE64-LOOP-0** | Bounded self-orchestrating fold loop over one CE64 register (`lance-graph-planner/examples/self_orchestration_probe.rs`) + bits 40..63 census | Shipped (#1395) | combined policy reaches `IndirectKnown × Causes` with H ≤ 0.5 bit in 3 folds (round-robin 10, random median 14); ~830 ns/fold release; 15 tests in CI, 11 disable runs red; H and activation stay out of the register (`entries/2026-10-07-ce64-loop-0-self-orchestration.md`) | diff --git a/.claude/board/entries/2026-10-07-puzzle-attn-0-entropy-attention-crosswords.md b/.claude/board/entries/2026-10-07-puzzle-attn-0-entropy-attention-crosswords.md index 251df0e05..f837b9f8a 100644 --- a/.claude/board/entries/2026-10-07-puzzle-attn-0-entropy-attention-crosswords.md +++ b/.claude/board/entries/2026-10-07-puzzle-attn-0-entropy-attention-crosswords.md @@ -1,6 +1,6 @@ # 2026-10-07 — D-PUZZLE-ATTN-0: on crosswords, uniform entropy focuses search; frequency-weighted Shannon misdirects it -**Status:** TEST-PINNED (`crates/cognitive-shader-driver/examples/crossword_attention_probe.rs`, `test = true`, 9 tests run by the shader-driver `cargo test` step). MEASURED (`cargo run --release -p cognitive-shader-driver --example crossword_attention_probe`; 20 created puzzles and 20 empty NYT grids, sides 5 and 7; 200,000 nodes per run). +**Status:** TEST-PINNED (`crates/cognitive-shader-driver/examples/crossword_attention_probe.rs`, `test = true`; 8 tests, 7 run by the shader-driver `cargo test` step plus `dump_small` ignored; the same binary also runs the 2 shared `population_fold` fence tests, which is where the earlier "9" came from). MEASURED (`cargo run --release -p cognitive-shader-driver --example crossword_attention_probe`; 20 created puzzles and 20 empty NYT grids, sides 5 and 7; 200,000 nodes per run). ## DECISION