D-TSC-1b: measure the 3 shipped 12-family style tables' agreement (jc::reliability); D-TRI-2 scoped NO-GO

.claude/board/AGENT_LOG.md

@@ -1,3 +1,11 @@
+## 2026-07-17 — D-TSC-1b style-table agreement probe + D-TRI-2 NO-GO scoping — measurement, shipped
+
+- **Task:** the next unblocked slice after #711. Scoped D-TRI-2 (12-step ↔ 12-family agreement) → **NO-GO, mint-blocked** (both vectors are codebook views of the unbuilt minted register — one Opus scoping agent, file:line evidence). Pivoted to the genuinely-unblocked cousin: measure the 3 shipped 12-family param tables' agreement with the `jc::reliability` battery (closes the loop on #709/#710).
+- **Fleet:** 1 Opus scoping agent (D-TRI-2 GO/NO-GO + alternative) → 1 Sonnet worker (transcribe 3 tables faithfully + author the jc example + run). Main thread verified transcription against all three sources (A/B/C + `FieldModulation::default`) and re-ran the probe.
+- **Deliverable:** `crates/jc/examples/style_table_agreement.rs` (+ `[[example]]` in `crates/jc/Cargo.toml`). Runs ICC(2,1)/ICC(3,1)/Cronbach α/pairwise Pearson-Spearman per shared dim (resonance/fan_out/exploration) in all-12 and 7-explicit modes; pre-registered ICC bands (0.75/0.50); exit-0 (DISTINCT is a valid finding, never a build failure).
+- **Measured verdict:** A(`UNIFIED_STYLES`)≡B(thinking-engine `StyleParams`) PERFECT (r=ρ=1.0 — M9-dedup confirmed); planner C's 7 explicit families IDENTITY (ICC 0.90–0.98); ONLY the 5 planner `default_modulation` fallbacks drift (all-12 ICC 0.71 AMBIGUOUS) → TD-PLANNER-STYLE-DEFAULT-DRIFT-1 (fill the 5 arms from canonical). Retires numeric half of O5.
+- **Board:** EPIPHANIES `E-D-TRI-2-MINT-BLOCKED-1` (NO-GO + measured verdict); STATUS_BOARD `D-TSC-1b` row; TECH_DEBT `TD-PLANNER-STYLE-DEFAULT-DRIFT-1`; triangle plan §6 D-TRI-2 annotation. Branch `claude/review-claude-board-files-nhqgx1`; PR pending. NOTE `D-TSC-1b` id chosen to avoid collision with the pre-existing OGAR-mint `D-TSC-2`.
+
 ## 2026-07-17 — D-MBX-A6-P3b output-overhaul carrier (StrategyOutcome on PlanInput) — planner-internal, shipped
 
 - **Task:** retire the `StyleStrategy::plan()` dead-store `_reliability` onto an honest carrier (the D-MBX-A6 output overhaul), the next unblocked plateau after P5a (jc battery, #709/#710).

.claude/board/EPIPHANIES.md

@@ -1,3 +1,16 @@
+## 2026-07-17 — E-D-TRI-2-MINT-BLOCKED-1 — D-TRI-2's two 12-vectors are BOTH codebook views of the unbuilt minted register; the probe is not runnable pre-mint. The genuinely-unblocked cousin is measuring the THREE shipped 12-family param tables' agreement (D-TSC-1b, RUN)
+
+**Status:** SHIPPED (D-TSC-1b probe `crates/jc/examples/style_table_agreement.rs`, exit-0, transcription spot-checked against all three sources). The D-TRI-2 NO-GO is scoping-only (no code); the unblocked cousin was BUILT + RUN with a measured verdict (below). (`D-TSC-1b` — the D-TSC-1 dedup MEASURED; distinct from the pre-existing `D-TSC-2` = OGAR cognition-domain mint.) Uses the merged `jc::reliability` battery (#709/#710).
+
+**Measured verdict (D-TSC-1b, this run — point estimates, hand-tuned ICC bands, not Jirak-calibrated):**
+- **Table A (`UNIFIED_STYLES`) ≡ Table B (thinking-engine `StyleParams`): PERFECTLY identical** — Pearson & Spearman = 1.0000 on all three dims in both modes. `UNIFIED_STYLES` fused the thinking-engine params by construction (engine_bridge.rs:520-526 doc), so this confirms the M9-dedup: the two are one table in two homes, zero drift.
+- **Planner Table C, 7 explicitly-calibrated families (Mode B): IDENTITY on all three dims** — ICC(2,1) 0.9326 (resonance) / 0.9038 (fan_out) / 0.9756 (exploration). Where the planner author wrote a real arm, it agrees strongly with the canonical A/B.
+- **The ONLY drift is the planner's 5 `default_modulation` fallback families** (`convergent`, `systematic`, `divergent`, `diffuse`, `peripheral` → flat `(0.7, 6, 0.3)`): folding them in (Mode A, all-12) drops ICC(2,1) to 0.7134 (resonance) / 0.7126 (fan_out) = **AMBIGUOUS**, 0.8719 (exploration) = IDENTITY. Those 5 families are extreme in A/B (e.g. `peripheral` = 0.20/20/0.60, `divergent` = 0.40/10/0.70) but flattened to the default in C. **Actionable fix (TD, not this PR):** fill the 5 missing planner `default_modulation` arms from the canonical A/B table (or have the planner read `StyleFamily::params()` directly), retiring the divergence — the concrete D-TSC-1 dedup follow-through, and the numeric half of open census question O5.
+
+- **NO-GO for D-TRI-2 as written** ("12-step ↔ 12-family agreement, jc battery over real shader cycles", plan §6 `:346`). Both vectors are, by the plan's own §4 construction, two ClassView-codebook readings of the SAME 12-slot palette256 register — the minted `FrozenStyle`/`LearnedStyle`/`ExploreStyle` tenant (12×u8), which is LAYOUT-GATED behind the batched mint (D-TRI-1, DESIGN-only, no bytes land). Evidence (shipped code): `StepMask` is a `u64` *selection bitmask*, not a scalar 12-vector (`contract/step_mask.rs:40`); `StyleFamily` is a 12-*label* enum + `ALL` (`contract/style_family.rs:31,:61`) but the driver selects ONE family/cycle, never a 12-score vector (`cognitive-shader-driver/driver.rs:261,:279`); `UNIFIED_STYLES` is a compile-time constant (zero cross-cycle variance, `engine_bridge.rs:545`); the 12-step↔12-family positional correspondence is itself a property of the unbuilt tenant (plan `:287-291,:308-310`). ⇒ no populated, per-cycle-varying, positionally-aligned data exists. Building a fixture would measure invented data (measurement-before-synthesis / Rule-23 violation).
+- **The unblocked cousin (BUILT + RUN as D-TSC-1b — verdict above):** three shipped, populated per-family param tables over the same 12 families share dimensions (`resonance_threshold`, `fan_out`, `exploration`) and have NEVER been measured for agreement — the exact D-TSC-1 "five style tables diverged silently because nobody measured" failure mode, and open census question O5 (`persona-vs-rung-ladder.md`). The tables: `UNIFIED_STYLES` (`cognitive-shader-driver/src/engine_bridge.rs:545`, 12-complete), thinking-engine `StyleParams` (`crates/thinking-engine/src/cognitive_stack.rs:55-141`, 12-complete), planner `FieldModulation::default_modulation` (`lance-graph-planner/src/thinking/style.rs:74-142`, **7 of 12 explicit, 5 fall to `default()`**). Probe = jc over [12 families as subjects × 3 tables as raters] per shared dimension: `icc(Icc2_1)` (absolute agreement — same value?) + `icc(Icc3_1)` (consistency) + pairwise `pearson`/`spearman` + `cronbach_alpha`. **Subtleties the impl MUST handle:** (a) the three tables use DIFFERENT family orderings — align by the canonical `StyleFamily` ordinal (`UNIFIED_STYLES` alignment is pinned by `unified_styles_align_with_style_family`; confirm thinking-engine's keying); (b) the planner's 5 default-filled rows bias agreement upward — run BOTH "all-12 with planner-defaults" AND "7 planner-explicit only" and report both. Point estimates only (I-NOISE-FLOOR-JIRAK — significance is `jc::jirak`'s job); thresholds pre-registered + labeled hand-tuned; **"distinct constructs" is a PASS/record outcome, never a build failure** (same discipline D-TRI-2 pre-registered). Home: a `jc` example (transcribe the 3 tables with per-value `// SOURCE: file:line` provenance — jc cannot dep the three crates, so faithful transcription + spot-check against source is the fidelity gate).
+- Cross-ref `E-JC-IS-NOT-A-METRIC-BATTERY-1` (the battery this consumes), `D-TSC-1` (the dedup this measures), plan `triangle-tenants-gestalt-separation-v1.md:346` (D-TRI-2 blocked pending D-TRI-1 mint).
+
 ## 2026-07-17 — E-STRATEGY-OUTCOME-CARRIER-1 — the planner's dead-store `_reliability` is retired onto an honest `PlanInput.outcome` carrier; StyleStrategy surfaces reliability + a *bootstrap* intended KanbanMove (D-MBX-A6 output overhaul, planner-internal slice)
 
 **Status:** SHIPPED (plateau D-MBX-A6-P3b; `crates/lance-graph-planner`, 216 lib + 4 probe tests green, clippy `-D warnings` exit 0). Partially closes the "emit edge" the 2026-05-30 de-theatred entry deferred — this is the SURFACE (carrier + intent), not the emit (owner-consume) and not the OQ-11.7 five-phase cutover.

.claude/board/STATUS_BOARD.md

@@ -88,6 +88,7 @@ Plan: `.claude/plans/temporal-markov-and-style-classes-v1.md`. Rulings: E-MARKOV
 | D-MTS-4 | M4 cutover target sharpened: MailboxSoA + temporal stream + palette tenants | driver | Queued | rides M4 parity gate |
 | D-MTS-5 | Pythagorean-comma vertical-quorum probe (comma-offset vs aligned pyramid; coprime-walk quantization per D-QUANTGATE; Jirak significance) | shader/ndarray | **Measured GREEN 2026-07-10** | `perturbation-sim/examples/comma_quorum.rs`, all pre-registered gates PASS: comma N_eff 11.00/12 vs strict 1.00 / unit 2.49 / rational 3.92; replay bit-identical any order; fresh level-12 +0.83 witnesses at max\|ρ\|=0.156; 82 KB touched vs ~69 GB dense. Bonus measured boundary: N_eff(comma) = min(L, spectral participation) — run #1 FAIL 3.24 kept in the chronicle. See E-COMMA-QUORUM-MEASURED-1 |
 | D-TSC-1 | M9 ThinkingStyle dedup (5+ copies → contract taxonomy) | workspace | **Shipped 2026-07-10** (first 5+3 council run: spec v1→v2→v3 ratified; `contract::style_family::StyleFamily` + `default_runbook()`/`family()`; FIVE divergent tables replaced — E-FIVE-STYLE-TABLES-1; G1 grep = 1 enum + 3 deprecated aliases; 1549 tests green across 4 crates) | UNBLOCKS D-TSC-2..4 + StepMask catalogue (M9 gate); behavior changes documented + G7-pinned |
+| D-TSC-1b | D-TSC-1 dedup MEASURED: `jc::reliability` agreement probe over the 3 shipped 12-family param tables (`UNIFIED_STYLES` / thinking-engine `StyleParams` / planner `FieldModulation`) — the D-TRI-2 mint-free cousin | jc example + workspace | **In PR** | `crates/jc/examples/style_table_agreement.rs`; A≡B perfect (M9 confirmed); planner 7-explicit IDENTITY; only the 5 planner `default_modulation` fallbacks drift (Mode A ICC 0.71 AMBIGUOUS) → TD to fill them from canonical; retires numeric half of O5. E-D-TRI-2-MINT-BLOCKED-1 |
 | D-TTV-1 | Thinking-related tenants → V3 value-tenant substrate (keep old CausalEdge64 as perturbation baseline) | driver/contract | Queued | E-THINKING-TENANTS-V3-1; envelope-auditor gated; batched mints only |
 | D-MTS-6 | Smaller-CausalEdge64 × comma awareness curve vs old-CE64 baseline (find the knee: how many stored bits the comma reconstruction replaces before awareness degrades) | shader/perturbation-sim | **Measured GREEN 2026-07-10** | `perturbation-sim/examples/comma_awareness.rs`, all pre-registered gates PASS: **k\*=1** (2 explicit truth bits/edge vs baseline 16) matches all three awareness proxies; aligned control needs k\*=4; the comma lattice buys ≈3.4 effective bits ≈ log₂(12); replay bit-identical; run-#1 G1 mis-registration diagnosed (max flip margin 1.7e-5 = boundary noise) — see E-COMMA-AWARENESS-MEASURED-1. **D-MTS-6b** (driver-integrated fixture) gates any real CE64 shrink |
 | D-TSC-2 | Batched cognition-domain mint in OGAR (+ classify_form reconciliation if 0xFFFF) | OGAR | Queued (blocked by D-TSC-1) | never solo; COUNT_FUSE |

.claude/board/TECH_DEBT.md

@@ -1,5 +1,9 @@
 # Technical Debt Log — Open + Paid (double-entry, append-only)
 
+## TD-PLANNER-STYLE-DEFAULT-DRIFT-1 — the planner's 5 uncalibrated `default_modulation` families are the sole measured divergence from the canonical style tables (2026-07-17, surfaced by D-TSC-1b)
+
+**Surfaced by the D-TSC-1b agreement probe** (`crates/jc/examples/style_table_agreement.rs`). Measured with `jc::reliability`: the driver `UNIFIED_STYLES` and thinking-engine `StyleParams` tables are byte-identical (A≡B, Pearson/Spearman = 1.0), and the planner `FieldModulation::default_modulation`'s **7 explicitly-written families agree with them at IDENTITY level** (ICC(2,1) 0.90–0.98). The ONLY divergence: the 5 families the planner leaves to `_ => FieldModulation::default()` — `convergent`, `systematic`, `divergent`, `diffuse`, `peripheral` — all get the flat `(resonance 0.7, fan_out 6, exploration 0.3)` default, but those families are extreme in the canonical tables (e.g. `peripheral` = 0.20/20/0.60, `divergent` = 0.40/10/0.70). Folding them in drops all-12 ICC(2,1) to 0.71 (resonance) / 0.71 (fan_out) = AMBIGUOUS. **PAYOFF:** add the 5 missing explicit arms to `default_modulation` (`lance-graph-planner/src/thinking/style.rs:74-142`) sourced from `StyleFamily`'s canonical params — or have the planner read `StyleFamily::params()` / `UNIFIED_STYLES` directly instead of a local partial table (the true M9-dedup close). Retires the numeric half of open census question O5 (`persona-vs-rung-ladder.md`). Not paid here — D-TSC-1b is measurement-only (probe, no behavior change); this is the follow-through it revealed.
+
 ## TD-THINKING-ENGINE-EXCLUDED-DEBT-1 — thinking-engine (excluded, off-CI) carries ~40 pre-existing clippy lints + test-compile failures (2026-07-17)
 
 **Surfaced during P3** (rung dedup). thinking-engine is a workspace-EXCLUDED crate (root Cargo.toml `exclude`), so no CI/clippy gate runs on it — it has accumulated ~40 `clippy -D warnings` lints (loop-index, `map_or` simplify, too-many-args, missing-Default; all in modules P3 never touched — e.g. `cognitive_stack.rs:242` MetaCognition::new, `world_model.rs:154` from_engine_state) and at least one test-compile break (`DualResult` missing `convergence_signed`/`convergence_unsigned` fields, a stale test). The **lib builds clean**; only `--tests` and `clippy -D warnings` fail. Correlates with E-RUNG-ASCENT-WIRED-1's finding that the whole crate is orphaned from the production spine (only bridge_gate→callcenter + dto→driver[feature] are external wires). PAYOFF: gated on the P4 ancestry-consolidation decision (wire the gems into the spine → then it earns a CI slot and the debt gets paid; or retire the orphaned cluster). Not paid in P3 (out of scope; excluded crate).

.claude/plans/triangle-tenants-gestalt-separation-v1.md

@@ -343,7 +343,7 @@ the template every one of these tenants instantiates.
 | D-id | Probe | Gate |
 |---|---|---|
 | D-TRI-1 | Triangle tenant spec through the envelope-auditor (T1–T6 per lane) behind the batched mint | LAYOUT-GATED verdict; zero ENVELOPE_LAYOUT_VERSION change (additive lanes) |
-| D-TRI-2 | 12-step ↔ 12-family agreement: jc battery over real shader cycles (ICC, Pearson/Spearman per position, Cronbach α of each 12-vector as a scale) | pre-registered thresholds BEFORE the run; collapse only on measured identity; distinct-constructs is a PASS outcome too |
+| D-TRI-2 | 12-step ↔ 12-family agreement: jc battery over real shader cycles (ICC, Pearson/Spearman per position, Cronbach α of each 12-vector as a scale) | pre-registered thresholds BEFORE the run; collapse only on measured identity; distinct-constructs is a PASS outcome too — **⊘ BLOCKED pre-mint (2026-07-17, `E-D-TRI-2-MINT-BLOCKED-1`): both 12-vectors are codebook views of the unbuilt minted register (D-TRI-1). Runs only AFTER the batched mint. The mint-free cousin — 3 shipped 12-family param tables' agreement — RAN as D-TSC-1b (`crates/jc/examples/style_table_agreement.rs`): A≡B perfect, planner 7-explicit IDENTITY, only the 5 planner defaults drift (→ TD-PLANNER-STYLE-DEFAULT-DRIFT-1).** |
 | D-TRI-3 | Nail→hammer dispatch: object-resonance → atom retrieval vs the inverted baseline on a labeled fixture | retrieval accuracy + the structural check that no inverted read path exists |
 | D-TRI-4 | Chess↔thinking transfer: the four metrics between chess-learned and thinking-learned trajectories | unification gate; until green, quarantine stands |
 | D-TRI-5 | Emulation ≠ resonance: counterfactual-goalstate emulation vs a resonance-only baseline on opponent move prediction (builds on D-SF-OPPONENT-1/3, which measured opponent-model inference as the bottleneck) | pre-registered accuracy margin; a null result demotes §2a's apex claim to [H], never silently |

crates/jc/Cargo.toml

@@ -60,3 +60,6 @@ name = "splat_perturbationslernen"
 
 [[example]]
 name = "ontology_locality_probe"
+
+[[example]]
+name = "style_table_agreement"