diff --git a/docs/remediation/BOARD.md b/docs/remediation/BOARD.md index 2f6a1cff..68c024c0 100644 --- a/docs/remediation/BOARD.md +++ b/docs/remediation/BOARD.md @@ -18,14 +18,14 @@ remediation dispatched to `coder-mos2`. Review dispatches now always leave a dur ## In-flight -| Task | Owner | State | -| ------------------- | --------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -| RM-01 checkout | — | **MERGED** `f58b3699` (#1027) | -| RM-03 queue guard | Jason (re-sync) | ✅ **MERGED** `58b971ab` (#1032), #1019 closed. ⚠ **NOT DELIVERED**: installed guard still the broken one (291 lines / 0 `ASSERTED_NOT_READY` vs main 482 / 5). Re-sync via `mosaic upgrade`, then **prove it blocks a KNOWN-RED pipeline** — **D-51** | -| RM-02 registry ★key | coder-mos2 | **ROUND-5 VERDICT id 88 REQUEST_CHANGES @ `e910a45a` (2026-08-05T22:37Z, live).** 2 blockers left: renderer accepts manifest-controlled `COMPATIBILITY `-prefixed provenance-success payloads; overclaim control is lexical-not-semantic vs docs claims. Shrink-together + evidence-subject CONFIRMED CLOSED — do not weaken. Remediation dispatched to `coder-mos2` 22:5xZ (PR comment + verified tmux); context guard: checkpoint at 85%. ⚠ **MERGE PRECONDITIONS (D-55/D-55f, measured):** poster=f10-coder (1 of 3 authors); (1) explicit `-m squash` (repo default `merge` discards ALL authorship); (2) **merger ≠ f10-coder** (self-merge suppresses the trailer generator → all 3 lost); (3) pr-merge.sh message field for coder-mos1/mos2 trailers (be-coder-08) — ⚠ field-supplied trailer survival **NOT MEASURED** (0/46 precedent; be-coder-08 charged with throwaway-PR proof). Trade in body; **branch MUST NOT be deleted**. ACs @ `dde38717` | -| RM-61 CI exemption | — | ✅ **MERGED** `f4fd5967` (#1033). #1034 closed; **#1000 stays OPEN** (retirement trigger). Exemption is on `main` | -| RM-59 / RM-60 | Jason (infra) | tracked deps; RM-60 option **B** | -| #1023 queue attempt | Jason | SUPERSEDED-PENDING-JASON — live REQUEST_CHANGES, do **not** merge | +| Task | Owner | State | +| ------------------- | --------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | +| RM-01 checkout | — | **MERGED** `f58b3699` (#1027) | +| RM-03 queue guard | Jason (re-sync) | ✅ **MERGED** `58b971ab` (#1032), #1019 closed. ⚠ **NOT DELIVERED**: installed guard still the broken one (291 lines / 0 `ASSERTED_NOT_READY` vs main 482 / 5). Re-sync via `mosaic upgrade`, then **prove it blocks a KNOWN-RED pipeline** — **D-51** | +| RM-02 registry ★key | coder-mos2 | **ROUND-5 VERDICT id 88 REQUEST_CHANGES @ `e910a45a` (2026-08-05T22:37Z, live).** 2 blockers left: renderer accepts manifest-controlled `COMPATIBILITY `-prefixed provenance-success payloads; overclaim control is lexical-not-semantic vs docs claims. Shrink-together + evidence-subject CONFIRMED CLOSED — do not weaken. Remediation dispatched to `coder-mos2` 22:5xZ (PR comment + verified tmux); context guard: checkpoint at 85%. ⚠ **MERGE PRECONDITIONS (D-55/D-55f, measured):** poster=f10-coder (1 of 3 authors); (1) explicit `-m squash` (repo default `merge` discards ALL authorship); (2) **merger ≠ f10-coder** (self-merge suppresses the trailer generator → all 3 lost); (3) pr-merge.sh message field for coder-mos1/mos2 trailers (be-coder-08) — N=1 survival MEASURED-LANDS; (4) **N>1 trailer behaviour must be MEASURED before merge** (no safe order with 2 non-poster authors; truncation loses one permanently; Mos routed the fixture). Trade in body; **branch MUST NOT be deleted**. ACs @ `dde38717` | +| RM-61 CI exemption | — | ✅ **MERGED** `f4fd5967` (#1033). #1034 closed; **#1000 stays OPEN** (retirement trigger). Exemption is on `main` | +| RM-59 / RM-60 | Jason (infra) | tracked deps; RM-60 option **B** | +| #1023 queue attempt | Jason | SUPERSEDED-PENDING-JASON — live REQUEST_CHANGES, do **not** merge | ### For the incoming orchestrator — read this before acting diff --git a/docs/remediation/TASKS.md b/docs/remediation/TASKS.md index 2b317598..5e329de4 100644 --- a/docs/remediation/TASKS.md +++ b/docs/remediation/TASKS.md @@ -902,11 +902,18 @@ must not be `f10-coder`** — a self-merge converts partial loss (2 of 3) into t the USC lane shipped exactly this without knowing it was a decision; (3) the pr-merge.sh message field remains the ONLY route to naming coder-mos1/coder-mos2. -**Open caveat, correctly held as `NOT MEASURED`:** whether a trailer supplied via the message field -SURVIVES the generator — 0 of 46 merged squashes carry a non-poster trailer, so history cannot -answer. be-coder-08 is charged (by Mos) with an end-to-end throwaway-PR proof including a control -that can return ABSENT. Until then, "the field will carry them" is an untested claim and must not be -load-bearing in any GO. +**Caveat status (updated 2026-08-05, same night):** Mos's fixture MEASURED that a message-field +trailer naming ONE non-poster lands. **N>1 remains `NOT MEASURED`** — multiple supplied trailers +could dedup, reorder, truncate to the first, or all land. This is the one case ORDERING cannot save +for #1030: with TWO non-poster authors (coder-mos1, coder-mos2) attributed only by trailer, there is +**no safe order** — truncation loses one of the two permanently whichever is listed first (contrast +D2/USC, one load-bearing trailer, where put-it-first bounds the loss at cosmetic). **The merge +decision is therefore NOT INVARIANT under this unknown:** all-land ⇒ merge as planned; truncate ⇒ +#1030 must NOT merge via the message field alone and needs a different remedy. **Fourth merge +precondition (Mos, 2026-08-05): N>1 trailer behaviour must be MEASURED before #1030 merges.** Mos +has routed the measurement (fixture branch pushed, be-coder-08 opens the PR, Mos merges and reads +back; values only, same controls; one disposable merge). Until it lands, "the field will carry both" +must not be load-bearing in any GO. **Addendum (Mos, 2026-08-05) — the floor is a MEASURED ACCIDENT, not a gate that held.** #1030's poster happens to be its plurality author (f10-coder, 6/13), so the floor preserves the