Skip to content

Commit 7c012a5

Browse files
theislampillclaude
andcommitted
docs: fix review-surfaced stale counts and plan09 path
Cosmetic doc-drift cleanup surfaced by the PR review (docs-only, no code): - ci-parallelizability.md: verdict prose "82 read-only" -> "85" (the one line the count-refresh missed; header/table/other sections already said 85). - hardening-pr-handoff.md: completion-pass line "52-commit series" -> "53" (self-contradicted lines 12/74 which already said 53). - hardening-followup-plan.md: Plan 08 recipe body live-verdict counts 89/83 and 3/3/83 -> 91/85 and 3/3/85; Plan 09 master-map path docs/plans/plan09-semantic-replay-spike.md -> docs/semantic-replay-spike-plan.md (where the spike doc actually shipped). The Plan 09 recipe body keeps its forward-looking proposed path plus its "verify docs/plans/ exists" caveat. No checker gates these prose values, CI is unaffected (still 91 commands). Verdict of the review was ULTRAREVIEW_PASS; this is the recommended cosmetic cleanup. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
1 parent c3c1de5 commit 7c012a5

3 files changed

Lines changed: 8 additions & 8 deletions

File tree

docs/audits/ci-parallelizability.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@
2121
run first, then the git-gates verify their output, then the read-only phase
2222
runs over that output. None of these six can run concurrently with each other
2323
or with the read-only phase.
24-
- Only the 82 read-only commands could parallelize, and only **as a phase gated
24+
- Only the 85 read-only commands could parallelize, and only **as a phase gated
2525
behind the serial generate-then-verify prefix**. Doing so would also trade away
2626
the current first-failure-abort semantics (a parallel phase runs all commands
2727
rather than stopping at the first failure), changing operator behavior.

docs/hardening-followup-plan.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ required CI gate.
6262
| 06 release de-stale | owner (release-body semantics) + external (branch-protection/tag/publish) | `docs/release-body-contract.md` inventory + token classification, awaiting sign-off | Later release |
6363
| 17 owner/TTP contract | owner (operation-token canonicity) | `docs/audits/owner-contract-operation-token-drift-inventory.md` (D3 computed inventory) | Later release |
6464
| 11 checker package extraction | owner (package layout) | `docs/audits/plan11-package-extraction-impact.md` impact analysis | Later release |
65-
| 09 semantic-replay | not-safe (overmatch) + owner/spike + spend | `docs/plans/plan09-semantic-replay-spike.md` + advisory `spike_*` FP harness | Later release |
65+
| 09 semantic-replay | not-safe (overmatch) + owner/spike + spend | `docs/semantic-replay-spike-plan.md` + advisory `spike_*` FP harness | Later release |
6666

6767
## Discovered during this planning pass
6868

@@ -163,8 +163,8 @@ The deeper read surfaced work the earlier "folder exhausted" sweep missed:
163163
## Plan 08 — CI coverage / parallelization adoption
164164

165165
- **Terminal state.** DONE (coverage checker + `--report` + static parallelizability
166-
proof). Adoption is OWNER-GATED: the proof shows no safe drop-in. Live verdict: 89
167-
commands -> 3 shared-writer, 3 git-gate, 83 read-only.
166+
proof). Adoption is OWNER-GATED: the proof shows no safe drop-in. Live verdict: 91
167+
commands -> 3 shared-writer, 3 git-gate, 85 read-only.
168168
- **Why not in the PR.** Flipping CI to parallel has no safe drop-in: the 3
169169
shared-writers mutate shared generated files and the 3 git-gates read state those
170170
generators produce; a parallel read-only phase also discards the current
@@ -190,8 +190,8 @@ The deeper read surfaced work the earlier "folder exhausted" sweep missed:
190190
`benchmark_summary()` helper + self-test; the live-timing `--benchmark` runner is a
191191
deferred, manual, non-lane-wired second slice); a doc section. No runtime, no
192192
`ci_registry.json` (the analyze tool is not a `check_*`).
193-
- **Read-only preflight.** `run_local_ci.py --list | wc -l` (89),
194-
`analyze_ci_parallelizability.py` (3/3/83), confirm no `perf_counter`/`--benchmark`
193+
- **Read-only preflight.** `run_local_ci.py --list | wc -l` (91),
194+
`analyze_ci_parallelizability.py` (3/3/85), confirm no `perf_counter`/`--benchmark`
195195
exists yet.
196196
- **Implementation options.** (A) static-only refresh — insufficient alone (win
197197
stays unquantified). (B) read-only serial benchmark with a pure `benchmark_summary`
@@ -203,7 +203,7 @@ The deeper read surfaced work the earlier "folder exhausted" sweep missed:
203203
runner is deferred and must never enter `COMMANDS`. (The doc-count refresh that
204204
originally rode with this slice already landed as `22e5673`.)
205205
- **Validators.** `analyze_ci_parallelizability.py --self-test` (new cases PASS);
206-
verdict still 3/3/83; `py_compile`; full `run_local_ci --strict-pwsh` PASS.
206+
verdict still 3/3/85; `py_compile`; full `run_local_ci --strict-pwsh` PASS.
207207
- **Rollback.** Single-file additive; `git checkout` the `.py`. The helper is pure
208208
and unreferenced by the lane except its idempotent `--self-test` line.
209209
- **Stop / ANDON.** Any need to add the live `--benchmark` to `COMMANDS` (races

docs/hardening-pr-handoff.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ invoke moved checkers (a miss = green-local / red-release). It is OWNER-GATED as
5858
dedicated post-merge PR; the migration recipe lives in `docs/hardening-followup-plan.md`.
5959

6060
With this pass, every owner-approved safe-local slice is implemented or terminally
61-
classified. The branch is a clean, strict-CI-green 52-commit series.
61+
classified. The branch is a clean, strict-CI-green 53-commit series.
6262

6363
## Owner cleanup (standing directive)
6464

0 commit comments

Comments
 (0)