docs: refresh hardening verification counts

.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 normal ERT: 295/295.
-- Source-first seeded random ERT: 294/294, including all nine GUI verifier
+- 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.

.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`.

.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.

.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
+  - Validation: focused live-edit ERT 4/4, randomized ERT 295/295, and
-    source-first isolated ERT 294/294 process runs.
+    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