Filter the six platform literals out of the sweep this document pastes - #221
Merged
iderex merged 1 commit intoAug 29, 2026
Merged
Conversation
The paragraph that landed in bc32ccd pasted the sweep's full output, and six of those ten lines are the per-platform build names whose literals this document deliberately does not carry. Pasting them wrote all six into the file, which ended the deliberate absence in the same sentence that described it, and it also made the sweep answer nothing forever after: every name it looks for is now present, in its own pasted output. I found it by re-running the sweep at the merge commit, which returned an empty list where it had returned ten lines a minute earlier. The repair is a last stage that drops those six by the row name the table already carries, so the command produces exactly what is pasted and names none of the six. The prose beside it says why the stage is there, because a filter that looks like tidying is the next thing somebody removes. What it prevents is a document that enumerates what docs/decisions/0012-the-supported-platforms.md decides, and a drift detector disarmed by its own evidence. The means is the same prose and the same command, one pipeline stage longer, because what was wrong is the paste rather than the reading. go run ./cmd/lab check . 1 experiment directory walked, 1 record read 27 decision records read 0 refused Refs #26 Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
iderex
deleted the
parity/the-sweep-paste-put-the-six-literals-back-in-the-document
branch
August 29, 2026 17:56
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.
A correction to the paragraph that landed in
bc32ccdunder #26, found byre-running its own sweep at the merge commit.
What was wrong
That paragraph pastes the sweep that finds declared check names carrying no
verdict in this document. Six of its ten output lines are the per-platform
buildnames, and those six literals are the one place this documentdeliberately carries no literal: their verdict is the
buildrow, which reachesthem through
docs/decisions/0012-the-supported-platforms.md, and writing thestrings out is this document enumerating what that record decides.
Pasting the full output wrote all six into the file. Two things followed. The
absence ended in the same sentence that described it, and the sweep stopped
answering: every name it looks for is now present in the document, inside its
own pasted output. Read at the merge commit, one minute after it landed:
Ten lines a minute earlier, and the one match is the paste itself.
The repair
One more pipeline stage, dropping those six by the row name the table already
carries rather than by naming any of the six:
The command now produces exactly what is pasted beside it. The prose says why
the stage is there, because a filter that reads as tidying is the next thing
somebody removes, and it says the general shape: a sweep for names a document
does not carry cannot have its full output pasted into that document, because
the paste is what makes the answer wrong.
The four names the paragraph gives a verdict to are unchanged and their verdict
is unchanged. Nothing else in the section moved.
What this does not do
This change does not finish #26. What that issue waits on is the ruleset edit,
already written on the issue rather than repeated here.
The gate, run at the head of this branch
Timings are dropped from the suite output and nothing else is changed.
Means
The same prose and the same command, one pipeline stage longer, because what was
wrong is the paste rather than the reading.
Reading
No second reader on this board tonight, so this body carries the evidence in
place of one. Every command above was run before the sentence beside it was
written.
Refs #26