Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
44 changes: 41 additions & 3 deletions .claude/skills/ci-gates/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -12191,9 +12191,13 @@ line 18, where no digit follows, and *"Over the last 20 commit messages on maste
line 27. The rule stopped at the first and returned nothing.

So **§439 was absent from its own population**, and it is the section that produced
the 4-against-33 row of §457's own table. Exactly one section is masked, and the
one-variable probe is the whole proof: same tree, same command, `find` versus
`match_indices`, **19 against 20**.
the 4-against-33 row of §457's own table. The one-variable probe is the whole proof:
same tree, same command, `find` versus `match_indices`.

*Corrected in place; §470 is the correction's subject.* The numbers first published
here were **19 against 20**, and at the commit that shipped them, `d448b1864`, they are
**19 against 21** -- because THIS SECTION is a second instance of the shape it describes,
and writing it changed the count it reports.

`find` answers *"does the FIRST occurrence satisfy this?"* and the question is *"does
ANY?"*. On one line the two agree; on a page of prose they do not, and a page of prose
Expand Down Expand Up @@ -12346,3 +12350,37 @@ which one does it cover?`. That names **five** sites here: four are the two-bran
is `red.rs:140`, the real mis-attribution. Five lines read by hand in a minute to find
the one that matters is what the category is for -- and it is stated as a question in the
output, not folded into either total.

## 470. I measured before I wrote it down, and published the first as the third

§465 and the body of the pull request carrying it both said: *same tree, same
command, `find` against `match_indices` -- **19 against 20***. At `d448b1864`, the commit
that shipped them, it is **19 against 21**.

Not the instrument, and not a population from outside. **§465 itself carries the
shape it documents.** It quotes §439 -- *"reads the last COMMIT message"* before
*"the last 20 commit messages on master"* -- so under the old `find` it would have been
masked too, and it is the second masked section the fixed rule now sees.

The order was: take the reading, write the section, ship. The reading described the tree
before the section existed, and it was published as a description of the tree that
shipped.

That is **§457 word for word** -- *the figure moved because writing it moved the
population* -- unlearned one pass after being written, by the author, in the section
that cites it.

Two things made the gap findable, and only one of them was mine. The number was
re-taken by a fan-out told to attack the previous pass's own figures. And the anchor in
the pull request body was the words **"same tree"** rather than a sha: had it named
`cfa32871c` the pair would have been exactly right and merely stale, instead of wrong
about the commit it shipped in. **"Same tree" does not name a tree.**

And the reading for THIS section, taken as the last action before its own commit, from
the tree being committed: **25 windowed of 434 sections**. It is larger than the
twenty-one above for the same reason -- these two sections quote the shape again.

The rule that follows is narrow and mechanical: a figure describing the state AFTER a
change is taken as the LAST action before the commit, from the tree that is committed,
and is written with that commit's sha. Any earlier reading describes a different tree,
however few minutes earlier it was.
14 changes: 14 additions & 0 deletions docs/now/2026-09-03-i-measured-before-i-wrote-it-down.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
# NOW -- I measured before I wrote it down (2026-09-03)

## "19 against 20" is 19 against 21 at the commit that shipped it (Refs #2994)

- section 465 and the body of the PR carrying it both said *same tree, same command, `find` against `match_indices` -- **19 against 20***. At `d448b1864`, the commit that shipped them, it is **19 against 21**
- not the instrument and not an outside population: **section 465 itself carries the shape it documents.** It quotes section 439 -- *"reads the last COMMIT message"* before *"the last 20 commit messages on master"* -- so under the old `find` it would have been masked too, and it is the second masked section the fixed rule now sees
- the order was: take the reading, write the section, ship. The reading described the tree before the section existed and was published as a description of the tree that shipped
- **that is section 457 word for word** -- *the figure moved because writing it moved the population* -- unlearned one pass after being written, by the author, in the section that cites it

## Two things made it findable and only one was mine (Refs #2994)

- the number was re-taken by a read-only fan-out told to attack the previous pass's own figures
- and the anchor in the PR body was the words **"same tree"** rather than a sha. Had it named `cfa32871c` the pair would have been exactly right and merely stale, instead of wrong about the commit it shipped in. **"Same tree" does not name a tree**
- section 465 is corrected in place; the rule that follows is mechanical: a figure describing the state AFTER a change is taken as the LAST action before the commit, from the tree that is committed, and written with that commit's sha. Any earlier reading describes a different tree, however few minutes earlier
Loading