docs(ci): baseline the honesty-limits line the withdrawn-number gate caught (Closes #2311) - #2313
Merged
Merged
Conversation
…caught `withdrawn-live` has been red on master since run #178 (4008507) on a single line, `docs/NOW.md:1127`, which states that the number it contains is disputed and unsettled -- text ABOUT the withdrawal, which is the category the gate's own remedy names for `tools/withdrawn_live_baseline.txt`. One row is added. The key is the gate's own `sha1(" ".join(line.split()))[:12]`, computed over `docs/NOW.md` at master; the same pass reproduced all five existing keys for this pattern, which is what makes the sixth trustworthy. Keying on line content means the exemption covers one sentence and expires when it changes. No pattern is widened, no scan relaxed, no exclusion prefix added. Simulated against the tree: 11 hits in docs/NOW.md before and after, 1 unbaselined before and 0 after, with no row left stale. Closes #2311
gHashTag
enabled auto-merge (squash)
August 20, 2026 10:02
Contributor
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
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.
Closes #2311
What is red, and since when
withdrawn-live-gate.yml-> jobwithdrawn-live-> stepNo withdrawn number in a live documenthas failed on every master run since #178 (400850702,2026-08-20T02:01:08Z). Still red at master head
9068cf49d(run32354816054):The job's negative control passes in the same run (
self-check: planted hit found = True, clean file silent = True), so the gate is working. Last green was #176(
c3eeefc87) and exactly one commit sits between:400850702 docs(arxiv): the LUT count was the flip-flop count (Closes #2280) (#2281), which added 67 lines todocs/NOW.mdand touched nothing else.Why a baseline row is the right remedy here
docs/NOW.md:1127opens a bullet under## Honesty limits (BINDING)stating thatthe number is disputed and unsettled and that "Nothing here should be read as
evidence for either side." (The number is elided from every quotation in this PR and
in the NOW entry, because quoting it would plant a second occurrence.)
That is the category the gate names in its own failure message: "If the line is text
ABOUT the withdrawal, add it to
tools/withdrawn_live_baseline.txt."tools/withdrawn_live_baseline.txtalready carries five rows for this samedocument and this same pattern, plus rows for two neighbouring frequencies in it.
This is a sixth of the same kind.
Editing the document instead was rejected:
docs/NOW.mdis append-only, andrewriting line 1127 to please a gate would rewrite the record of what was written
that day.
The key was recomputed, not transcribed
The gate keys a row on
sha1(" ".join(line.split()))[:12]of the line. The row herecame from running that algorithm over
docs/NOW.mdas fetched from master. The samepass reproduced all five existing keys for this pattern --
18f57dc20b45,700c6d6aca11,ce84017e739b,e01a7fd68109,f81569f4b61c-- character forcharacter. The computation was checked against five known-good answers before being
used for an unknown one.
--update-baselinewas deliberately not used: it rewrites the whole file from thecurrent scan and would bless anything else that happened to be hitting. This PR adds
exactly one line.
Simulated before merging
Replaying the gate's own scan and baseline comparison over the pre- and post-change
trees:
The OLD figure reproduces CI exactly, which is the evidence that the simulation is
faithful. Hit count is unchanged at 11 -- nothing was hidden, one occurrence was
classified.
What this does not do
specs/numeric/formats_catalog.t27and Unbreak FPGA CI and correct two unbacked hardware claims #2081 are untouched.
tools/withdrawn.txt, relaxes no scan, adds no exclusionprefix, and removes no assertion.
Diff
tools/withdrawn_live_baseline.txtdocs/NOW.md