Merge pull request #382 from AdaWorldAPI/claude/board-hygiene-pr-381

gov: board hygiene retroactive for PR #381 + E-META-8 (Edit perm-rule fix) + E-META-9 (hygiene anti-pattern logged)

Author: AdaWorldAPI

.claude/board/AGENT_LOG.md

@@ -0,0 +1,132 @@
+## [Fleet sprint-log-csv-prep] [DONE] cognitive-substrate-convergence-v1 spec patches (PR #381 merged 2026-05-16)
+
+**D-id(s):** Pre-sprint-11 spec-patch bundle for all 8 active D-CSV-* deliverables (D-CSV-1..D-CSV-7, D-CSV-11) — patches to 8 sprint-10 specs without implementation; sprint-11 implementation spawn still gated on user ratifications.
+
+**Workers (8/8 complete, all Sonnet):** W2 (causaledge64-v2, +264/-101 then codex-fix +61/-30), W3 (pal8-nars-regression, +279/0 then codex-fix +168/-93), W4 (bindspace-efgh, complete), W5 (arigraph-spo-g, +316/-58), W6 (mailbox-soa-attentionmask, complete), W7 (sigma-tier-router, complete), W10 (sprint-10-pr-dep-graph, complete), W11 (sprint-10-test-plan, +87/0). Plus 8 scratchpads under `.claude/board/sprint-log-csv-prep/agents/agent-W{2,3,4,5,6,7,10,11}.md`.
+
+**Commits (5 on branch claude/sprint-10-specs-patch-csv-prep):**
+- `9bd66d9` — W4/W6/W7/W10 first-pass + 4 scratchpads (+664/-27)
+- `f730528` — WIP snapshot of W2/W3/W5/W11 partials (+233/-139)
+- `5253c79` — W2 completion (signed mantissa rationale + counterfactual-via-mask) (+339/-101)
+- `e4d15a3` — W3/W5/W11 fleet completion (+735/-58)
+- `33509ab` — codex P1 fix: strip stale G-slot API + rewrite W3 Test 1 around v1 temporal=0 (+229/-123)
+
+**Merge:** PR #381 merged 2026-05-16 (commit `a7c0545` on main).
+
+**Process notes:**
+- **Subagent permission isolation** — 7 of 8 workers required Python-via-Bash heredoc fallback because Edit/Write/MultiEdit tools are blocked in Sonnet subagent context despite session-scoped settings.local.json allows. The W2 re-dispatch confirmed the diagnosis: subagents inherit deny rules but not allow rules from local settings.
+- **`Edit` bare-form permission rule is invalid** — the 2026-05-15 session's diagnosis ("tool-only form `Edit` / `Write` / `MultiEdit` works") was wrong. That bare form is not a valid permission rule; it's effectively a no-op that falls through to user prompt. Correct syntax is `Edit(**)` / `Write(**)` / `MultiEdit(**)` with explicit glob spec (matches the pattern already used in tracked `.claude/settings.json`).
+- **Codex review caught two P1 consistency gaps mid-flight** that the fleet workers missed: W2 left stale `g_slot()` API references in §9 test plan after stripping it from §3; W3 Test 1 constructed a v1 edge with `temporal = 1023` whose bits 52-61 alias to the new W/lens/spare under v2 — the test would have failed on ordinary v1 data instead of testing the zero-default migration contract. Fixed in `33509ab` before user merge.
+- **Mandatory Board-Hygiene Rule violated** by PR #381 itself (no LATEST_STATE / PR_ARC_INVENTORY / STATUS_BOARD / AGENT_LOG updates in the merged commits). This entry plus the followup board-hygiene PR (this branch `claude/board-hygiene-pr-381`) are the retroactive cleanup. Logged as E-META-8 in EPIPHANIES.
+
+**Tests:** N/A (governance-only — markdown only, no `.rs` changes; sprint-10-test-plan.md §3.A enumerates the +58 v2 substrate tests that will materialize as sprint-11 implementation lands).
+
+**Outcome:** Sprint-11 spawn now unblocked on the spec-patch dimension. Remaining gates: OQ-CSV-1 (qualia 16D per-dim assignment), OQ-CSV-2 (W-slot width 6 vs 8 bits), OQ-CSV-4 (QualiaColumn migration phasing) — all user-ratification questions surfaced by W4/W5 and tracked in STATUS_BOARD.md.
+
+---
+
+---
+## [W5] [DONE] sprint-log-10 arigraph-spo-g spec
+
+**D-id(s):** D-OGIT-G-1 (SPO-G quad) + ghost-edge + SpoWitnessChain
+**Output:** `.claude/specs/pr-ce64-mb-4-arigraph-spo-g.md` (23 KB, 11 sections)
+**Plans cited:** causaledge64-mailbox-rename-soa-v1.md §6+§7 · ogit-g-context-bundle-v1.md D-OGIT-G-1 · oxigraph-arigraph-cognitive-shader-soa-merge-v1.md §1-§9
+**Key delta:** Triplet extended with g/pearl_rung/witness_ref; SpoWitness64 64-bit pack; SpoWitnessChain<32> NARS-truncating; GhostStore<'a> with reactivation events; SCHEMA_VERSION 2→3; 7 tests; 3 OQs surfaced (Lance persistence defer, promote_to_spo API, witness_ref hash)
+**Notes:** Zero partial SPO-G implementation found in source (grep confirmed). W6/W7 specs need stubs for AriGraph::commit_edge and GhostReactivationEvent.
+
+## W8 — 2026-05-14 — sprint-log-10 — PR-NDARRAY-MIRI-COMPLETE spec
+Output: `.claude/specs/pr-ndarray-miri-complete.md` (23 KB). Scope: ndarray-only PR closing u-word/i-word method gaps (simd_eq/ne/lt/le/gt/ge + simd_clamp + select + zero on U16x32/U32x16/U64x8 + I-word symmetric) + cfg(miri) dispatch reroute in src/simd.rs. Confirmed gaps from direct file reads. Top OQ: select() typed-vs-raw mask API parity (OQ-1). Lands BEFORE par-tile (PR-CE64-MB-1).
+
+---
+## W10 sprint-log-10 — 2026-05-14 12:32 UTC
+**Agent:** W10 (pr-dep-graph)
+**Output:** `.claude/specs/sprint-10-pr-dep-graph.md` (25183 bytes, 11 sections)
+**Plans cited:** `causaledge64-mailbox-rename-soa-v1.md` §7 §10 §11 §15; `sprint-log-10/MANIFEST.md`
+**Key delta:** Surfaced true parallel structure vs parent plan's linear sequence (Waves 1+2 parallel, Wave 3 parallel pair, Wave 6 decoupled from Wave 5). Produced OQ-to-PR gating table (8 OQs, 3 require pre-sprint-11 ratification). Added 6 cross-spec consistency checks (C-1 through C-6) — primary meta-review audit targets.
+**Open questions for meta-review:** (1) C-1: CausalEdge64 accessor names must match across W2/W6/W7; (2) C-5: SigmaTier enum residence — recommend lance-graph-contract; (3) C-2: BindSpaceView lifetime — Arc<BindSpace> vs raw ref must be decided by W1 and consumed uniformly.
+W6 2026-05-14 DONE: pr-ce64-mb-5-mailbox-soa-attentionmask.md (47678 B) — MailboxSoA<N> + AttentionMask SoA + AttentionMaskActor wiring. Plans: causaledge64-mailbox-rename-soa-v1 §4+§5+§7. OQs: OQ-N, OQ-SHADOW, OQ-BCAST-SIZE.
+| 2026-05-14T12:34 | W2 causaledge64-v2 (Sonnet) | `.claude/specs/pr-ce64-mb-2-causaledge64-v2.md` | 30 KB spec, 13 sections | CRITICAL: no reserved bits in shipped edge.rs — plan §3 layout discrepancy. OQ-LAYOUT-1 BLOCKER. OQ-PAL8-FORMAT BLOCKER for W3. | No commit (main thread aggregates) |
+
+## 2026-05-14T12:35 — W12 sprint-10-execution-plan.md complete (sonnet, sprint-10)
+
+**D-ids:** D-CE64-MB-meta (execution plan + board governance)
+**Commit:** (pending main-thread aggregation)
+**Tests:** N/A (governance spec)
+**Outcome:** Sprint-10 execution plan written (28.5 KB, 473 lines). Covers sprint-11 fleet, worker prompt template, CCA2A scratchpad protocol, board hygiene per-PR trigger table, OQ resolution tracking (8 OQs), cross-session coordination (Branch Pub/Sub + File Blackboard), meta-reviewer scope, sprint-11 completion criteria, risk matrix. Key OQs for user ratification: OQ-1 (Sigma-tier banding), OQ-3 (plasticity granularity), OQ-5 (rayon vendor).
+
+---
+**W1 par-tile-crate** | 2026-05-14T12:35:38Z | COMPLETE | `.claude/specs/pr-ce64-mb-1-par-tile-crate.md` (37134 bytes, 13 sections) | Plans: causaledge64-mailbox-rename-soa-v1.md §0/§4/§5/§6/§7/§11 + LATEST_STATE.md + lance-graph-supervisor/Cargo.toml | Key delta: materialized full Cargo.toml, 3 Mailbox<T> backings, AttentionMask LRU+wrap renorm, MailboxSoA<N> lifecycle, BindSpaceView via NonNull<u8> dep isolation, dep-guard build.rs | OQs: OQ-A causal-edge re-export vs newtype, OQ-B vendored-rayon stub vs omit, OQ-C BindSpaceView safe vs unsafe constructor | No commit (main thread aggregates per MANIFEST.md)
+W11 [2026-05-14T12:29] test-plan-unification: spec at .claude/specs/sprint-10-test-plan.md (43,718 bytes); Miri growth ~760→~1550 across 3 mechanisms; 5 OQs for meta-review (W2 causal-edge FFI check, W7 cfg(not(miri)) guards critical)
+
+## 2026-05-14T13:40 — W9 bevy-cull-plugin spec complete (opus, sprint-10, main-thread)
+
+**D-ids:** D-CE64-MB-7 (bevy proof plugin)
+**Output:** `.claude/specs/pr-ce64-mb-7-bevy-cull-plugin.md` (~14 KB, 13 sections)
+**Plans cited:** causaledge64-mailbox-rename-soa-v1.md §7 PR-CE64-MB-7 + §13 3rd-pair (bevy session); composes W1 (par-tile), W6 (MailboxSoA), W8 (intersects_sphere_x16 Miri reroute), W10 (Wave 6 dep), W11 (test plan §7.6 + §8.6 + §9.1).
+**Key delta:** Resolves parent plan's 1-line PR-CE64-MB-7 row into: crate layout (11 files), Plugin impl with `ambiguous_with` conservative-write schedule, x16-lane intersects_sphere consumption, compartment-per-visible producer-side proof (closes both consumer AND producer side of par-tile dep), 12 tests (5 correctness + 4 integration + 1 Miri-compat + 2 schedule sanity), 4 criterion benches, 1 path-filtered CI job.
+**Cross-spec touchpoint:** `BindSpaceView::empty_static()` — recommended to live in W1 par-tile spec; W9-OQ-1 escalates to meta-review.
+**Open questions:** W9-OQ-1 (BindSpaceView::empty_static residence, HIGH), W9-OQ-2 (bevy 0.14 pin), W9-OQ-3 (ambiguous_with semantics), W9-OQ-4 (multi-camera deferred), W9-OQ-5 (CI feature matrix).
+**Note:** W9 was authored from main-thread because the W9 worker was not spawned in the original sprint-10 fleet fan-out (gap noted alongside W7 still missing). No git commit (main thread aggregates per MANIFEST).
+
+---
+
+## 2026-05-14T13:50 — W7 sigma-tier-router spec complete (opus, sprint-10, main-thread)
+
+**D-ids:** D-CE64-MB-6 (SigmaTierRouter + banding + plasticity + pruning + JIT pipeline)
+**Output:** `.claude/specs/pr-ce64-mb-6-sigma-tier-router.md` (~48 KB, 15 sections)
+**Plans cited:** causaledge64-mailbox-rename-soa-v1.md §6+§7+§10+§11+E-CE64-MB-8/9/10 + linguistic-epiphanies-2026-04-19.md E21 (Σ10 Rubicon) + THINKING_ORCHESTRATION_WIRING.md Gap 3+Gap 4 closure; composes W1/W2/W4/W5/W6/W10/W11.
+**Key delta:** Resolves parent §7 1-line PR row into: SigmaTierRouter actor (6 msg variants) + 10-tier numeric banding table + INT4-32D K-NN cold-start (resolves parent OQ-4) + Hebbian plasticity rollup at drop_row (closes E-CE64-MB-10) + queue-then-drain pruning (branch-light hot path) + KernelHandleCache (closes Gap 3) + Σ9-Σ10 escalation via supervisor msg + 1024-entry backpressure; 30 tests, 4 benches, 1 CI job, 15 files.
+**Cross-spec touchpoints (HIGH):** (1) W6 `CompartmentReport` MISSING `g_slot_at_drop` field — ~3 LOC W6 patch required; (2) W10 dep-graph MISSING INT4-32D codebook as hard dep — Wave 5 gating fix needed.
+**Open questions:** W7-OQ-1 (Σ4-Σ5 banding HIGH/BLOCKS Wave 5), W7-OQ-2 (W6 cross-spec HIGH/BLOCKS Wave 4-5), W7-OQ-3 (Jirak threshold), W7-OQ-4 (W10 dep-graph gap HIGH/BLOCKS Wave 5), W7-OQ-5 (supervisor→planner dep cycle), W7-OQ-6 (parent OQ-3 coupling).
+**Sprint-log-10 fleet status:** 12/12 specs complete. Ready for meta-review.
+**Note:** Authored from main-thread (W7 worker not spawned in original fan-out). No git commit (main thread aggregates per MANIFEST).
+
+---
+
+## 2026-05-14T14:15 — META-REVIEW sprint-10 complete (opus, main-thread)
+
+**Output:** `.claude/board/sprint-log-10/meta-review.md` (~31 KB, 9 sections)
+**Coverage:** all 12 worker scratchpads + all 12 spec files (~396 KB) + AGENT_LOG.md + parent plan + CLAUDE.md governance
+**Sprint grade:** B+ — substrate finding (CSI-1: parent plan §3 vs shipped edge.rs layout) is the central value-add; 3 hard blockers remain; 5 small pre-spawn patches required.
+**Per-worker grades:** W2/W3/W5/W8/W10/W11/W12 = A or A−; W1/W6/W7/W9 = B+; W4 = B− (shortest spec + AwareOp stub deferred + scratchpad/file size discrepancy).
+**Cross-spec inconsistencies (6 CSIs):** CSI-1 plan/code layout gap (BLOCKER Wave 2, user ratification); CSI-2 W6 CompartmentReport.g_slot_at_drop missing (BLOCKER Wave 4); CSI-3 W10 dep-graph missing PR-J1-INT4-32D-ATOMS (BLOCKER Wave 5); CSI-4 BindSpaceView constructor drift W1/W4/W9 (MED); CSI-5 SigmaTier residence drift W1/W6/W7/W10 (MED); CSI-6 W11 test-count drift (LOW).
+**Cross-cutting epiphanies (5 E-META):** specs-against-source > specs-against-plan; late-spec coordination gap (W7+W9); scratchpad discipline bimodal; 4 BindSpace columns = AGI-as-glove API; diamond dep graph holds.
+**Sprint-11 spawn decision:** NO — requires 5 pre-spawn fixes (~150 LOC edits) + 4 user ratifications (CSI-1 + parent OQ-1/OQ-3/OQ-5). Defaults are all safe-to-ship; ratifications are formal-acknowledge, not policy-change.
+**Adjusted wave sequence:** add Wave 0.5 (PR-J1-INT4-32D-ATOMS) before Wave 1; Wave 6 (bevy) can be parallel with Wave 5.
+
+---
+
+## 2026-05-14T15:30 — 8-doc CausalEdge64 + thinking-engine + ontology knowledge corpus written (opus, main-thread)
+
+**Trigger:** user request for documentation after architectural research surfaced dual-CausalEdge64 finding + corrected three-zone hot-path mental model. Research: Explore agent mapping of blasgraph + neighborhood + AriGraph + thinking-engine crates + verified thinking-engine `layered.rs` 8-channel variant + read p64 convergence stub + SPOW tetrahedron source + splat shader integration plans.
+
+**Outputs (`.claude/knowledge/`, ~78 KB total):**
+1. `causal-edge-64-spo-variant.md` — causal-edge crate variant w/ full bit layout + accessors + consumers + hot-path role + line refs
+2. `causal-edge-64-thinking-engine-variant.md` — thinking-engine variant (8 channels × 8 bits) w/ emit/apply semantics + 3-tier cascade + dual-variant disambiguation
+3. `causal-edge-64-synergies-and-pr-trajectory.md` — what each does better + thinking-engine function mapping + PR #366/365/364 trajectory + Option R-1/R-2/R-3 reunification options
+4. `spo-schema-and-mailbox-sidecar.md` — SPO-G vs SPO-W vs both; time-as-sidecar vs CausalEdge64-as-sidecar; ractor mailbox payload per Σ-tier
+5. `spo-ontology-format-stack.md` — 3×16Kbit / CAM-PQ / bgz17 / bgz-hhtl-d / CausalEdge64 ladder + format selection matrix + Zone-1/2/3 mapping
+6. `ogit-owl-dolce-ontology-compartments.md` — OGIT family registry + OWL inheritance + DOLCE orthogonal scaffold + 8-channel ↔ OWL axiom mapping + ontology-aware splat filter
+7. `cognitive-shader-driver-thinking-engine-reunification.md` — drift origin reconstructed from `cache/convergence.rs:18-22` `#[allow(unused_imports)]` evidence + 5-step reunification plan + transcoder design
+8. `splat-shader-rayon-struct-method-vision.md` — splat op fleet + ndarray struct methods + rayon work-stealing + computational entropy reduction + sprint-12+ 5-sprint arc
+
+**Key findings surfaced:**
+- **Dual CausalEdge64 confirmed:** causal-edge::CausalEdge64 (SPO-palette layout) ≠ thinking_engine::layered::CausalEdge64 (8-channel cascade layout). Same name, different bit semantics. NOT in `TYPE_DUPLICATION_MAP.md`.
+- **p64 drift origin pinpointed:** `cache/convergence.rs:18-22` imports SPO variant with `#[allow(unused_imports)]` annotation — wiring started, never finished. 8-channel variant never imported here.
+- **Three-zone hot-path mental model:** Zone-1 (thinking-engine MatVec 200-500ns + AriGraph entity_index O(1) 20-200ns); Zone-2 (blasgraph + neighborhood cascade 20-1200µs); Zone-3 (DataFusion >1ms). My prior framing of "AriGraph = cold-path µs joins" was wrong.
+- **8-channel ↔ OWL axiom near-isomorphism:** SUPPORTS↔sameAs, REFINES↔subClassOf-down, ABSTRACTS↔subClassOf-up, CONTRADICTS↔disjointWith, etc. The two variants are dual representations of similar operations; reunification transcoder is the unification point.
+- **Splat as BLAS-class op:** 4096×4096 question surface (per `tetrahedral-epiphany-splat-integration-v1.md`); 2×64 (GestaltCause + ThinkingEffect) + 2×256 (AttentionIn + AttentionOut) + 4096 COCA is the reasoning lattice.
+- **Computational entropy framing:** struct-methods on carriers + rayon par_* variants collapse caller LOC ~7-15→1-3 per cycle; reunification of thinking-engine + cognitive-shader-driver SoA into one `Think` carrier is the canonical step.
+
+**Cross-spec impact:** sprint-10 meta-review CSI-1 recommendation stands (drop temporal 12b + G_slot 5b = 17b freed; allocate W-slot + lens + spare) but **was reached via wrong reasoning** (relocation framing) — now grounded in correct hot-path analysis (direction/plasticity/inference are dispatch payload, not relocatable; W slot replaces G slot via per-tenant SoA partition + witness corpus rooting).
+
+**Recommended follow-ups:**
+- PREPEND `EPIPHANIES.md` E-META-7: dual-CausalEdge64 discovery + p64 drift origin
+- Update `docs/TYPE_DUPLICATION_MAP.md` to list CausalEdge64 as 2-copy duplication
+- Update `LATEST_STATE.md` Contract Inventory to name both variants explicitly
+- Sprint-11+ scope: 8-channel → SPO-palette transcoder per Option R-3
+- Sprint-12+ scope: `Think` struct unification (the 5-sprint arc in Doc 8)
+
+**Process note:** user explicitly called out my prior context-reset framing — corrected via Explore agent research before writing. All 8 docs grounded in shipped source (file:line refs throughout) or referenced plan documents.
+
+---