spec: 010 Task 11.3 — a --changed run reports what it examined - #104
Merged
Conversation
P2-3. `pagelint.py --changed` opens by printing files, hunks, pages and — the figure that matters — how many code blocks the diff actually reached. The strict rules are per code block, so a diff of a hundred prose files makes them strict about nothing, and `0 errors` from that run is the same line as `0 errors` from a real one. The description sweep is the case in point: 149 files, 192 hunks, five blocks strict. It went into the tool rather than into `docs.yml`, so the run before a push proves its own non-vacuity too — which is the run the note in `PROMPT.md` was standing in for. When the count is zero the run says so in a sentence and names the unstaged-new-file case, the shape that has failed twice. Red-proofed by mutation on a page held out of the diff and restored from a copy: a prose line gives 1 page / 0 blocks / exit 0, one line inside a C# block with no `using` gives 1 page / 1 block / exit 1. The counter tracks the rule, not the diff. Phase 11 also opens here. The four items session 22 found are now Tasks 11.6-11.9 rather than paragraphs, because only a box gets walked at the acceptance pass, and two of the three inherited counts moved when re-derived: 14 files without a trailing newline, not 17, and 23 internal `.html` links, not 25 — the latter carried as 29 minus a subtrahend of four that was really six. The box count is now one box per task. Phase 10 recorded each of its four tasks twice, so `grep -c` returned 56 for 52 tasks; it returns 56 for 56 now. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Spec 010, Phase 11, Task 11.3 (P2-3). No page under
contents/changes, so nothing published moves.pagelint.py --changednow opens by reporting its own scope:Those are the description sweep's real numbers. Files and hunks describe the diff; blocks describe what the diff reached — 149 files changed and the strict rule saw five blocks. The task as written asked only for files and hunks, which on that PR would have read as overwhelming coverage of a rule that was almost entirely idle.
When the block count is zero the run says so in a sentence, and names the unstaged-new-file case, because that is the shape the same prediction has failed in twice. This PR's own CI run will print
0 code block(s) strict— it touches no page — which is the report working, not failing.It went into the tool rather than the workflow so a local run proves its own non-vacuity too. That is the run before a push, and it is the one the note in
PROMPT.mdwas standing in for.Red-proof
On a page held out of the diff and restored from a copy, with the mutation asserted to have landed before any result was read:
1 page(s), 0 code block(s) strictAWSSQSConfiguration.md:361 page(s), 1 code block(s) strictThe counter tracks the rule rather than the diff, which is the whole claim.
Phase 11 opens
.htmllinks across 13 pages, not 25 across ~15. The.htmlfigure was carried as 29 − 4, and the six links Phase 10 actually fixed reproduce in6675615. Re-derive a total; never subtract from one either.grep -creturned 56 for 52 tasks. It returns 56 for 56 now, and the phase column sums to 56 independently.Gates
linkcheck 144 files; pagelint 0 errors / 791 warnings / 142 pages;
--check-shape0 at 142 pages / 12 sections / deepest 4 / widest 10;--check-redirects0 at 77 entries;--changed origin/master0, reporting 0 blocks strict as above.🤖 Generated with Claude Code