diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md index c9fd306ac..30adc2d59 100644 --- a/.claude/board/INTEGRATION_PLANS.md +++ b/.claude/board/INTEGRATION_PLANS.md @@ -1,3 +1,24 @@ +## 2026-09-03 — `r2il-machine-semantic-contract-v1` (PLAN, 2026-08-25) — BACKFILLED INDEX ENTRY + +`.claude/plans/r2il-machine-semantic-contract-v1.md`. Answers *"wie soll die +Session R2IL speichern?"* once, from shipped code and measurement, so it is not +re-derived per session — which is exactly what happened anyway, because the plan +was never indexed here. §4 gives five rules (R1–R5) with operator rulings and ADR +citations; §5 carries the one measured finding +(`E-R2IL-MACRO-VOCABULARY-TRANSFERS-ACROSS-COMPILER-AND-LANGUAGE-1`: the macro +vocabulary survives a compiler AND a language boundary at −4.7%); §7 demotes the +hex reading to a testable overlay and then records its own demotion (the Q8 +degree ablation); §8 is the plasticity falsifier ladder. Everything outside §5 is +PROPOSED and labelled line by line; nothing has been built, no mint performed, no +layout bump, no crate created. + +**Why this entry is late.** The plan carried no D-ids, so `STATUS_BOARD` had +nothing to hold and `SUPERSESSION-INDEX` had nothing to count — a 1427-line plan +that is invisible to every discovery path this workspace has. D-ids `D-R2IL-1..5` +are minted retroactively in the same commit. Cross-ref: the +`rubicon-loco-rung-cognitive-fabric-v1` session's `D-RLR-4`, which re-derived §E +of the same question independently. + ## 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 diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index 23b1469a1..ce8e994fd 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -1,3 +1,20 @@ +## r2il-machine-semantic-contract-v1 (BACKFILLED 2026-09-03 — the plan shipped 2026-08-25 with NO board tracking) + +`.claude/plans/r2il-machine-semantic-contract-v1.md` (1427 lines). Untracked +since it landed: zero rows here, zero `INTEGRATION_PLANS` entry, and — the root +cause — **zero D-ids in the plan itself**, so nothing was addressable even in +principle. Surfaced by the `rubicon-loco-rung-cognitive-fabric-v1` session, +which re-derived part of §4 as its own `D-RLR-4` because it could not find this +plan. D-ids are minted here retroactively against sections that already exist. + +| D-id | deliverable | status | +|---|---|---| +| D-R2IL-1 | §4 — the storage answer, R1–R5 (registers separate; 12 bytes a dumb ClassView-projected register; macro vocabulary is a PALETTE not a `FnIndex` per macro; behaviour by ADDRESS never inline) | **Shipped 2026-08-25 (plan-only)** — the question `D-RLR-4` re-derives | +| D-R2IL-2 | §5 — `E-R2IL-MACRO-VOCABULARY-TRANSFERS-ACROSS-COMPILER-AND-LANGUAGE-1`: held-out density 2.515 (−0.6%, same gcc) and 2.409 (−4.7%, unseen Rust/rustc) vs train 2.529; two pre-registered nulls × 20 seeds; the split-per-toolchain kill did NOT fire | **Measured 2026-08-25** — the one FINDING under the plan; fences (x86-64, pass-1 seven-opcode, chain-length 3, Rust capped 200/548) carried, not waived | +| D-R2IL-3 | §7 — the white/grey reading, hex demoted to a testable overlay, and the demotion gate (§7.2) | **Shipped; outcome recorded** — the Q8 degree ablation collapsed the hex overlay's advantage (`ab0e0aa3`), and Q8b found the completion task not expressible on the established def-use carrier (`d8d3604d`). PRs #1119/#1121 read as orphaned from outside precisely because this section was untracked | +| D-R2IL-4 | §8 — the plasticity falsifier ladder: one queue, pre-registered first experiment | Queued | +| D-R2IL-5 | §6 — the wave order, each wave with its falsifier | Not started — nothing in §6 has been built; the plan's own header says so | + ## house-differential-style-v1 | D-id | deliverable | status |