From c47abf7529a2e360cc86bc14cbfbd0fd4a98cf38 Mon Sep 17 00:00:00 2001 From: Kinneyzhang Date: Thu, 20 Aug 2026 07:41:39 +0800 Subject: [PATCH] docs: refresh hardening verification counts --- .../change_post_audit_hardening_20260820.md | 7 ++++--- .../issue_buffer_width_atomicity_20260820.md | 2 +- .../issue_showcase_test_freshness_20260820.md | 2 +- .../task_post_audit_hardening_20260820.md | 11 ++++++----- 4 files changed, 12 insertions(+), 10 deletions(-) diff --git a/.phrase/phases/phase-kp-overhaul-20260726/change_post_audit_hardening_20260820.md b/.phrase/phases/phase-kp-overhaul-20260726/change_post_audit_hardening_20260820.md index 49f2f95..82e1cb7 100644 --- a/.phrase/phases/phase-kp-overhaul-20260726/change_post_audit_hardening_20260820.md +++ b/.phrase/phases/phase-kp-overhaul-20260726/change_post_audit_hardening_20260820.md @@ -42,10 +42,11 @@ ## Verification -- Source-first normal ERT: 294/294. -- Source-first seeded random ERT: 294/294, including all nine GUI verifier +- Source-first normal ERT: 295/295. +- Source-first seeded random ERT: 295/295, including all nine GUI verifier tests previously omitted by the name filter. -- Per-test isolated ERT: 294/294 process runs logged `0 unexpected`. +- Per-test isolated ERT: 294/294 process runs logged `0 unexpected`; the + later batch-position test is covered by focused isolated C ERT. - C focused ERT: 15/15; C portable build warning-clean; source fuzz: 300/300 with zero failures; checkdoc, release, dictionary, and shell gates pass. diff --git a/.phrase/phases/phase-kp-overhaul-20260726/issue_buffer_width_atomicity_20260820.md b/.phrase/phases/phase-kp-overhaul-20260726/issue_buffer_width_atomicity_20260820.md index b5d4544..2faf5c0 100644 --- a/.phrase/phases/phase-kp-overhaul-20260726/issue_buffer_width_atomicity_20260820.md +++ b/.phrase/phases/phase-kp-overhaul-20260726/issue_buffer_width_atomicity_20260820.md @@ -17,7 +17,7 @@ - **Fix:** `ekp-justify-region` now validates the width before font-lock or projection clearing. - **Verification:** Red/green focused ERT 1/1 and source-first full ERT - 294/294. + 295/295. - **Resolved At:** Pending user-visible confirmation. - **Resolved By:** Developer implementation and verification. - **Commit:** `6a8c7e0`. diff --git a/.phrase/phases/phase-kp-overhaul-20260726/issue_showcase_test_freshness_20260820.md b/.phrase/phases/phase-kp-overhaul-20260726/issue_showcase_test_freshness_20260820.md index 1656875..2dc9fae 100644 --- a/.phrase/phases/phase-kp-overhaul-20260726/issue_showcase_test_freshness_20260820.md +++ b/.phrase/phases/phase-kp-overhaul-20260726/issue_showcase_test_freshness_20260820.md @@ -18,7 +18,7 @@ - **Fix:** The automatic inline face is restored; one source loader uses `load-file` for every production/test source and all runners select the complete ERT registry. -- **Verification:** Source-first showcase 3/3, normal/random/isolated 294-test +- **Verification:** Source-first showcase 3/3, normal/random/isolated 295-test inventories, and GUI contract checks pass. - **Resolved At:** Pending user-visible confirmation. - **Resolved By:** Developer implementation and verification. diff --git a/.phrase/phases/phase-kp-overhaul-20260726/task_post_audit_hardening_20260820.md b/.phrase/phases/phase-kp-overhaul-20260726/task_post_audit_hardening_20260820.md index acb0733..710396f 100644 --- a/.phrase/phases/phase-kp-overhaul-20260726/task_post_audit_hardening_20260820.md +++ b/.phrase/phases/phase-kp-overhaul-20260726/task_post_audit_hardening_20260820.md @@ -4,15 +4,16 @@ `ekp-justify-region` requests failure-atomic. Add red tests for zero, negative, non-integer, and projection-preservation cases. - Source: post-audit buffer probe and `plan_post_audit_hardening_20260820.md`. - - Validation: focused buffer ERT 4/4 plus source-preferred full ERT 294/294. + - Validation: focused buffer ERT 4/4 plus source-preferred full ERT 295/295. - task038 [x] Resolve backward-delete live projection semantics. Add a public edit-path regression at the narrowest reproducible width and update the live-layout spec/postmortem with the accepted invariant. - Source: `postmortem/20260730-incremental-live-append-ownership.md` and `plan_post_audit_hardening_20260820.md`. - - Validation: focused live-edit ERT 4/4, randomized ERT 294/294, and - source-first isolated ERT 294/294 process runs. + - Validation: focused live-edit ERT 4/4, randomized ERT 295/295, and + source-first isolated ERT 294/294 process runs plus focused isolated + coverage of the later batch-position test. - task039 [x] Make hyphenation locale resolution try the exact normalized locale registry before short-code fallback. Add equivalent BCP-47/underscore @@ -20,7 +21,7 @@ - Source: `ekp-hyphen.el`, `plan_dictionary_governance_20260728.md`, and the post-audit locale probe. - Validation: focused dictionary ERT 11/11, manifest check, and full ERT - 294/294. + 295/295. - task040 [x] Validate C hyphen and forbidden position vectors for the exact exclusive break-index domain, monotonic ordering, and duplicate policy @@ -37,7 +38,7 @@ - Source: `888a401`, `plan_test_isolation_20260728.md`, and the post-audit clean-source failure. - Validation: source loader symbol checks, clean-source showcase 3/3, - normal/random/isolated 294-test inventories, and GUI contract checks. + normal/random/isolated 295-test inventories, and GUI contract checks. - task042 [x] Remove manual buffer integrations when no spans remain and auto-mode does not own the lifecycle. Preserve composition with foreign