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,29 @@
+## 2026-09-02 — E-THE-DTO-LADDER-IS-THE-ALU-BUS-AND-WAS-ALREADY-RULED-1 — a session re-asked a question `.claude/v3/` had answered on 2026-07-02, and proposed a probe on the wrong axis before reading it
+
+**Status:** CORRECTION + FENCE (same day, same branch, before merge). **Confidence:** High.
+
+**What happened.** The closure plan asked, as "ruling 3", which crate should own `StreamDto` / `PerturbationDto` / `BusDto` / `ThoughtStruct`, offered "driver vs a small DTO crate", and — after the operator said the word "ladder" was unclear — proposed an `ogar-r2il` round-trip probe to decide it. The operator's correction was to read the V3 documentation. Read in full (`README`, `VISION`, `v3-substrate-primer`, `INTEGRATION-PLAN`, `ENTROPY-MILESTONES`), the answer was there since 2026-07-02: the four structs are the bus of the ALU chain `ladybug-rs → thinking-engine → P64 → cognitive-shader-driver → SoA` (`primer` §3, `VISION` §6, `E-DTO-LADDER-OWNERSHIP-SPLIT`, W4 / D-V3-W4a), and the contract already carries their zero-dep shader-side twins (`cognitive_shader::{ShaderDispatch, ShaderResonance, ShaderBus, ShaderCrystal}`; `engine_bridge.rs:6-8` maps the two ladders rung by rung).
+
+**The plain statement, so it is not re-derived again.** `cognitive-shader-driver` is the ALU: it owns the SoA columns, dispatches a cycle through the engine hook, and emits the cycle fingerprint through sinks. The four DTOs are what enters and leaves the ALU. stockfish-rs is the reference design for the 64×64 field (NNUE = the incremental make/unmake accumulator, `stockfish-harvest-64x64-v1`); masking + SIMD are what turn that ALU into a reusable thinking-compiler driver any consumer can dispatch into as a cognitive shader. What is genuinely open on this chain is NOT placement: PR #1051 measured the seam as transport rather than a field ALU, and `alpha-reason-witness-shader-field-lineage-addendum-v1` owns recovering the field path. A closure of thinking-engine never moves the ALU's bus into a lab crate, a DTO crate, or r2il.
+
+**Fence.** Before asking any question that contains "DTO", "ladder", "BusDto", "shader" or "driver": `v3-substrate-primer.md` §3 and `E-DTO-LADDER-OWNERSHIP-SPLIT` first. The primer is one page; the re-derivation cost two turns and one wrong proposal in a PR body. This is the "consult before you guess" rule (CLAUDE.md § The Stance) failing on its own author.
+
+Refs: `E-DTO-LADDER-OWNERSHIP-SPLIT`, `E-TWO-RESONANCES-SPLIT`, `.claude/v3/INTEGRATION-PLAN.md` W4, PR #1051 (seam audit), `alpha-reason-witness-shader-field-lineage-addendum-v1` §A0–A5, `thinking-engine-harvest-closure-v1` §6.3 (corrected).
+
+## 2026-09-02 — E-JC-IS-THE-HOME-OF-ALL-CALIBRATED-MATH-1 — operator ruling: scientifically calibrated math lives in `jc`, lifted when correct and perfected there when not; glue is not math
+
+**Status:** RULING (operator, 2026-09-02, closing ruling 4 of `thinking-engine-harvest-closure-v1` §6; rulings 1 and 2 of the same section — D-PERSONA-5 RETIRED, D-REUNIFY-5/6 CLOSED-superseded — landed in the same commit; ruling 3 stays OPEN, re-stated in plain terms in the plan). **Confidence:** High (verbatim intent; wording here is mine).
+
+**The rule.** `jc` (Jirak-Cartan, the pillar crate) is the single home for every piece of math that has been or must be scientifically calibrated. When a calibration routine exists elsewhere in the workspace it has exactly two fates: **lifted** into jc as-is if it is correct, or — if it sails under a wrong name or is numerically wrong — the **jc version is perfected** and the stray copy dies. A duplicate is never tolerated as "the same thing twice"; it is either the same (lift) or a defect (perfect). jc's pillars are meant to be the reusable, liftable calibration source, and once ndarray is proven bit-exact the same math is re-importable into production from jc rather than re-derived.
+
+**Why `sigker` stayed out.** This is the same rule applied earlier: sigker was held outside jc while Pillar 11 (Hambly-Lyons signature uniqueness) was red for non-lattice quantized step vectors. Only math whose certification is green enters the pillar crate.
+
+**What it changes right now.** The thinking-engine calibration battery is split by NATURE, not by weight: `cronbach.rs` (compared against `jc::reliability::cronbach_alpha` on a shared fixture, then lifted or reconciled), `spearman_rank_correlation`, the re-encode drift statistics and the SiLU-correction statistics go to jc under D-TEH-3; candle loaders, tokenizer registry, centroid labels, model auto-detect and file plumbing are glue and stay in the lab crate, calling jc for their math.
+
+**Guard.** A lift is only a lift if the two implementations agree on a fixture that can distinguish them; a fixture on which every implementation returns the same value proves nothing (the falsifiability rule). Where they disagree, the discrepancy is understood before jc is declared right.
+
+Refs: `crates/jc/src/lib.rs` (pillar list; Pillar 11 status), `I-NOISE-FLOOR-JIRAK`, `TD-THINKING-ENGINE-EXCLUDED-DEBT-1`, `thinking-engine-harvest-closure-v1` §1d / §6 / W2.
+
 ## 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).

diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md
@@ -10,6 +10,26 @@
 > 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` (rulings PR, after #1137) — closure-plan rulings 1, 2, 4 recorded; ruling 3 re-stated
+
+- **Added:** EPIPHANIES `E-JC-IS-THE-HOME-OF-ALL-CALIBRATED-MATH-1`; closure
+  plan §6 rewritten from "asked" to "ruled" (1 RETIRE, 2 CLOSED-superseded,
+  4 math→jc / glue→lab, 3 OPEN with the four structs named in plain terms
+  and a proposed r2il round-trip probe); §1d split by nature; W2/W4 and
+  D-TEH-3 amended.
+- **Regraded (status cells, evidence cited):** D-PERSONA-5 → RETIRED;
+  D-REUNIFY-5 and D-REUNIFY-6 → Closed-superseded; D-TEH-3 wording.
+- **Locked:** the jc rule (all calibrated math in jc; lift or perfect, never
+  duplicate).
+- **Correction (same day, third commit):** ruling 3 was NEVER open — the
+  four structs are the bus of the ALU chain (`primer` §3,
+  `E-DTO-LADDER-OWNERSHIP-SPLIT`, W4); the "small DTO crate" option and the
+  r2il round-trip probe are RETRACTED (`E-THE-DTO-LADDER-IS-THE-ALU-BUS-AND-WAS-ALREADY-RULED-1`).
+- **Deferred:** (superseded by the correction above — nothing on ruling 3);
+  the `counterfactual.rs:243` doc pointer to D-PERSONA-5 is rewritten when
+  that file is next touched (same rule as `TD-GHOST-TIER-NAME-COLLISION-1`).
+- **Confidence:** High.
+
 ## 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

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -20,7 +20,7 @@
 | 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-3 | W2: calibration MATH → `jc` (ruling 4, 2026-09-02: lift if correct, perfect in jc if not; crate copies die); glue stays in the lab crate; `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 |
 
@@ -1372,8 +1372,8 @@ Plan path: `.claude/plans/causaledge64-mailbox-rename-soa-v1.md`.
 | 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+ |
-| D-REUNIFY-6 | OWL DOLCE / OntologyFilter wiring into `emit_causal_edges_filtered` | **Backlog** | sprint-15+ |
+| D-REUNIFY-5 | rayon work-stealing par_* method variants | **Closed — superseded** (operator ruling 2026-09-02, closure plan §6.2: the target was the singleton BindSpace; any sweep is a new row against `MailboxSoA`) | sprint-14+ |
+| D-REUNIFY-6 | OWL DOLCE / OntologyFilter wiring into `emit_causal_edges_filtered` | **Closed — superseded** (operator ruling 2026-09-02, closure plan §6.2: ontology lives at the membrane, not in the engine) | sprint-15+ |
 
 ---
 
@@ -1470,7 +1470,7 @@ hot/cold/feedback loop onto our contract types + SoA floor
 | 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 — 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-5 | ractor outer-swarm runtime under `OrchestrationBridge` (batons as messages, async only at boundary) | planner | 200 | MED | **RETIRED** (operator ruling 2026-09-02, `thinking-engine-harvest-closure-v1` §6.1: batons-as-messages contradicts E-NOBODY-WAITS-1 and E-ACK-ELIMINATED-1; the `MailboxId` dependant at `counterfactual.rs:243` is re-homed on the W2a board tenant) | — |
 | 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** | — |
 
 ---

diff --git a/.claude/board/SUPERSESSION-INDEX.md b/.claude/board/SUPERSESSION-INDEX.md
@@ -14,7 +14,7 @@
 ## What this table says
 
 **`BindSpace` is the shape of the problem.** Marked RETIRE, and simultaneously the
-most-referenced symbol here: **68 crate files, 44 plans, 41 of them blind.**
+most-referenced symbol here: **68 crate files, 45 plans, 41 of them blind.**
 That is a programme, not a cleanup.
 
 **`GateState` is the sharpest case: 1 plan names it and *every one* is blind.**
@@ -60,7 +60,7 @@ coverage instead.
 | `GateState` | REPURPOSE | — | 14 | 1 | 1 |
 | `MergeMode` | REPURPOSE | — | 8 | 13 | 12 |
 | `ResonanceDto` | REPURPOSE | `PerturbationDto` | 2 | 12 | 7 |
-| `BindSpace` | RETIRE | — | 68 | 44 | 41 |
+| `BindSpace` | RETIRE | — | 68 | 45 | 41 |
 | `CollapseGateEmission` | RETIRE | — | 5 | 13 | 12 |
 | `ThinkingStyle` | RETIRE-toward-contract | — | 51 | 28 | 24 |