Repair two pastes in the operator guide that no longer reproduce (#42) - #147
Merged
iderex merged 1 commit intoAug 17, 2026
Merged
Conversation
The exit-code section of docs/operator-guide.md quotes two runs, and neither
quotation reproduced against the default branch any more.
The first named a line rather than a declaration. The page said line 45:
git grep -n 'ExitAskedAndDeliveredNothing = ' origin/main -- internal/hardware
origin/main:internal/hardware/hardware.go:54:const ExitAskedAndDeliveredNothing = 3
The constant moved when b3ba466 held the three exit-code declarations to one
contract. Nothing the sentence claims changed with it, so the quotation went
stale while the claim above it stayed true, which is the failure a reader
cannot tell from a claim that has gone wrong. The command loses its -n, so the
paste names the file and the declaration and nothing that an unrelated edit
moves.
The second stopped one line into the output. The runner prints the help text
after the unknown-verb line, on the same stream:
./lab frobnicate 2>&1 1>/dev/null
lab: unknown verb "frobnicate"
lab reads this repository and reports what it examined.
lab check [path] walk the tree at path, default ".", and report
lab list [path] list the experiments at path, default ".", oldest
unanswered first
lab help print this text
lab writes nothing to the tree it reads.
The page pasted the first line only, so a reader running it gets nine lines the
page did not lead them to expect. It now says the help text follows, which is
what the entry beside it already does. The help text stays out of the page,
because a copy of it here drifts against the runner that prints it.
Both were found by re-running every command the page pastes, at the current
default branch, rather than by reading the page.
What this does not do. It closes nothing on #42. What is open there is the
download and the checksum, and this change does not reach it.
Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
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.
Refs #42
What this changes
Two quotations in the exit-code section of
docs/operator-guide.md. Both arepastes of what a command printed, and neither of them reproduced any more.
The first is where exit code
3is declared. The page pasted agit grep -nline naming
internal/hardware/hardware.go:45, and the constant sits on line54 today. It moved when
b3ba466held the three exit-code declarations to onecontract, which changed nothing that the sentence around the paste claims, so
the quotation went stale while the claim above it stayed true. The command
loses its
-n, so the paste names the file and the declaration rather than aline that an unrelated edit moves.
The second is
./lab frobnicate. The runner prints the unknown-verb line andthen the help text, on the same stream, and the page pasted the first line
only. It now says the help text follows. The help text itself stays out of the
page, because a copy of it here drifts against the runner that prints it, and
the entry beside it in the same block already describes it rather than pasting
it.
What failure it prevents
Somebody checking the page against the runner finds a paste that disagrees with
what the command gives them, and nothing on the page separates that from the
page being wrong about the thing it is explaining. The first of the two had
already reached that state. The second was a line short of the output from the
day it was written.
What was run
At
f11384c, from a checkout of this branch.The integration-hardware harness was not asked for and nothing in it ran, which
is what the suite's own disclosure line says about that run.
What this does not do
It does not finish #42. What is open there is the download and the checksum
paragraphs, and those need something published to download.
That sentence used to be spelled with the word this platform reads as a closing
keyword, followed by the reference, and the merge shut the issue on it. The
issue is open again and its done-condition did not move. The negation is
invisible to whatever parses the body, so the word is gone from it rather than
qualified.
It does not sweep the rest of the tree. The same class is live one document
over:
docs/supply-chain.mdcites.github/workflows/zizmor.yml:63and:82, and both of those lines are now:72and:91. That file is outsidewhat this change is about and nothing here touches it.
It reads two quotations rather than every claim on the page. The counts in the
first-run and listing sections were re-derived and still hold at the commit
they name, and the three exit-2 routes were re-run and all three do print to
standard error, but nothing here re-argues what the page says.
This change has had no second reader.