Date the four readings 0313 was decided on that were still standing - #508
Merged
Merged
Conversation
0313 gives 0001 a fourth permitted edit: a landed record whose reading has gone false gains one dated note opening `Read again on <date>:` under the reading it concerns, and nothing else in the record moves. It names seven sites. Three closed with the record itself; these are the four that were left, at the five places in the register they sit. 0268. The command under the conjunctive-licence mapping reads LICENSE, which went out of this tree with 0303 on 2026-09-05, so the reading can never be taken again. The output stays rather than being deleted under 0269, because the paragraph beneath it draws (a), (b) and (d) out of those lines and the command can no longer put them back. 0113. The check-run window was the command's answer for sixty-eight seconds on 2026-08-26 and at no commit of the record, which landed seventeen minutes after that window closed. It moved because every run on that pinned commit has since finished, and the command ranks a set under a completeness filter. The output stays, because the sentence above it is 116 minus 31; the note carries what the command answers today and the 154 that difference now is. 0011. The selector takes the last comment on #1, the answer it means is the fourth of the nine that issue carries, and the command returns nothing. The three lines under it are deleted as never reproduced - they were a hand-wrapped prefix of one line of 424 characters, cut mid-sentence and dropping the line the command also returns - and the note carries the selector 0091 already uses on the same comment, which names it by content rather than by position. 0303's line 33 was an exact prefix of the line its own command returns and is deleted the same way; that command names its comment by the moment it was created and needs no repair. 0001. A check over docs/decisions/ has run on every pull request since 2026-09-02, so the sentence saying no such check exists and the sentence saying none of these workflows reads a decision record are both false. The five workflow names are deleted under 0269, and the note says what the command answers now, which of the paragraph's sentences still holds, and that the issue it sends a reader to is closed. What this prevents is a reader running a command out of the register that is meant to settle arguments here, getting an answer the record contradicts, and having nothing to tell them which of the two is wrong. Closes #361 Closes #366 Closes #367 Closes #380 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.
What changed
0313 gives 0001 a fourth permitted edit: a landed record whose pasted output or
whose sentence about a reading has gone false may gain one dated note opening
Read again on <date>:, placed under the reading it concerns, and nothing elsein the record moves. It named seven sites. Three closed with the record itself.
This dates the four that were left, at the five places in
docs/decisions/theysit, in one change because all five are documents and every separate landing
moves the mainline under the others.
docs/decisions/0268-a-conjunctive-licence-expression.mddocs/decisions/0113-the-target-triples-the-gate-compiles-for.mddocs/decisions/0011-the-language-the-toolchain-and-the-binding-layer.mddocs/decisions/0303-the-licence-the-core-is-offered-under.mddocs/decisions/0001-decision-records.mdThe specific failure it prevents
A reader who runs a command out of the register that is meant to settle
arguments here, gets an answer the record contradicts, and has nothing in front
of them to say which of the two is wrong. Five paragraphs did that. Each now
carries a dated answer beside the command.
Evidence
Every reading below was taken on 2026-09-18, with the mainline at
1098527, which is the base of this branch.
0268's command, and where the file went:
0113's command, and why its answer moved:
The three pasted lines were the answer between 21:30:38Z and 21:31:46Z and at no
later moment. The record landed at 21:49:19Z the same evening, so they were the
answer at no commit of it. The words
eighty-five secondsin the sentence abovethe paste are 116 minus 31; today the same subtraction is 185 minus 31.
0011's selector, empty, and the content selector that answers:
One line of 424 characters. The three lines deleted were that line wrapped by
hand and cut mid-sentence, with the line grep -A2 also returns left off.
0303's line 33, against the line its command returns:
Both counts carry the trailing newline wc -c counts. The 458 characters that
stood there are an exact prefix, cut after the words "for the next reader."
0001's command, and the check the paragraph says does not exist:
That workflow triggers on pull_request for every branch, and reading this
register is the whole of what it does.
One note per reading, counted with the declaring record excluded so its own
literal does not inflate the count:
Three of those eight landed with 0313. Five are this change.
The guards this ran through
No guard is added or edited here, so there is no deliberate violation to show.
The document checks that read this register were run at the commit being pushed:
No cargo run was made, and nothing outside
docs/decisions/is touched:What this does not cover
reading of the tree judges it, and that it goes stale exactly as the paste
under it did. That is unchanged here. What the notes buy is that the staleness
is dated.
output that never reproduced and preservation for one a neighbouring sentence
reasons from, and that site is both: the three lines were the answer at no
commit of the record, and the number above them is derived from them. The
output is kept, which is what the decision of 2026-09-18 asks for at this site
on Four records anchor their measurements to a sha under git rev-parse origin/main, and 0269 deletes the anchor rather than a stale reading #366 and on 0001 says no check reads a decision record and pastes five workflow files, and a check over docs/decisions/ has run since 2026-09-02 #380 in its own words, and the note states both halves so a
reader is not left to reconcile them. Which of the two states wins in general
is not settled here.
names are touched. No other paste was re-run and none is claimed to hold.
docs/decisions/. 0313's subject is this register.them decided is moved.
refuses a note that departs from the declared form, which 0313 states of
itself, and no check is added here.
Who has read this
Nobody other than its author. There is no second reader on this board tonight,
and the evidence above stands in place of one: every command is quoted with its
output so the reading can be repeated rather than trusted.
Closes #361
Closes #366
Closes #367
Closes #380