recipes: audit finds they measure on a scalar proxy → wire the 3 real tenants (A9 24 loci + SPO + qualia)

.claude/board/EPIPHANIES.md

@@ -1,3 +1,35 @@
+## 2026-07-21 — E-LADDER-UNSHADOWS-SELECTOR-1 — the measured 8/34 selector-reachability gap (`E-RECIPE-SELECTOR-REACHABILITY-1`, `66f5a73`) closes by MODE COMPOSITION, not selector retuning: `select_tactic` = the foveated SACCADE (one tactic per surprise cycle), `recipe_dispatch::ladder` = the systematic SWEEP (all 34 in rung order, each gated only by its own NaN checklist) — two dispatch modes, one catalogue
+
+**Status:** FINDING (this session; reconciles PR #780's `recipe_dispatch` with the canonical `docs/NARS_RECIPES_DISPATCH.md` shipped in `66f5a73`). **Confidence:** High — both sides are shipped + measured code; the reconciliation cross-ref is in `recipe_dispatch.rs`'s module doc.
+
+**The two modes.** `materialize::select_tactic` (canonical doc, measured): only **8/34 reachable** (#1,3,4,5,6,10,17,28), all 14 Infrastructure recipes never win, ICR #31 permanently shadowed by RCR #4 on the lowest-id tie, dissonance tie-weight inert. `recipe_dispatch::ladder` (PR #780): ALL 34 walked in rung-ascending order (Tier base + inference escalation delta), each recipe gated only by its own `requires()` NaN checklist. Under the ladder: 34/34 reachable, CrossTier/Infrastructure fire EARLY (rung base 1 — infrastructure runs everywhere, which is what Infrastructure means), ICR #31 fires unshadowed at the deepest rung (counterfactual +5). **The selector's three measured gaps are exactly what the sweep covers — and the sweep's cost (34 firings) is exactly what the saccade avoids.** Foveated saccade for the hot path, systematic sweep for the deliberate pass: Kahneman System-1/System-2 as two dispatch functions over ONE catalogue spine (no recipe duplicated, no new vocabulary).
+
+**Cross-ref:** `E-RECIPE-SELECTOR-REACHABILITY-1` (the gap measurement), `E-RECIPE-SUBSTRATE-WIRING-1` (below — the ladder + tenants), `E-FOVEATED-AWARENESS-1` (saccade framing), `docs/NARS_RECIPES_DISPATCH.md` (the canonical doc; its "open edges" list now has this ladder as the systematic-mode answer). Peer-session tie-in: the `advance_on_gate` self-reasoning kanban wire (`66f5a73`) fires atoms as KanbanMoves — the ladder supplies the ESCALATION ORDER those moves walk, the A9 loci supply the CONTEXT they read.
+
+## 2026-07-21 — E-THINKING-SKILLS-ARE-RUNG-4-MACROS-1 — the cc-thinking-skills catalogue (47+ session-level methodologies, `tjboudreaux`/`AdaWorldAPI/cc-thinking-skills`) is a RUNG-4 MACRO catalogue over the rung-3 recipes: ~2/3 map onto existing 34-recipe compositions, and the UNMAPPED third is the expansion surface — new thinking lands as rung-4 StyleFamily macros composing rung-3 atoms, NEVER as new rung-3 entries (the 34 stays operator-locked)
+
+**Status:** CONJECTURE→mapping (directory-level survey via WebFetch; per-skill SKILL.md contents not yet read). **Confidence:** Medium-high for the mapping direction; the per-skill correspondences below are structural, from the skill names + known frameworks. **Anti-conflation holds:** per `persona-vs-rung-ladder.md`, rung 3 = the 34 recipes (locked), rung 4 = StyleFamily macros + autopoiesis. The skills are METHODOLOGIES (macro-compositions of inference steps) — rung-4 shaped, not rung-3.
+
+**Mapped pairs (skill ≈ rung-3 recipe/organ it composes):** inversion≈RCR(4 reverse-causality); red-team≈ASC(7); pre-mortem + thought-experiment≈ICR(31 counterfactual); socratic≈MCP(10 metacognition); dual-process≈CDT(13 convergent/divergent) — and the saccade/sweep pair of E-LADDER-UNSHADOWS-SELECTOR-1 IS dual-process as dispatch; model-router + model-selection≈DTMF(33 meta-frame switch); via-negativa≈TCP(5 pruning); steel-manning≈CR(11)+CDI(17 contradiction preserved/induced); scientific-method≈SSR(21)+SDD(32 validate); model-combination≈HKF(34)/ZCF(24 fusion); feedback-loops≈AMP(23 TD-adapt); second-order≈RTE(1 recursive expansion); first-principles≈HTD(2)/ETD(22 decomposition); five-whys-plus≈the KAUSAL witness-edge chain walked recursively; OODA≈the ladder loop itself (observe=project, orient=NaN-gate, decide=dispatch, act=fire); bayesian/probabilistic≈NARS truth revision (the substrate); systems + leverage-points≈the supported_by/supports loci (basin chains); circle-of-competence + bounded-rationality≈MUL DK; map-territory≈**I-VSA-IDENTITIES itself** (pointer vs content — the catalogue independently reproduces the workspace's iron rule); archetypes≈the persona-36 (the SEPARATE off-ladder storyline — the catalogue even reproduces our anti-conflation).
+
+**The expansion surface (no current rung-3 composition):** fermi-estimation (order-of-magnitude priors), opportunity-cost + regret-minimization (counterfactual VALUE comparison — ICR gives the world, not the pricing), margin-of-safety (threshold slack — Jirak-derived bounds are the natural substrate), lindy-effect (age-weighted truth — a NARS confidence decay/anti-decay prior), cynefin (domain classification BEFORE strategy — a pre-ladder gate choosing saccade vs sweep vs escalate), reversibility (one-way-door detection — pairs with the kanban advance gate), effectuation, jobs-to-be-done, kepner-tregoe, TRIZ. Each would land as a **rung-4 macro** (a StyleFamily composing rung-3 atoms + MUL + witness loci) — the catalogue is a GAP DETECTOR for macros, never a source of new rung-3 entries.
+
+**Cross-ref:** `persona-vs-rung-ladder.md` (the rung-content ladder + anti-conflation), `E-LADDER-UNSHADOWS-SELECTOR-1` (dual-process as dispatch), `style_family` (the rung-4 macro home), `I-VSA-IDENTITIES` (map-territory), MUL (`circle-of-competence`). Next probe when wanted: read the per-skill SKILL.md files and score the mapping table the way `loci_recipe_relevance` scored loci×recipes.
+
+## 2026-07-21 — E-RECIPE-SUBSTRATE-WIRING-1 — the 34 NARS recipes MEASURE THEIR CLAIMS but on a scalar PROXY, not the real organ (28/34 sound on the proxy; the weakness is SUBSTRATE-WIRING, not recipe composition) — so the three real tenants are wired in: A9 CausalWitnessFacet (24 loci = third #729 register reading) + SPO + qualia → a rung-ordered, NaN-gated CAUSAL LADDER keyed by inference type
+
+**Status:** FINDING + WIRING (this session; operator-steered live). **Confidence:** High for the audit (it exercises the REAL shipped `recipe_kernels::kernel(id)`, not a reimpl); the projection metrics (pair_similarity) are a documented zero-dep stand-in for the ndarray 256×256 CAM-PQ table (follow-up). Deliverables: `causal_witness.rs`, `recipe_substrate.rs`, `recipe_dispatch.rs` (3 new contract modules, +18 tests → 970 green, clippy clean) + 3 probes (`recipe_claim_audit`, `loci_recipe_relevance`, `recipe_ladder_over_substrate`, all gates green). Gates registered before each run.
+
+**The root-cause audit (`recipe_claim_audit`, real kernels on positive vs control ctx).** Two measured axes. Axis A (recipe-side realization): **12 MEASURES + 16 REALIZES = 28/34 sound** on the proxy; **2 INERT** (CAS #8, ETD #22 — compute-then-DISCARD bugs: `_level`/clone never written back) + **4 CONSTANT** (ARE/ZCF/ICR/HKF — exact algebraic identities but INPUT-INDEPENDENT, hardcoded `u32`). Axis B (substrate grounding): **34/34 kernels consume ONLY the 8-field `ThoughtField` scalar-proxy basis — 0 read a real organ**, exactly as the module doc concedes ("richer substrate slots in behind the same trait later"). **Verdict to the operator's question:** the recipe *compositions* are sound; the dominant weakness is SUBSTRATE-side — the recipes run on hand-set scalars, never the SPO 2³ / CAM-PQ 4096² / temporal.rs Markov / VSA / deepnsm organs they name. The gap is WIRING.
+
+**The wiring (closes the gap).** (1) **`causal_witness::CausalWitnessFacet`** — the A9 "24 edges": a reading of the 12-byte content-blind register as 24 signed `i4` loci (`G24N4`), each a context POINTER (`∈[−8,+7]`, `0`=unbound) into the ±8 Markov window. It is the **THIRD ClassView reading** of the SAME register #729 shipped two of (FROZEN `12×u8`, Orchestration `6×(8:8)`) — a reading, no stored bytes, envelope-safe. 16 named loci (§2.9) + 8 reserved-empty (never padded). (2) **`recipe_substrate::SubstrateView`** projects SPO + witness + qualia into the recipe input basis. (3) **`recipe_dispatch`** orders the 34 into a rung-gated causal ladder keyed by NARS `InferenceType`.
+
+**Operator design-locks (each enforced by a green gate).** • **Qualia is ADDITIVE and STAKES-only** — it adds to the affective `temperature` (arousal/tension/groundedness), never multiplied/gating, and NEVER touches a logical marker: swapping the qualia register moves ONLY temperature, confidence/surprise/dissonance/candidates are byte-identical ("you do not describe an epiphany's logical quality with a qualia about how it feels"; qualia "might describe stakes"). • **Causality is NOT a qualia** — the cause is the witness `Locus::Kausal` edge (logical, A9). • **Logic ← SPO + 24 witness edges; stakes ← qualia.** • **Thinking is an act of cause-and-effect** — the dispatch is a causal chain (fire→next state→next fire); the **Versuchsleitereffekt IS the Heisenberg observer effect** (measuring disturbs → each step logs its triggering cause); dispatch is a **deterministic Schrödinger collapse** (superposed awareness, recoverable by role key, no randomness); a **NaN disqualifier is an unmeasurable conjugate** (a required input the tenants can't ground → recipe skipped, `E-RELIABILITY-IS-CHECKLIST-COVERAGE` as a runtime gate); the `N≤√d/4≈32` bundle bound is the substrate's uncertainty relation, and the 24-locus witness sits safely under it.
+
+**External validation anchors (operator-provided, NOT yet wired — out of current repo scope):** `AdaWorldAPI/NARS-Swift` (a real NARS implementation — the inference-rule oracle to validate the deduction/induction/abduction/revision/counterfactual classification against) and `InternScience`/`AdaWorldAPI/MME-Reasoning` (arXiv 2505.21327 — a multimodal-reasoning benchmark, inductive/deductive/abductive taxonomy — the eventual empirical test bed for the 34-recipe ladder). Flagged for a future `add_repo` + a benchmark probe; the inference-type map in `recipe_dispatch::inference` is the hypothesis those repos would falsify. **Theory anchor:** **PCRLLM** (arXiv 2511.08392, Tangrui Li, **Pei Wang** [NARS], Hahm et al., Temple — "Proof-Carrying Reasoning with LLMs under Stepwise Logical Constraints") is the formal frame the ladder instantiates: reasoning constrained to **single-step inferences** with explicit **premises + rule + conclusion**, verifiable against a target logic, composable across experts. A `RecipeStep` = one such proof-carrying step (its `inference` = the rule, its `trigger` = the grounded premises, the `nan_disqualifier` = the verification gate that refuses an unsupported step). **Causal-formalism anchor:** **Causal ML survey** (arXiv 2206.15475, Kaddour/Lynch/Liu/Kusner/Silva — "Causal Machine Learning: A Survey and Open Problems") formalizes the structural-causal-model ladder the witness edges instantiate: SCM structure = the `Locus::Kausal` edge, **intervention** = Pearl rung-2, **counterfactual** = rung-3 = `RecipeInference::Counterfactual` (ICR #31, SPO=0b111 apex, causal-edge `−6` mantissa). "Thinking finds cause and effect" = the survey's interventional/counterfactual reasoning read off the witness loci.
+
+**Cross-ref:** #729 "one register, N readings" (`E-H268-REPLAYABLE-TILE-1`; A9 = the third), M20 plan §2.9 (the L9 schema this ships as a type), `E-L9-REAL-TEXT-1` (the loci validated on real text), `E-AWARENESS-TENANTS-EVOLVE-NOT-COLLAPSE-1` (the tenants this reads), `contract::nars::InferenceType` (the `to_mantissa` bridge to CausalEdge64), `E-CE64-MB-4` (ractor ownership — the write-back the ladder feeds), `I-VSA-IDENTITIES` (Test 1 = the Heisenberg bound; loci are identity pointers not content). Honest bound: `pair_similarity` is a zero-dep stand-in for the ndarray CAM-PQ table; INERT/CONSTANT tiers are input-choice-sensitive but the tiers themselves (compute-then-discard, input-independent) are structural.
+
 ## 2026-07-21 — E-PARTOF-ISA-vs-PALETTE256-1 — the two sanctioned `6×(8:8)` readings of the SAME 12 bytes are NEAR-ORTHOGONAL on real substrate (cross-reading ρ 0.035, ICC 0.006): `part_of:is_a` holds exact TAXONOMY (+0.346 same-kind separation), `palette256²` holds frequency-centroid SIMILARITY (+0.001, taxonomy-blind) — the catalogue's L1-vs-L4 split is load-bearing, not cosmetic
 
 **Status:** FINDING — real substrate: the fable content nouns (merged `l9_loci_real_text` corpus) with real COCA-5k ranks (`palette256²` = `(rank>>8, rank&0xFF)`, freq-is-cosine distance) vs objectively-true English taxonomy (`part_of:is_a` = is_a-graph path length, the copula facts `deepnsm::spo_markov_kg` extracts via `"is"→"is_a"`). **Confidence:** High for the orthogonality direction; small vocabulary (11/16 nouns in COCA-5k) + one hand-verified real taxonomy bound the magnitudes. Deliverable: `crates/jc/examples/partof_isa_vs_palette256.rs`. Gates registered before the first run.

.claude/board/LATEST_STATE.md

@@ -1,3 +1,10 @@
+## 2026-07-21 — branch `claude/x265-x266-plans-review-h9osnl` — recipes wired to real tenants: `causal_witness` (A9 24 loci) + `recipe_substrate` + `recipe_dispatch` (additive, zero-dep, nothing existing touched)
+
+### Current Contract Inventory — new entry
+- `lance_graph_contract::causal_witness::{CausalWitnessFacet, Locus, WITNESS_LOCI(24), NAMED_LOCI(16), LOCUS_LABELS, WITNESS_REGISTER_BYTES(12)}` — the **A9 CausalWitnessFacet**: the L9 `TekamoloWindowBinding` reading of the 12-byte content-blind register as **24 signed `i4` loci** (`G24N4`), each a context POINTER (`∈[−8,+7]`, `0`=unbound, sign=orientation) into the ±8 `temporal.rs` Markov window. The **THIRD ClassView reading** of the same register #729 shipped two of (FROZEN `12×u8` + Orchestration `6×(8:8)`) — a reading, NOT a layout (no stored bytes, mirrors `awareness_facet::SpoFacet`). 16 named loci (§2.9) + 8 reserved-empty (RESERVE-DON'T-RECLAIM). `get`/`set`/`with`/`at`/`is_bound`/`bound_count`/`resolves_to`/`agrees_at`/`agreement_count`/`quorum`/`contradiction`/`cause`/`antecedent`. 8 tests + doctest. Zero deps.
+- `lance_graph_contract::recipe_substrate::{SubstrateView, affective_temperature, pair_similarity}` — wires the 3 real tenants (SPO `SpoFacet` + witness `CausalWitnessFacet` + qualia `QualiaI4_16D`) into the `recipe_kernels::ThoughtCtx` input via `project()`. **Qualia is ADDITIVE + STAKES-only** (temperature only, never a logical marker); **logic + causality ← SPO + 24 witness edges** (`logical_confidence`/`logical_surprise`/`logical_dissonance`/`logical_candidates`/`logical_rung`/`logical_beliefs`). A marker a MISSING tenant can't ground → **NaN/empty** (the NaN-disqualifier signal). 4 tests.
+- `lance_graph_contract::recipe_dispatch::{RecipeInference, inference, rung, dispatch_order, nan_disqualifier, RecipeStep, ladder}` — the 34 recipes as a **rung-ordered, NaN-gated causal ladder** keyed by NARS inference (deduction/induction=fanout/abduction/revision/counterfactual; bridged to `nars::InferenceType` by `to_mantissa` value). `rung` = Tier base + inference escalation delta; `nan_disqualifier` = the runtime `requires()`-coverage gate (a NaN required input disqualifies); `ladder` records each step's triggering cause (Versuchsleitereffekt audit). 6 tests. Deliverable D-REC-WIRE-1; finding E-RECIPE-SUBSTRATE-WIRING-1.
+
 ## 2026-07-20 — branch `claude/ogar-docir-architecture-jjzlig` — GraphQL ergonomics as mask algebra: `selection` + `standing_mask` land in the contract (additive, zero-dep, nothing existing touched)
 
 ### Current Contract Inventory — new entry

.claude/board/STATUS_BOARD.md

@@ -4,6 +4,7 @@ Plan: `.claude/plans/causal-rung-standing-wave-v1.md`. Consumes M20 A1 (shipped)
 
 | D-id | Title | Repo | Status | Evidence |
 |---|---|---|---|---|
+| D-REC-WIRE-1 | Recipe claim-audit (34 kernels measure on a scalar proxy, not the real organ) → wire the 3 real tenants (A9 CausalWitnessFacet 24 loci + SPO + qualia) into a rung-ordered, NaN-gated causal ladder keyed by NARS inference type | lance-graph | **In PR** (branch, this session) — 3 contract modules + 3 probes, 970 tests green, clippy clean, all example gates green | `causal_witness.rs`/`recipe_substrate.rs`/`recipe_dispatch.rs`; probes `recipe_claim_audit`/`loci_recipe_relevance`/`recipe_ladder_over_substrate`; E-RECIPE-SUBSTRATE-WIRING-1 |
 | D-CSW-0 | Plan doc + O1 decision (canonical ladder masks + per-class facet election) | lance-graph | In PR #777; **O1 DECIDED (operator 2026-07-21: canonical masks)** | plan §2 |
 | D-CSW-1 | Standing-wave probe: per-rung persistence over an ordered stream separates causal from coincidental vs single-cycle + p64 3×u8 baseline; escalation cascade prunes at zero separation cost | lance-graph | **v5 SPLIT VERDICT** — CORE standing-wave claim GREEN (auc_wave .997 vs single .878, vs p64-**wave** .500 [M3], vs **reverse .000** [M2 orientation control, +.997]; cascade .997); the SEPARATE §0.5 escalation-ECONOMICS gate 3a **KILLS** (pruned .333 < .40 registered — reported not retuned; the M1 witness correction dropped it from v4's .458) → DEFERRED. v1 fixture-ceiling + v2 mean−std KILLs recorded on the way; leg 2 (real temporal.rs/Lance versions, wild corpora) OPEN. _(v3 historical: .972/.875/.375/.458 — pre M1/M2/M3 fixes.)_ | probe `deepnsm/examples/probe_dcsw1_standing_wave.rs` (v5); E-DCSW1-V5-SPLIT-VERDICT / E-CAUSAL-TISSUE-ALREADY-SHIPS-1 / E-DCSW1-LEG1-GREEN; plan §6.5 |
 | D-CSW-2 | Basin→causal-edge candidate probe: co-occupancy + rung survival vs basin-only / rung-only ablations | lance-graph | Queued (gated on D-CSW-1) | plan §5a/§6 |