Skip to content

docs(skill): "19 against 20" is 19 against 21 at the commit that shipped it - #3048

Merged
gHashTag merged 1 commit into
masterfrom
loop/measured-before-writing
Sep 3, 2026
Merged

docs(skill): "19 against 20" is 19 against 21 at the commit that shipped it#3048
gHashTag merged 1 commit into
masterfrom
loop/measured-before-writing

Conversation

@gHashTag

@gHashTag gHashTag commented Sep 3, 2026

Copy link
Copy Markdown
Owner

§465 and the body of the PR carrying it both said: same tree, same command, find against match_indices19 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 wordthe 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 was mine

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

§465 is corrected in place. 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 written with that commit's sha. Any earlier reading describes a different tree, however few minutes earlier it was.

Applied here, and verified after the final edit: 25 windowed of 434 sections, read from this tree.

  • cargo test -p tri534 passed, 0 failed
  • skill §470; §465 corrected in place

Refs #2994

…ped it

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

Not the instrument, and not a population from outside. 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 it 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 the gap findable and only one 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 cfa3287 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. Applied here: 25 windowed of 434 sections, read from this
tree after the last edit to it.

Skill section 470.

Refs #2994
@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-03 19:27:59 UTC

Summary

Status Count
Total Open PRs 13
PRs with Failing Checks 10
PRs with All Checks Green 3
READY 0
FAILING 10
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=9b8875f1c9d4 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit ee4d845 into master Sep 3, 2026
26 checks passed
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