Skip to content

spec: 010 Task 11.2 — the trailing newline on the last 14 files - #110

Merged
iancooper merged 1 commit into
masterfrom
docs/spec-010-phase-11-newlines
Aug 22, 2026
Merged

spec: 010 Task 11.2 — the trailing newline on the last 14 files#110
iancooper merged 1 commit into
masterfrom
docs/spec-010-phase-11-newlines

Conversation

@iancooper

Copy link
Copy Markdown
Member

Spec 010, Phase 11, Task 11.2 (P2-1). Whitespace only. 14 published pages gain one byte each; nothing a reader can see changes and no URL moves.

Deferred from spec 011 so the banner diff contained nothing but banners, and landed here for the same reason in reverse: a whitespace-only sweep is safe once no content PR is in flight.

14, not the 17 the task recorded

Re-derived twice — once when the phase opened, and again at the head this cut from, because the phase's own five PRs had edited 17 pages in between. Both returned 14: those edits were to link targets and headings, and none of them is a file's last line.

(Re-measuring at the ref you are cutting from is Phase 8's lesson — a figure right when written and wrong when used. Here it held, which is the cheap outcome of a cheap check.)

The diff is provably nothing but newlines

  • Each file grew by exactly one byte, asserted as after == before + b"\n" before the next file was touched.
  • git diff -U0 re-adds all 14 removed lines verbatim — 14 removed, 14 added, compared as lists and equal.

A whitespace sweep is the one change nobody reads closely, which is the argument for asserting it rather than reviewing it.

No line count in the spec moves

A page's length is len(text.splitlines()), which a trailing newline does not change — asserted per file during the sweep. Under wc -l all 14 would have gained a line, which is exactly the instrument design §16 finding 1 ruled against.

Gates

linkcheck 144 files, clean; pagelint 0 errors / 791 warnings / 143 pages; --check-shape 0; --check-redirects 0 at 77 entries.

🤖 Generated with Claude Code

P2-1, deferred from spec 011 so the banner diff contained nothing but banners,
and landed here for the same reason in reverse: a whitespace-only sweep is safe
when no content PR is in flight.

14 files, not the 17 the task recorded. Re-derived twice — once when the phase
opened and again at the head this cut from, because the phase's own five PRs had
edited 17 pages in between. Both returned 14: those edits were to link targets
and headings, and none of them is a file's last line.

The diff is provably nothing but newlines. Each file grew by exactly one byte,
asserted as after == before + b"\n" before the next file was touched, and
`git diff -U0` re-adds all 14 removed lines verbatim, compared as lists. A
whitespace sweep is the one change nobody reads closely, which is the argument
for asserting it rather than reviewing it.

No line count in this spec moves. A page's length is len(text.splitlines()),
which a trailing newline does not change — asserted per file. Under wc -l all 14
would have gained a line, which is the instrument design §16 finding 1 ruled out.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@iancooper
iancooper merged commit 2c8e456 into master Aug 22, 2026
5 of 6 checks passed
iancooper added a commit that referenced this pull request Aug 22, 2026
…te-followup

docs: the two blocks PR #110 made strict, and the check I merged past
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant