From d9ab6026c8bd3606873bde6f82751c5db25aa25d Mon Sep 17 00:00:00 2001 From: mos-dt-0 Date: Sat, 1 Aug 2026 09:10:32 -0500 Subject: [PATCH] =?UTF-8?q?docs(remediation):=20RM-61=20tick=20=E2=80=94?= =?UTF-8?q?=20twelve=20checks=20pass,=20blocker=20moved=20to=20metadata,?= =?UTF-8?q?=20head=20never=20moved?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit rev-974 review 68 @ 033b2ffb: RR1-RR12 all PASS. RR7 is the strong one — all four binding predicates proved RED against the old e7b29219 verifier, and the original attack under the old interface returned exit 0 with exempted_steps=1, proving the PRIOR DEFECT rather than merely unsupported syntax. The remaining blocker was metadata, not code: the live PR body still said "DO NOT MERGE" and "the exemption will not be implemented", describing an earlier head. Verified independently — the controls were injected in 3931b0e2/9455cd6a/25ac5971/ef9d23ab and the final delta does not touch .woodpecker/ci.yml at all. The body was true when written and went stale as the branch evolved. That is D-38 one layer out: the PR that binds evidence to its subject shipped a description that was not bound to its subject, and D-36's staleness class on provider metadata rather than a repo file. Fixed as metadata only. Head confirmed unmoved at 033b2ffb from both provider and git, body SHA-256 b0198d98 matched the author's reported digest byte-for-byte, both stale strings absent. Because the commit never moved, the twelve results stand and no third review round is owed — only the discharge of the finding by the reviewer who raised it. Exact-head CI #2193: success, 9 children, 9/9 success including clone, read from -f json (D-33). 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 4fc742f3..f3a4d1d1 100644 --- a/docs/remediation/BOARD.md +++ b/docs/remediation/BOARD.md @@ -15,14 +15,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 | — | **BLOCKED on RM-61.** Complete @ `f9746b23`, head FROZEN, 2 live REQUEST_CHANGES. `ci-postgres` FAIL on #2187 **and** #2188 | -| RM-61 CI exemption | coder-mos1 | **RE-REVIEW @ `033b2ffb`** (#1033). NO-GO@`e7b29219` VOID. Binding fix independently reproduced; 12 ACs pre-registered. **D-38** | -| 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 | — | **BLOCKED on RM-61.** Complete @ `f9746b23`, head FROZEN, 2 live REQUEST_CHANGES. `ci-postgres` FAIL on #2187 **and** #2188 | +| RM-61 CI exemption | coder-mos1 | **@ `033b2ffb`** (#1033): RR1–RR12 **all PASS** (rev-974 review 68). CI #2193 terminal success 9/9. Metadata blocker (stale body) fixed **without moving the head** — discharge pending. **D-38** | +| 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