plan: carry W0's verdict into the wave table (W2 blocked-by-OGAR-mint-decision, W1 proceeds)

[AdaWorldAPI]

One commit, two table rows in .claude/plans/r2il-machine-semantic-contract-v1.md. No source change, no mint, no new decision.

Why this exists at all

#1028 recorded W0's verdict in its PR body. The plan's own wave table still showed W2 with its original gate — "gated on W0's verdict for the space axis" — which now reads as pending when it is in fact blocked. A future session reading the plan alone, which is the likeliest path, would have walked into the blocked axis without ever seeing the cone.

§0 of that same document argues that status belongs in the register that claims to hold status. This is that argument applied to the document itself.

W2 → ⛔ BLOCKED-BY-OGAR-MINT-DECISION

The row now states the change of kind, not just a flag: the gate is no longer "W0 decides how the space axis is carved" but "the custom axis must not enter the mint in its current carving at all" — the lo-u16 is a rank inside a table the classid never names, and two arches collide byte-identically (E-W0-THE-SPACE-ORDINAL-IS-A-RANK-RELATIVE-TO-A-TABLE-THE-CLASSID-NEVER-NAMES-1).

Deliberately bounded so the cone stops no more traffic than it should:

• Fixed spaces 0–3 are unaffected and stay — architecture-invariant by construction.
• Container concepts that do not touch the space axis are not blocked.
• The three repair options (arch in the address / raw SLEIGH identity / custom space outside the classid) are named as undecided, not chosen — that remains an OGAR mint decision, and this PR does not pre-empt it.
• The falsifier column is honest about the split: the original test still governs the concept half; for the space half the block is the verdict, not a test to re-run.

W1 → MAY PROCEED

Independently of W0's verdict, with the one condition stated inline: where its carving work does touch the custom-space axis, it inherits W2's block.

Test plan

• Docs only; no code paths touched.
• Rebased onto main (f456f96) so the row text matches what board+plan: W0 custom-space census blocks the 0xC4 custom axis #1028 actually merged.

🤖 Generated with Claude Code

https://claude.ai/code/session_01AGVLyRZNEKKBSfBDJfbY3V

---

Generated by Claude Code

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: fad7316f-1430-4fca-ae33-c43ed235b8d6

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_29cb0b96-9500-421d-9137-4eb70f2ab02e)