Re-read the target's required set against the table it carries a row per (#26) - #231
Merged
Merged
Conversation
…per (#26) docs/quality-parity.md says the target's required set printed thirteen contexts on 2026-08-10, that the table below carries one row for each of them, and that a row with no entry behind it is the drift this document is most likely to develop. That drift is here. The command the document hands the reader returns twelve today, `Package (JPRM) / Generate SBOM` is the row with nothing behind it, and nothing goes the other way. The document now carries both readings, the comparison in both directions, and what the difference does not change. The row stays, because its verdict rests on this board's own reason for owing a bill of materials rather than on the target requiring one, and the set #26 assembles is unmoved, because that row was already outside this board's gate rather than kept in it. The job the entry named is still declared on the target behind a job-level condition, which is read and bounded rather than offered as the reason the entry left. The failure this prevents is a reader assembling the required set from a table whose frame promises one row per target context while one row answers to nothing, and taking the count for the answer. 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 was wrong
docs/quality-parity.mdopens by printing the target's required set rather thancopying it, says that on 2026-08-10 the command returned thirteen contexts and
that the table carries one row for each of them, and names a row with no entry
behind it as the drift it is most likely to develop.
That drift is here. I re-ran the command the document hands the reader before
writing anything, at
5500dc763f2f91c910b1e8c59abc1f05c611017d, and compared itagainst the row literals in the table in both directions:
Thirteen rows over a set of twelve, one row with nothing behind it, and nothing
the other way.
What this changes
The document carries both readings, the comparison in both directions, and the
row is marked in the table as one whose entry has left the target's set.
It also writes down what the difference does not change, because that is the part
a reader gets wrong in the expensive direction:
is owed for anything downloadable - rather than one inherited from the target,
and Generate the third-party notices and the bill of materials #37 is where it is built. Deleting the row would delete that verdict and
the pointer with it.
gate rather than kept in it, so both readings assemble the same required set.
The job the entry named is still declared on the target, behind a job-level
condition:
A job behind a condition reports nothing rather than reporting success, which is
the third of the three cases #62 is written against, and this is the first of
them readable on the target rather than on this board.
What I am not claiming
That the condition is why the entry is no longer required. Neither command above
says so, and I asked nothing that would answer it. The last reading in which that
row had an entry is the document's own 2026-08-10, so when the entry left is also
not something this change establishes.
Nothing here observes a run, on either board. Both readings are of a live ruleset
and of a workflow file.
The means
Prose in the document that already holds this walk, edited in place. The result
this change carries is a comparison between a live setting and a table, which is
what that document exists to hold, and no other means was considered because
adding one would put the answer somewhere a reader of the table would not meet
it.
The gate
Run at the head of this branch, from a checkout:
No guard is added or changed here, so nothing is proved by deletion: this change
is text.
No second reader
Nothing on this board read this change before it was opened. The evidence above
stands in place of one: every claim it makes is a command a reader can re-run,
and the two that decide the change are the comparison in both directions at the
top.