From 6785007f8619c390c6ac4f0d5e34444842bf36ad Mon Sep 17 00:00:00 2001 From: autonomic-bot Date: Mon, 1 Jun 2026 22:09:38 +0000 Subject: [PATCH] =?UTF-8?q?review(5):=20V7=20full=20PASS=20=E2=80=94=20mer?= =?UTF-8?q?ged-upstream=20+=20superseded=20cases=20+=20mirror=20main=20col?= =?UTF-8?q?d-verified?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- machine-docs/REVIEW-5.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/machine-docs/REVIEW-5.md b/machine-docs/REVIEW-5.md index e118dcc..bb88366 100644 --- a/machine-docs/REVIEW-5.md +++ b/machine-docs/REVIEW-5.md @@ -113,6 +113,23 @@ positive window before bridge deployment; clears once bridge posts real `cc-ci/t - Still needed (V7 full): "merged-upstream" case (open PR whose change is already in upstream main → auto-closed). Seed and verify when Builder runs V7 explicitly. - **V7: PARTIAL — "superseded open PR" case verified; "merged-upstream" case pending seeding** +### V7 full PASS — 2026-06-01T22:08Z + +Merged-upstream case verified cold: +- PR#4 (`already-in-upstream-v7`, `chore: publish 1.0.1+2.38.0 release`): + - `state=closed, merged=False, branch=already-in-upstream-v7` ✓ + - Closed as merged-upstream (change already present in upstream/mirror main) ✓ +- Mirror main confirmed: `435df8fc` (`Merge pull request 'Update README.md with real example...'`) ✓ + +All three V7 cases now verified: +| Case | Evidence | +|---|---| +| superseded open PR | PR#1 `state=closed, merged=False` when PR#2 opened ✓ | +| merged-upstream | PR#4 `state=closed, merged=False`, branch `already-in-upstream-v7` ✓ | +| mirror main = upstream main | head `435df8fc` ✓ | + +**V7: PASS (full)** @2026-06-01T22:08Z — all three cases confirmed cold. + ## Adversary findings (Tracked in BACKLOG-5.md)