From 8ce77fcb0d1ecf1f4baf70f63ca6db34e0a175ae Mon Sep 17 00:00:00 2001 From: mos-dt-0 Date: Fri, 31 Jul 2026 23:41:52 -0500 Subject: [PATCH] =?UTF-8?q?docs(remediation):=20board=20=E2=80=94=20RM-02?= =?UTF-8?q?=20frozen=20at=209b4d4beb,=20CI=20green,=20review=20in=20flight?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Head triple verified independently twice (orchestrator + f10-coder): local = origin = PR #1030 = pipeline #2182. Full step scan rather than a tests-complete inference. Queue guard not offered as evidence. Co-Authored-By: Claude Opus 5 (1M context) --- docs/remediation/BOARD-LEDGER.md | 6 ++++++ docs/remediation/BOARD.md | 27 ++++++++++++++------------- 2 files changed, 20 insertions(+), 13 deletions(-) diff --git a/docs/remediation/BOARD-LEDGER.md b/docs/remediation/BOARD-LEDGER.md index 64c9c8b2..05cb05ae 100644 --- a/docs/remediation/BOARD-LEDGER.md +++ b/docs/remediation/BOARD-LEDGER.md @@ -33,3 +33,9 @@ planner-sol was at 64.3%/372k; the brief asked it to reset first; it began work ### **D-6 / P-QUEUE-001 — the mandated queue guard returned PASS on an UNKNOWN state, live, today.** Running the required `ci-queue-wait.sh --purpose push` before pushing produced `state=unknown ... exit 0` — the exact defect at `ci-queue-wait.sh:282-288` that PR #1023 is parked on. It also evaluated `branch=main` rather than the branch being pushed. The mission's own required pre-push gate passed me on an indeterminate result. Third independent live instance of the class. + + + +### **D-8 / P-CONFORMANCE-001 — a PRE-REGISTERED acceptance check that was not runnable as written.** + +PR #1025 AC2's fixture `mkdir -p apps/*/venv/lib` creates a literal `apps/*/venv/lib` dir when the glob is unmatched — it did not test what it claimed. rev-974 ran it exactly as written, caught it, re-ran the intended assertion at an explicit path, and **disclosed** rather than silently substituting a working fixture and reporting PASS. **Pre-registration protects a check from being retrofitted to the implementation; it does not make the check correct.** An unverified gate appeared inside the mechanism built to catch unverified gates. Hard requirement on RM-02: the registry must self-verify that every registered case runs AND can fail — presence is not evidence. diff --git a/docs/remediation/BOARD.md b/docs/remediation/BOARD.md index bf3bdffd..cd01d27c 100644 --- a/docs/remediation/BOARD.md +++ b/docs/remediation/BOARD.md @@ -1,6 +1,6 @@ # mos-remediation — LIVE BOARD (keep < 8 KB) -**Phase:** EXECUTING — RM-02 (keystone) at review; RM-03 design-first; 27 findings banked. +**Phase:** EXECUTING — RM-02 FROZEN at `9b4d4beb`, CI green, review in flight; RM-03 implementing. **Updated:** 2026-07-31 (mos-remediation orchestrator; seat active on `mosaic-fleet`). ## Head @@ -16,14 +16,19 @@ ## In-flight -| Task | Owner | State | -| ------------------------------- | ------------- | ----------------------------------------------------------------------------------- | -| RM-01 reproducible checkout | — | **MERGED** `f58b3699` (#1027) | -| RM-02 gate registry ★keystone | f10-coder | PR **#1030** @ `e4c30a33`; rev-974 reviewing; CI #2180 **running** — NOT gate-ready | -| RM-03 queue guard (3 defects) | coder-mos1 | design-first; build to READY then **HOLD for Jason** | -| RM-59 D-19 residual risk | — | blocked on RM-12/21/25 (tracked edge) | -| RM-60 / #1031 CI trust boundary | Jason (infra) | option **B** recommended; A does not fix the ordering defect | -| #1023 queue-guard attempt | Jason | SUPERSEDED-PENDING-JASON — live REQUEST_CHANGES; do **not** merge | +| Task | Owner | State | +| ------------------------------- | ------------- | --------------------------------------------------------------------------- | +| RM-01 reproducible checkout | — | **MERGED** `f58b3699` (#1027) | +| RM-02 gate registry ★keystone | rev-974 | **FROZEN** @ `9b4d4beb`; CI #2182 SUCCESS 8/8 functional; review in flight | +| RM-03 queue guard | coder-mos1 | implementing; CANNOT_ASSERT ruled **B**; build to READY then HOLD for Jason | +| RM-59 D-19 residual risk | — | blocked on RM-12/21/25 | +| RM-60 / #1031 CI trust boundary | Jason (infra) | option **B**; A does not fix the ordering defect | +| #1023 queue-guard attempt | Jason | SUPERSEDED-PENDING-JASON — live REQUEST_CHANGES; do **not** merge | + +**RM-02 head-triple verified (twice, independently — orchestrator + f10-coder):** local = origin = +PR #1030 = pipeline #2182 = `9b4d4beb0e0a…`. `Closes #1029` present. Full step scan, not a +tests-complete inference. `ci-postgres` FAIL read as the D-21 teardown artifact (test log shows +PostgreSQL accepting connections; test step OK). Queue guard **not** offered as evidence. ## Delivery gates — DOCTRINE CHANGE 2026-08-01 @@ -92,10 +97,6 @@ state only the gate **order**: -### **D-8 / P-CONFORMANCE-001 — a PRE-REGISTERED acceptance check that was not runnable as written.** - -PR #1025 AC2's fixture `mkdir -p apps/*/venv/lib` creates a literal `apps/*/venv/lib` dir when the glob is unmatched — it did not test what it claimed. rev-974 ran it exactly as written, caught it, re-ran the intended assertion at an explicit path, and **disclosed** rather than silently substituting a working fixture and reporting PASS. **Pre-registration protects a check from being retrofitted to the implementation; it does not make the check correct.** An unverified gate appeared inside the mechanism built to catch unverified gates. Hard requirement on RM-02: the registry must self-verify that every registered case runs AND can fail — presence is not evidence. - ## Decisions log