census: re-bless the quiet ratchet my own fix moved three passes ago - #3269
Merged
Merged
Conversation
`cli-tri.yml` has been red on master for several runs. After the numbering
repair the failing step turned out to be the census ratchet rather than the
numbering one:
FAIL: quiet moved:
was: steps in a quiet shape 32
now: steps in a quiet shape 31
The mover was my own change three passes back. `phi-loop-ci.yml`'s L8 lint
ended `... 2>/dev/null ... | grep -v ... && echo "L8 FAILED" && exit 1 ||
echo "L8 PASSED"`, which prints PASSED when `ffi/src/` is missing; giving it an
explicit exit 2 took it out of the failure-branch-passes class. The Admitted
gate in `coq-kernel.yml` gained its own exit-2 path in the same PR.
Blessed, with the numbers that moved:
steps in a quiet shape 32 -> 31
failure branch passes 16 -> 15
a tracked path, present 11 -> 10
named a path but not quiet 123 -> 128
The gate is correct and I ignored it for three passes because it is not one of
the four required contexts. Its own failure message cites the measurement that
8 of 39 commits moved a census and only 4 mentioned it -- that measurement was
mine, and this commit is the ninth.
Refs #3265
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
September 5, 2026 09:52
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
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
1 participant
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.
cli-tri.ymlhas been red on master for several runs. After #3266 fixed thenumbering collisions, the failing step turned out to be a different one —
the census ratchet:
What moved it
My own change, three passes back (#3256).
phi-loop-ci.yml's L8 lint endedwhich prints
L8 PASSEDwhenffi/src/is missing. Giving it an explicitexit 2 took it out of the failure branch passes class. The
Admittedgate incoq-kernel.ymlgained its own exit-2 path in the same PR.Blessed, with the numbers named
Why this took three passes to notice
The gate is correct and has been saying so since the commit that moved it. It
is not one of the four required contexts, so nothing blocked, and I read the
workflow's first failing step rather than its current one — the numbering
collisions were louder and I stopped there.
Its own failure message cites the measurement that 8 of 39 commits moved a
census and only 4 mentioned it, and notes that one of the silent four had made
45 of 50 red workflows invisible. That measurement was mine, from an earlier
pass. This commit is the ninth mover, and the fifth to say so.
Refs #3265