AdaWorldAPI · AdaWorldAPI · Sep 2, 2026 · Sep 2, 2026 · Sep 2, 2026 · Sep 2, 2026
diff --git a/.claude/board/EPIPHANIES.md b/.claude/board/EPIPHANIES.md
@@ -1,3 +1,35 @@
+## 2026-09-02 — E-A-GHOST-TRACE-IS-NOT-THE-COUNTERFACTUAL-LANE-1 — the word "ghost" names two semantic families in the tree; the same-word-≠-same-family lesson of the September teardown, caught BEFORE a port this time
+
+**Status:** FINDING + FENCE (verified against source). **Confidence:** High. Raised by an external review of #1137 (GPT-class; held CLAIMED-BY-EXTERNAL per `E-EXTERNAL-REVIEW-ADJUDICATED-1` until checked, then confirmed on both sides in code).
+
+**The two families.**
+1. **Lingering trace.** `thinking_engine::ghosts::{GhostType, Ghost, GhostField}` — a `Ghost` carries `atom`, `ghost_type`, `intensity`, `created_at`, `source_text`; the field decays asymptotically and biases the NEXT cascade (Friston prior). Contract twin `escalation::{GhostEcho, WisdomMarker}` (floor 0.1, decay 0.85). Its eight names are memory residues: Staunen = persistent wonder, Wisdom = deep / harvested knowing, Grief = loss that reshapes topology, Boundary = a limit still felt.
+2. **Non-authoritative counterfactual rung.** `contract::counterfactual::{deposit_counterfactual, CounterfactualMailbox, revise_if_minority_wins}` — the minority pole of a split quorum, kept under `InferenceType::Counterfactual` (−6), never written as observed SPO truth. Its own docs call it a "ghost-tier mailbox" seven times (`counterfactual.rs:16, 111, 229, 243, 247, 340, 402`).
+
+**Why it matters now.** `thinking-engine-harvest-closure-v1` D-TEH-2 ports the trace family into the planner, and `house-differential-style-v1` D-HOUSE-4 consumes it as an anchoring alarm. A reader who meets `GhostType::Wisdom` beside a "ghost-tier mailbox" will plausibly conclude the existing `GhostField` already IS the counterfactual-rung carrier. It is not: one is what a past thought left behind, the other is a road not taken that may still win. The September teardown removed a register precisely because evocative shape-sharing (G24N4) had been read as semantic identity; this is the same failure one word earlier.
+
+**The fence.** The rung MAY consume a trace (a Staunen or Wisdom marker) as a starting prior. The rung is NEVER a trace, a trace is NEVER a rung, and no port under D-TEH-2 or readout under D-HOUSE-1..4 reads `WisdomMarker` as counterfactual state or writes the −6 lane from a ghost field. The wording collision in `counterfactual.rs` is recorded as `TD-GHOST-TIER-NAME-COLLISION-1` (doc-only; rename "ghost-tier" → "counterfactual-tier" when that file is next touched, never as a drive-by).
+
+**Archaeology kept.** The older architecture already carried the epistemic cycle as a DUALITY: Staunen keeps a question alive, Wisdom is what was harvested from it. The shipped `curiosity() = (1/(q+1))·(1−c)` (`exploration.rs`) is a later operational slice of the Staunen end, not the pair. Recorded in the closure plan's idea harvest so the duality survives the crate.
+
+**Also adopted from the same review:** D-HOUSE-1 stays surgical (one causal question, four arms); the resonance, qualia-dye and aperture arms folded in by `575c6d3` are moved OUT to gated follow-on probes D-HOUSE-1b/1c/1d (plan §4b), with three processing-order defects fixed in the move (the aperture knob was reading a quantity that does not exist until two steps later; the dye coloured one candidate; the resonance arm was one shape where the pyramid names two).
+
+Refs: `E-SIX-SEMANTIC-FAMILIES-MUST-NOT-IMPERSONATE-EACH-OTHER-1`, `E-EXTERNAL-REVIEW-ADJUDICATED-1`, `TD-GHOST-ECHO-DUP-1`, `E-QUALIA-IS-RANK-INERT-AT-THE-FRONTIER-AND-POPULATION-LOSES-TO-COUNTING-1` (the attribution lesson), plans `house-differential-style-v1` §4b, `thinking-engine-harvest-closure-v1` §1c/§4.
+
+## 2026-09-02 — E-THINKING-ENGINE-LIVE-FOOTPRINT-IS-ONE-TRAIT-AND-HOUSE-IS-SHIPPED-IN-PIECES-1 — the 51-file excluded crate binds the spine through ONE trait module; the differential-diagnosis style the operator asked for already exists as seven scattered shipped mechanisms and zero names
+
+**Status:** FINDING (measured on `94543a5`, read-only). **Confidence:** High for both measurements. Plans: `house-differential-style-v1`, `thinking-engine-harvest-closure-v1`.
+
+**Measurement 1 — the crate's live footprint.** `grep thinking-engine crates/*/Cargo.toml` names two consumers. `lance-graph-callcenter` requires it and uses exactly `bridge_gate::{CognitiveBridgeGate, CognitiveAuthResult, …}` — a trait-only module whose own doc says it lives low so callcenter can implement it. `cognitive-shader-driver` takes it OPTIONALLY behind `with-engine` (default off) and reaches `dto::BusDto`, two `cognitive_stack` thresholds, and lens lookups in doc/test paths. Everything else in the 51 files is internal or example-only. Consequence: the chapter closes by moving one trait to the zero-dep contract and ruling the DTO ladder's home under D-TTV-1 — not by a rewrite. The MODULE-TABLE census's gem-status column, COMPONENT-MAP §3 and three TD rows already agreed on the file-level verdicts; nobody had measured the dependency edge, so the closure kept looking larger than it is.
+
+**Measurement 2 — the House question.** A grep for the pattern's name (and for "differential diagnosis") over `.claude/`, thinking-engine, contract and planner returns nothing. The mechanics are shipped in seven places: `rcr_abduce` (the ranked board), `asc_challenge` with the disjoint-stamp guard (attack the leader), `cr_synthesize` (thesis/antithesis, depth preserved), `InnerCouncil` + `quorum_project` + `deposit_counterfactual` (minority kept as −6), `peripheral_sample_where` + `peripheral_dissent` (the test nobody ordered; never decides), `Recipe::min_rung` (cheap passes first), `WisdomMarker`/`GhostEcho` (memory, without the field). MedCare-rs already carries the consumer shape (`differential() -> Vec<DiffRow>`, private repo). What is missing is not a mechanism but two READOUTS (discriminating evidence; elimination as a predicate over `truth`/`contradiction`/`stamp`) and the O2 style→recipe edge. Consequence: the right first artifact is a falsifier, not a struct — PROBE-HOUSE-DIFFERENTIAL-1 (planted-cause recovery, shuffle null, periphery can-fire AND can-stay-silent).
+
+**Two stale rows found on the way.** D-PERSONA-1 still read "In progress" on a branch name; its content (`contract::escalation`, planner `mul/escalation.rs`) is on main. D-REUNIFY-2 still read "Backlog"; it shipped as D-CSV-9 in #387. Both regraded in the same commit, status cells only.
+
+**Rule extracted.** Before sizing a retirement, measure the DEPENDENCY EDGE (which symbols cross the crate boundary), not the file count. A 51-file crate with a one-trait edge is a one-trait retirement plus a harvest list; the harvest list is then governed by consumers and falsifiers, one port at a time.
+
+Refs: `TD-THINKING-ENGINE-EXCLUDED-DEBT-1`, `TD-GHOST-ECHO-DUP-1`, `E-RUNG-ASCENT-WIRED-1` (the crate named orphaned), `E-PERIPHERAL-DISSENT-GUARDS-THE-STRATIFICATION-1`, `E-DIALECTIC-V1-TACTICS-IN-PLANNER-1`, `persona-vs-rung-ladder.md` O2/O3.
+
 ## 2026-09-02 — E-QUALIA-IS-RANK-INERT-AT-THE-FRONTIER-AND-POPULATION-LOSES-TO-COUNTING-1
 
 **Status:** MEASURED (PROBE-POP-READOUT-1 / D-POP-1, `pop_readout.rs`, whole

diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md
@@ -1,3 +1,34 @@
+## 2026-09-02 — `house-differential-style-v1` (PROPOSAL, plan-only) + `thinking-engine-harvest-closure-v1` (PROPOSAL, plan-only)
+
+`.claude/plans/house-differential-style-v1.md`. A differential-diagnosis
+style program named as a COMPOSITION of shipped rung-3 tactics — RCR
+frontier, periphery watchers (`peripheral_sample_where` +
+`peripheral_dissent`), ASC challenge with the disjoint-stamp guard, CR
+synthesis, council split → −6 counterfactual fork — plus two readouts it
+asks for (discriminating evidence; elimination as a predicate over arena
+entries, never a new state) and an anchoring alarm gated on the ghost-prior
+harvest. Nothing in the parts list is modified. Gate: PROBE-HOUSE-
+DIFFERENTIAL-1 (D-HOUSE-1), planted-cause recovery on synthetic arenas with
+shared-predicate distractors, size-preserving shuffle null, can-fire AND
+can-stay-silent bounds on the periphery. No opcode, tenant, ClassView, axis,
+struct, persona wiring, or clinical content. The working name never enters
+code.
+
+`.claude/plans/thinking-engine-harvest-closure-v1.md`. Fate of every one of
+the 51 files in the workspace-excluded crate (HARVESTED / HOT-VIA-FEATURE /
+GEM→landing / LAB / RESIDUE), built on the MODULE-TABLE census and
+COMPONENT-MAP §3. Measured live footprint: one required consumer
+(`lance-graph-callcenter`, ONE trait module `bridge_gate`) and one optional
+(`cognitive-shader-driver` `with-engine`: the DTO ladder + two thresholds).
+Reconciles every open row still pointing at the crate (D-PERSONA-1 stale →
+Shipped; D-PERSONA-5 proposed RETIRE under E-NOBODY-WAITS-1; D-REUNIFY-2
+already shipped as D-CSV-9; D-REUNIFY-4 done in `think.rs`; three TDs
+paid by named waves). Closure in four waves — cut the hard dependency,
+harvest gems WITH consumers and falsifiers, M8 engine collapse, retire and
+rename to a lab crate — with stop rules (no port without a consumer, no
+singleton field, no handoff-type revival, no asserted axis basis). §4 keeps
+the chapter's ideas as doctrine with named homes.
+
 ## 2026-09-02 — `post-teardown-buildup-survey-v1` (SURVEY, plan-only)
 
 `.claude/plans/post-teardown-buildup-survey-v1.md`. First step after the

diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md
@@ -10,6 +10,52 @@
 > census §8.3 trap 10: read the body FIRST, then open for write — never
 > inline both in one expression.
 
+## 2026-09-02 — lance-graph branch `claude/medcare-rs-continue-6nhbxn` (plans PR, after #1136) — House differential style v1 + thinking-engine harvest & closure v1
+
+- **Added:** `.claude/plans/house-differential-style-v1.md` (223 lines: parts
+  list of shipped surfaces file-cited, the composition as a recipe-level
+  program, ladder placement per `persona-vs-rung-ladder.md`, PROBE-HOUSE-
+  DIFFERENTIAL-1 pre-registered, D-HOUSE-0..6);
+  `.claude/plans/thinking-engine-harvest-closure-v1.md` (206 lines: measured
+  live footprint, 51-file fate table, open-row reconciliation, four-wave
+  closure with stop rules, idea harvest, D-TEH-0..5, four rulings asked);
+  INTEGRATION_PLANS entry; STATUS_BOARD sections for both plans; EPIPHANIES
+  entry `E-THINKING-ENGINE-LIVE-FOOTPRINT-IS-ONE-TRAIT-AND-HOUSE-IS-SHIPPED-IN-PIECES-1`;
+  SUPERSESSION-INDEX regenerated last.
+- **Regraded (status cells only, evidence cited):** D-PERSONA-1 In progress →
+  Shipped (`contract::escalation` + planner `mul/escalation.rs` on main);
+  D-PERSONA-5 annotated "proposed RETIRE, ruling needed"; D-REUNIFY-2
+  annotated "shipped as D-CSV-9 (#387)".
+- **Locked:** nothing — plan-only; no code, no Cargo change, no type.
+- **Deferred:** every code wave (D-HOUSE-1, D-TEH-1..5) behind its gate; four
+  rulings listed in the closure plan §6.
+- **Confidence:** High for the footprint measurement (two `Cargo.toml`
+  consumers, symbols grepped) and the parts list (each row file:line);
+  Medium for the fate verdicts that name a landing without a consumer yet
+  (they are marked "park" rather than "port").
+- **Correction 2026-09-02 (same PR, third commit):** `575c6d3` had folded three
+  extra arms into D-HOUSE-1; an external review objected (attribution — one
+  causal question per harness) and the objection was adopted: arms moved out
+  to gated D-HOUSE-1b/1c/1d (plan §4b) with three processing-order defects
+  fixed; ghost-trace vs counterfactual-lane fence banked
+  (`E-A-GHOST-TRACE-IS-NOT-THE-COUNTERFACTUAL-LANE-1`,
+  `TD-GHOST-TIER-NAME-COLLISION-1`).
+- **Review pass 2026-09-02 (fourth commit):** 6 Codex + 8 CodeRabbit findings
+  on `84f2885`, all verified in source, all fixed. The three Codex P1s were
+  real probe-design errors: the fixture direction meant `rcr_abduce`
+  (`{P→M, S→M} ⊢ S→P`) could never emit the cause as a candidate (fixed:
+  `cause→feature` rules + `case→feature` observations); candidates were
+  never admitted before ASC (`admit_derived` step added, else
+  `AscOutcome::NoTarget`); `quorum_project` is an unconditional `todo!`
+  (removed from the path; council verdict → `deposit_counterfactual`
+  directly). Also: A1c control arm for the `k = 0` guard; swap-only,
+  `None`-defined discriminating-evidence readout; role_tables/jina_lens
+  one fate each; bridge_gate migration symbol-complete (7 items) with a
+  W1 compatibility contract incl. callcenter's lens-touching test; ghost
+  floor mismatch (0.001-prune vs 0.1-clamp) declared an intentional change
+  with a calibration gate; M8 gate = tolerances + invariants, not
+  bit-parity; stop rule scoped to §1b+§1c; generator singular agreement.
+
 ## 2026-09-02 — lance-graph branch `claude/medcare-rs-continue-6nhbxn` (D-POP-1 result PR, after #1135) — PROBE-POP-READOUT-1
 
 - **Added:** `crates/deepnsm-v2/examples/pop_readout.rs` (probe only, no library

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -1,3 +1,29 @@
+## house-differential-style-v1
+
+| D-id | deliverable | status |
+|---|---|---|
+| D-HOUSE-0 | the plan: parts list of shipped surfaces (file-cited), the composition as a recipe-level style program, ladder placement, pre-registered falsifier | **Shipped (plan-only, this PR)** |
+| D-HOUSE-1 | PROBE-HOUSE-DIFFERENTIAL-1: planted-cause recovery on synthetic arenas with shared-predicate distractors; arms RCR-alone / +admit+ASC / +council control / full cycle / shuffle null (fixture direction `cause→feature` + `case→feature` so RCR yields `case→cause`; `quorum_project` NOT on the path — it is a `todo!`); PASS iff Δp@1 ≥ 0.05 above null p95, planted cause never eliminated, periphery fires on 10–90 % | **Queued — next step** |
+| D-HOUSE-1b | resonance prior probe (`res-seed` + `res-gate`): anchoring vs recognition, same arenas, ρ < 1 guard against the D-HOUSE-1 A2 ordering (plan §4b) | Gated on D-HOUSE-1 reported |
+| D-HOUSE-1c | signed-qualia contrast probe: one i4 per top-3 candidate from the ASC outcome into existing `QualiaI4_16D` lanes, post-challenge re-rank only, all-zero-signs must equal A2 (plan §4b) | Gated on D-HOUSE-1 reported |
+| D-HOUSE-1d | aperture hypothesis (the "humor" label): incongruity → `k` across passes; a hypothesis until its operator is defined and measured (plan §4b) | Not scheduled |
+| D-HOUSE-2 | discriminating-evidence readout (clone arena, observe hypothetical premise, report largest rank displacement) | Gated on D-HOUSE-1 PASS |
+| D-HOUSE-3 | elimination predicate over `truth`/`contradiction`/`stamp` + never-re-enter falsifier | Gated on D-HOUSE-1 PASS |
+| D-HOUSE-4 | anchoring alarm (free energy between wisdom-marker prior and evidence) | Gated on `thinking-engine-harvest-closure-v1` D-TEH-2 |
+| D-HOUSE-5 | the style→recipe edge (O2) with House as its first program | Gated on D-HOUSE-1 PASS and the D-TSC-2/3 mint |
+| D-HOUSE-6 | consumer pointer: `DiffRow` READ fields `eliminated` / `discriminator` (MedCare-rs) | pointer only, out of scope here |
+
+## thinking-engine-harvest-closure-v1
+
+| D-id | deliverable | status |
+|---|---|---|
+| D-TEH-0 | census: live footprint measured (one required consumer via `bridge_gate`; one optional via `with-engine`), 51-file fate table, open-row reconciliation, four-wave closure, idea harvest, four rulings asked | **Shipped (plan-only, this PR)** |
+| D-TEH-1 | W1: `bridge_gate` trait → `lance-graph-contract`; callcenter drops the path dep; DTO-ladder home ruling recorded (D-TTV-1); thinking-engine becomes a leaf | Queued — first code wave |
+| D-TEH-2 | W2: ghost prior → planner `nars/ghost_prior.rs` over `WisdomMarker`, per-thought, two-sided falsifiers; crate `ghosts.rs` deleted | Queued — consumer D-HOUSE-4 |
+| D-TEH-3 | W2: `cronbach` → `jc::reliability`; `semantic_chunker` / `spiral_segment` decided by their falsifiers | Queued |
+| D-TEH-4 | W3: ENTROPY M8 engine collapse with dtype parity suite; 5 cascade shapes + 3 lens modules collapse | Queued |
+| D-TEH-5 | W4: residue deleted, crate renamed `thinking-lab` with a `--manifest-path` CI line; §2 rows closed; `TD-THINKING-ENGINE-EXCLUDED-DEBT-1` paid | Queued — closes the chapter |
+
 ## post-teardown-buildup-survey-v1
 
 | D-id | deliverable | status |
@@ -1343,7 +1369,7 @@ Plan path: `.claude/plans/causaledge64-mailbox-rename-soa-v1.md`.
 | D-id | Title | Status | PR / Evidence |
 |---|---|---|---|
 | D-REUNIFY-1 | Acknowledge dual `CausalEdge64` types in TYPE_DUPLICATION_MAP + LATEST_STATE + EPIPHANIES | **Shipped** | this commit (post-merge #372 board-hygiene tail) |
-| D-REUNIFY-2 | 8-channel → SPO transcoder spec at thinking-engine L3 commit boundary | **Backlog** | per Option R-3; sprint-12+ |
+| D-REUNIFY-2 | 8-channel → SPO transcoder spec at thinking-engine L3 commit boundary | **Backlog → shipped as D-CSV-9** (#387 `e042c70`; annotated 2026-09-02, `thinking-engine-harvest-closure-v1` §2) | per Option R-3; sprint-12+ |
 | D-REUNIFY-3 | `Think` carrier struct prototype unifying thinking-engine cascade + cognitive-shader-driver SoA | **Backlog** | per `.claude/knowledge/splat-shader-rayon-struct-method-vision.md` sprint-12 |
 | D-REUNIFY-4 | Splat op fleet (`splat_gaussian`, `score_hole_closure`, `replay_coherence`, `emit_if_epiphany`) as methods on `Think` | **Backlog** | sprint-13+ |
 | D-REUNIFY-5 | rayon work-stealing par_* method variants | **Backlog** | sprint-14+ |
@@ -1440,11 +1466,11 @@ hot/cold/feedback loop onto our contract types + SoA floor
 
 | D-id | Title | Crate(s) | ~LOC | Risk | Status | PR / Evidence |
 |---|---|---|---|---|---|---|
-| D-PERSONA-1 | escalation+epiphany loop = the checklist (`felt_parse` collapse-hint + `InnerCouncil`/`HdrResonance` split + `EpiphanyDetector`; green-flip = Epiphany/Wisdom ghost) — NOT a bespoke verifier | contract + planner | 160 | LOW | **In progress** | branch `claude/splat3d-cpu-simd-renderer-MAOO0` |
+| D-PERSONA-1 | escalation+epiphany loop = the checklist (`felt_parse` collapse-hint + `InnerCouncil`/`HdrResonance` split + `EpiphanyDetector`; green-flip = Epiphany/Wisdom ghost) — NOT a bespoke verifier | contract + planner | 160 | LOW | **Shipped** (regraded 2026-09-02 by `thinking-engine-harvest-closure-v1` §2: `contract::escalation` {CollapseHint, InnerCouncil, EpiphanyDetector, GhostEcho, WisdomMarker, Checklist} + planner `mul/escalation.rs` {`verdict_from`, `boot_checklist`} are on main; the old branch pointer was stale) | — |
 | D-PERSONA-2 | meta-recipe manifest (declarative child-spec, recipe-as-data, macro-evaluable) | contract | 150 | MED | **Queued** | — |
 | D-PERSONA-3 | hot/cold/feedback wiring — anneal + `CrystalCodebook`→wisdom-marker cold path + Preload hydrate | planner + Lance | 240 | MED | **Queued** | — |
 | D-PERSONA-4 | macro-eval harness (scenario→trace→discover→diagnose; suspect-bridge = blasgraph betweenness; 5 rubrics from D-RUNG-MUL) | planner + Lance | 280 | HIGH | **Queued** | — |
-| D-PERSONA-5 | ractor outer-swarm runtime under `OrchestrationBridge` (batons as messages, async only at boundary) | planner | 200 | MED | **Queued** | — |
+| D-PERSONA-5 | ractor outer-swarm runtime under `OrchestrationBridge` (batons as messages, async only at boundary) | planner | 200 | MED | **Queued — proposed RETIRE** (`thinking-engine-harvest-closure-v1` §2/§6: batons-as-messages contradicts E-NOBODY-WAITS-1 and E-ACK-ELIMINATED-1; ruling needed, not assumed) | — |
 | D-PERSONA-6 | `odoo_scanner` + `OdooBridge` — harvest Odoo `l10n_de` → Finance-ns `MappingProposal`s; bind existing `TaxEngine`; GoBD by construction | ontology + contract + planner | 280 | MED | **Queued** | — |
 
 ---