Re-take the ruleset pastes against the rules the branches carry now - #218
Merged
iderex merged 1 commit intoAug 30, 2026
Merged
Conversation
…217] Five pasted outputs in CONTRIBUTING.md, GOVERNANCE.md and docs/parity.md were taken on 2026-08-08 and 2026-08-09 and none of them reproduces: the ruleset on this repository's default branch was last written on 2026-08-28 and carries required_signatures, and the target's ruleset carries it too. Four of the five were a stale rule list under prose that stayed true. The fifth was worse: the parity ledger answers Nothing to what this repository requires that the target does not, and argued it from neither ruleset carrying the rule and from nothing at either branch refusing an unsigned commit. Both clauses are false now. The answer survives because both branches gained the rule rather than one, so the row reached the right answer from two readings that had stopped holding, and a ledger read to learn where two gates differ is the worst place for that. This prevents a reader taking any of the five for the state of a branch, and it prevents a contributor reading the sign-off section and learning nothing about the rule that refuses the merge: CONTRIBUTING.md now says beside its own paste that a commit has to be signed as well as signed off. It was found by re-running the command under the paste in CONTRIBUTING.md while reading the rule types for #47, rather than by anything in this tree. No leg of the gate reaches the network and no verb here reads a ruleset, so nothing could have caught it. Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
iderex
deleted the
documentation/the-ruleset-pastes-predate-the-signature-rule
branch
August 30, 2026 08:12
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 #217.
What was wrong
Five pasted outputs in three tracked documents were taken on 2026-08-08 and
2026-08-09, and the ruleset on this repository's default branch was last written
on 2026-08-28. None of the five reproduces:
All run 2026-08-30.
Four of the five were a stale rule list under prose that stayed true. The fifth is
the one this change is really about. The parity ledger's section on what this
repository requires that the target does not answers
Nothing, and argued it fromneither ruleset carrying the rule and from nothing at either branch refusing an
unsigned commit. Both clauses are false now. The answer survives, because both
branches gained the rule rather than one of them, so the row reached the right
answer from two readings that had stopped holding — and a ledger a reader consults
to learn where two gates differ is the worst place for that, since nothing about a
row that agrees with itself invites a re-run.
What the change does
Each of the five outputs is replaced by what its command returns today, with its
own
Runline, and no paste is left undated. The parity paragraph keeps itsanswer of
Nothingand states the reason that now holds, that both branches carrythe rule and each refuses an unsigned commit; the sentence saying nothing at
either branch refuses one is gone rather than softened.
CONTRIBUTING.mdgains one sentence beside its own paste, saying that a commitreaching
mainhas to be signed as well as signed off. The section under itdescribes the DCO trailer and nothing else, so a contributor who read it learned
nothing about the rule that now refuses their merge.
The gate
Both run 2026-08-30 at
78537e6. Theneeds-networkline is the set this gatedoes not ask for, printed rather than skipped silently; the two verbs that reach
the network compare pinned versions and the vendored token file, and neither of
them reads a ruleset.
The means
Markdown, in the three documents that carry the pastes. Nothing is built and
nothing is added to the gate, so the change is the text and the commands that
produced it. A check comparing a pasted ruleset against the live one is not
proposed here and #217 says why: its verdict would move when a repository setting
moves rather than when this tree changes, which is the reason the two network
verbs already sit outside the gate.
No second reader
This change carries no second reader. The ruleset here requires no approving
review, so what stands in place of one is the evidence above: every replaced paste
is the output of the command printed beside it, run at
78537e6, and the gate andthe hygiene verb are quoted in full rather than summarised.
How it was found
By re-running the command under the paste in
CONTRIBUTING.mdwhile reading therule types for #47, rather than by anything in this tree. No leg of the gate
reaches the network and no verb here reads a ruleset, so nothing could have caught
it:
Run 2026-08-30 at
78537e6.