From 32799e602502687beb4657b13546f806328f4e57 Mon Sep 17 00:00:00 2001 From: mos-dt-0 Date: Wed, 5 Aug 2026 18:31:23 -0500 Subject: [PATCH] =?UTF-8?q?docs(remediation):=20precondition=20(4)=20close?= =?UTF-8?q?d=20on=20measurement=20=E2=80=94=20N=3D2=20trailers=20both=20la?= =?UTF-8?q?nd=20in=20order;=20#1030=20merge=20decision=20resolves=20to=20a?= =?UTF-8?q?ll-land?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/remediation/BOARD.md | 16 ++++++++-------- docs/remediation/TASKS.md | 15 +++++++++++++++ 2 files changed, 23 insertions(+), 8 deletions(-) diff --git a/docs/remediation/BOARD.md b/docs/remediation/BOARD.md index 68c024c0..906dbe04 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) — 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 | +| 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 — still the open arm); (4) ✅ **CLOSED ON MEASUREMENT** — N=2 supplied non-poster trailers BOTH land, order preserved, poster line appended last (fixture prmerge-trailer-fixture#2 → `39db9d13`, #1030's exact shape; N=3+/poster-dup-dedup/Co-committed-by absence remain unmeasured but #1030 needs N=2). Merge decision resolved: all-land ⇒ merge as planned, three authors preserved. 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 5e329de4..266533b1 100644 --- a/docs/remediation/TASKS.md +++ b/docs/remediation/TASKS.md @@ -915,6 +915,21 @@ has routed the measurement (fixture branch pushed, be-coder-08 opens the PR, Mos back; values only, same controls; one disposable merge). Until it lands, "the field will carry both" must not be load-bearing in any GO. +**Precondition (4) CLOSED ON MEASUREMENT (Mos, 2026-08-05, same night):** +`mosaicstack/prmerge-trailer-fixture#2` → squash `39db9d13`, 1 parent, NON-VOID. **N=2 supplied +non-poster trailers BOTH landed, verbatim, in supplied order; the provider appends its generated +poster line LAST.** Truncate-to-first does not occur — TL#7's ordering insurance was against a +behaviour that does not happen, learnable only by measuring. This is #1030's exact shape (poster + +two non-poster authors), so the merge decision resolves to **all-land ⇒ merge as planned, three +authors preserved**. Scope, so nobody over-reads: one row, one estate, one provider version; +N=3+, poster-duplicate dedup, and the absent `Co-committed-by` (tl-mosaic's open item) remain +unmeasured — none needed for #1030. Credit where the ledger should carry it: Mos stood the fixture +down under "don't measure what no longer decides"; **tl-mosaic applied the same test to #1030 and +found its decision genuinely variant under the unknown** — the principle was right and had been +applied too narrowly; the case with two real victims was the one it did not cover. Fixture repo +retained as evidence (two PRs, two merges). Remaining open merge arms: (3) pr-merge.sh message +field, and precondition (2) merger ≠ f10-coder at execution time. + **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 most-represented contributor — but nobody chose that. f10-coder posted in the ordinary course, long