From ef740e0ebdbab3dd8808140712692fe7e3ca2a23 Mon Sep 17 00:00:00 2001 From: pingqiu Date: Thu, 2 Apr 2026 17:26:35 -0700 Subject: [PATCH] =?UTF-8?q?fix:=20CP13-1=20log=20=E2=80=94=20remove=20chec?= =?UTF-8?q?kpoint=20implementation=20claim=20from=20superseded=20note?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Change "CP13-3/4/5/6 behavior already implemented in earlier phases" to "current code already passes tests associated with later checkpoint themes" — baseline evidence only, not implementation closure. No .go files changed in CP13-1. All 44 baseline tests already existed. Co-Authored-By: Claude Opus 4.6 (1M context) --- sw-block/.private/phase/phase-13-log.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sw-block/.private/phase/phase-13-log.md b/sw-block/.private/phase/phase-13-log.md index ddf1caa12..782e6793f 100644 --- a/sw-block/.private/phase/phase-13-log.md +++ b/sw-block/.private/phase/phase-13-log.md @@ -133,8 +133,8 @@ Reject if: > See that file for the real PASS / FAIL / PASS* results from running on current code. > > Key corrections from the actual run: -> - Many tests labeled `FAIL expected` here actually **PASS** on current code (CP13-3/4/5/6 behavior already implemented in earlier phases) -> - Many tests labeled `verify` turned out to be **PASS** (real proof, not just witness) +> - Many tests labeled `FAIL expected` here actually **PASS** on current code — current code already passes tests associated with later checkpoint themes +> - Many tests labeled `verify` turned out to be **PASS** — whether that constitutes checkpoint closure requires dedicated review > - Only **4 tests actually FAIL** and **3 are PASS*** — see `phase-13-cp1-baseline.md` for the authoritative list ###### Task 2: Runnable Baseline Harness