fix: CP13-1 log — remove checkpoint implementation claim from superseded note

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) <noreply@anthropic.com>
This commit is contained in:
pingqiu
2026-04-02 17:26:35 -07:00
co-authored by Claude Opus 4.6
parent 90425b588e
commit ef740e0ebd
+2 -2
View File
@@ -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