Skip to content

board: backfill tracking for r2il-machine-semantic-contract-v1, and mint its D-ids #1155

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 1 commit into from
Sep 3, 2026
+38 −0
Merged

board: backfill tracking for r2il-machine-semantic-contract-v1, and mint its D-ids #1155

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 21 additions & 0 deletions .claude/board/INTEGRATION_PLANS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Expand Down
17 changes: 17 additions & 0 deletions .claude/board/STATUS_BOARD.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 |

@chatgpt-codex-connector chatgpt-codex-connector Bot Sep 3, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Record the already-run plasticity probes

Marking this deliverable Queued hides work already completed in the referenced section: the plan records Q1 as run with results in §8.3, and the Q6, Q7, and Q8 experiments also have recorded outcomes later in the same document. Any session using this board to schedule the ladder can therefore repeat completed experiments; represent the completed probes and only leave the remaining queue items pending.

Useful? React with 👍 / 👎.

| 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 |

@chatgpt-codex-connector chatgpt-codex-connector Bot Sep 3, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Do not label the wave sequence as unstarted

The referenced §6 explicitly says W0 was run on 2026-08-25 and records its verdict, so Not started is false even if W1–W5 have not produced implementation code. In a backfill intended to prevent duplicate work, this status can cause W0's census and falsification to be rerun; record W0 as completed while preserving the pending or blocked states of the later waves.

Useful? React with 👍 / 👎.


## house-differential-style-v1

| D-id | deliverable | status |
Expand Down