Propose CH-004: repair the tag/test mismatches G-002 found.

Mints EVT-011/012/013, retires EVT-003, and closes AN-010's two
unit-tier gaps.

Author: flemming-n-larsen

.clue/id-ledger.yaml

@@ -5,11 +5,12 @@ counters:
     ARCH: "3"
     C: "7"
     CAP: "8"
-    CH: "3"
+    CH: "4"
     CRIT: "8"
     DES: "8"
+    EVT: "1"
     G: "2"
-    IDR: "2"
+    IDR: "3"
     OQ: "2"
     P: "1"
     PDR: "1"
@@ -207,6 +208,11 @@ entries:
       state: live
       prefix: CH
       component: "3"
+    - id: CH-004
+      kind: numeric
+      state: reserved
+      prefix: CH
+      component: "4"
     - id: CRIT-001
       kind: numeric
       state: live
@@ -287,6 +293,11 @@ entries:
       state: live
       prefix: DES
       component: "8"
+    - id: EVT-001
+      kind: numeric
+      state: reserved
+      prefix: EVT
+      component: "1"
     - id: G-001
       kind: numeric
       state: live
@@ -307,6 +318,11 @@ entries:
       state: live
       prefix: IDR
       component: "2"
+    - id: IDR-003
+      kind: numeric
+      state: reserved
+      prefix: IDR
+      component: "3"
     - id: OQ-001
       kind: numeric
       state: live

changes/CH-004-g-002-tag-repair/open-questions.md

@@ -0,0 +1 @@
+No blocking questions. `IDR-003` records the one choice that could have gone either way (retire-and-mint `EVT-003` vs. strengthen its assertion) and why retire-and-mint is the honest option given the fixed classic robot available.

changes/CH-004-g-002-tag-repair/proposal.md

@@ -0,0 +1,29 @@
+---
+id: CH-004
+type: change
+status: proposed
+links: [G-002, CAP-001, CAP-003, AN-010, P-001]
+title: Repair the tag/test mismatches G-002 found
+---
+
+# CH-004 — Repair the tag/test mismatches G-002 found
+
+## What
+
+`G-002` found that three passing conformance tests in `CAP-001` prove behaviour their tags do not name, and `AN-010` found two smaller unit-tier gaps in `CAP-003`. This change closes both:
+
+- Mint `EVT-011` (round and battle completion each reach their handler exactly once) and retag the two tests currently mistagged `EVT-005`.
+- Mint `EVT-012` (winning a round reaches the win handler) and retag the test currently mistagged `EVT-004`.
+- Retire `EVT-003` and mint `EVT-013` with a scenario that matches what classic's own `InteruptibleEvent` robot and its own suite actually assert — same-priority re-entry into an interruptible handler, not a higher-priority one. No classic robot in the source tree exercises genuine higher-priority re-entry, so the original wording promised evidence that cannot exist for this robot; `IDR-003` records the decision and why it forecloses rather than defers.
+- Promote `EVT-011`, `EVT-012`, and `EVT-013` — each now has passing evidence under its correct name.
+- Narrow `API-001`'s scenario to the one direction `AngleConverter` implements, marking it `(single-direction)`; the round-trip clause described a symmetry the adapter never needed, per `AN-010`.
+- Add the missing `API-004` owner-departed test.
+- Add plan doors `M-139`/`M-140`/`M-141` for `EVT-011`/`EVT-012`/`EVT-013`; mark `M-103` (`EVT-003`) superseded.
+
+## Why
+
+`G-002`'s own argument: a mistagged test is worse than a missing one, because it makes a criterion look ready to promote when nothing kept the promise. `CH-003` nearly promoted `EVT-005` on exactly this reasoning, and `M-001` cannot honestly close while its fourth clause — criteria active rather than `@draft` — can be satisfied by a mistag.
+
+## Route
+
+Full. Every mint, retirement, and promotion changes what `CAP-001`'s and `CAP-003`'s accepted contract says is proven.

changes/CH-004-g-002-tag-repair/tasks.md

@@ -0,0 +1,10 @@
+- [ ] Write `IDR-003`: `EVT-003`'s higher-priority claim retired, evidence rescoped to what classic's `InteruptibleEvent` actually proves
+- [ ] `CAP-001/criteria.md`: mint `EVT-011` (round/battle completion), mint `EVT-012` (win handler), retire `EVT-003` with `@retired` tombstone, mint `EVT-013` (same-priority re-entry) — serves `EVT-011`, `EVT-012`, `EVT-013`
+- [ ] Retag and rename tests in `RoundOutcomeEventsConformanceTest.java`: `testEVT005_...RoundAndBattleCompletion...` → `testEVT011_...`, `testEVT005_...RoundCompletionIsNotReportedMoreThanOncePerRound` → `testEVT011_...`, `testEVT004_...WinningARoundReachesTheWinHandler` → `testEVT012_...` — serves `EVT-011`, `EVT-012`
+- [ ] Retag and rename tests in `InterruptibleEventConformanceTest.java`: `testEVT003_...` → `testEVT013_...`, update class javadoc — serves `EVT-013`
+- [ ] `CAP-003/criteria.md`: narrow `API-001` to drop the round-trip clause, mark `(single-direction)`
+- [ ] `AngleConverterTest.java`: update class javadoc to note the single direction, no test change needed (no round-trip was ever tested)
+- [ ] `BulletMapperTest.java`: add `testAPI004_UnitNegative_MapsABulletWhoseOwnerHasLeftTheBattle`
+- [ ] `P-001`: add `M-139`/`EVT-011`, `M-140`/`EVT-012`, `M-141`/`EVT-013`; mark `M-103` superseded, pointing at `M-141`
+- [ ] Run `./gradlew :robocode-api:test` and `./gradlew :conformance-test:test` with the environment gates; confirm the conformance tier actually ran, not skipped
+- [ ] Digest: regenerate README indexes, delete this workspace, `clue validate`