From 267b58deb35638b8037ab676d9b4b25b60e04475 Mon Sep 17 00:00:00 2001 From: mos-dt-0 Date: Sat, 1 Aug 2026 13:00:07 -0500 Subject: [PATCH] =?UTF-8?q?docs(remediation):=20RM-02=20round-3=20review?= =?UTF-8?q?=20dispatched=20at=20fbb61912=20=E2=80=94=20anchor=20verified?= =?UTF-8?q?=20against=20ground=20truth?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The derived boundary f4fd5967 equals an independently computed git merge-base HEAD refs/remotes/origin/main. It is the same value f10-coder once set by hand: the value was never wrong, the authority was. That is exactly why Mos insisted A6 be separated from A4 — asking only whether the value was right would have closed this three rounds ago with the hole intact. Empty-registry attack now fails in the precondition's own language. The both-directions bootstrap statement is in the code with the residual bound to Builds 1-2, per D-19's third mandatory move. Exact-head CI 2198: 10 children all success including clone and gate-verify; my machine check exits 0 bound to the head with anomalies 0, and a wrong-head negative control exits 1. exempted_steps is 0 this run because ci-postgres succeeded, so the #1000 exemption was present but unneeded. Review dispatched with A1 and P2 as the sharp checks: both ask whether this fix REMOVED the author's control point or moved it again. refs/remotes/origin/main is a local ref, and the seven required gate IDs are an anchor list. Five for five so far, every blocker on this PR came from outside the registered set. Co-Authored-By: Claude Opus 5 (1M context) --- docs/remediation/BOARD.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/remediation/BOARD.md b/docs/remediation/BOARD.md index 2d4aad74..63073a18 100644 --- a/docs/remediation/BOARD.md +++ b/docs/remediation/BOARD.md @@ -16,14 +16,14 @@ ## In-flight -| Task | Owner | State | -| ------------------- | ------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -| RM-01 checkout | — | **MERGED** `f58b3699` (#1027) | -| RM-03 queue guard | **Jason** | **GO** @ `78ec47cd` (cmt 20392) — HELD FOR OWNER MERGE. Head unmoved; GO commit-bound, VOID if it moves — **do not push #1032** | -| RM-02 registry ★key | f10-coder | **2nd NO-GO @ `32b490a7`** → **round 3 dispatched**. D-44's four closed as instances; **D-45** derivation still author-controlled, **D-46** empty registry passes green, **D-47** clauses instance-scoped. Fix: **merge-base anchor** + empty-set precondition + clauses quantified over the population | -| 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** | **GO** @ `78ec47cd` (cmt 20392) — HELD FOR OWNER MERGE. Head unmoved; GO commit-bound, VOID if it moves — **do not push #1032** | +| RM-02 registry ★key | rev-974 | **RE-REVIEW @ `fbb61912`** (round 3). Merge-base anchor verified = independent `git merge-base HEAD origin/main`; empty-registry attack dead; both-directions bootstrap stated, residual → Builds 1-2. CI 2198 **10/10**. ACs @ `e2058d4e` | +| 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