Skip to content

Read the workflow list at the head that carries the new leg - #174

Merged
iderex merged 1 commit into
mainfrom
docs/the-parity-table-reads-what-runs-today
Aug 22, 2026
Merged

Read the workflow list at the head that carries the new leg#174
iderex merged 1 commit into
mainfrom
docs/the-parity-table-reads-what-runs-today

Conversation

@iderex

@iderex iderex commented Aug 22, 2026

Copy link
Copy Markdown
Contributor

The issue this belongs to

Refs #81. It does not close it: what that issue still holds is the analysis over
the core's own language, which waits on #11, and an upload to the code-scanning
surface.

What changed

docs/gate-parity.md pastes a reading of what this repository runs today, and it
is what a satisfied row points at. The row added under #81 names
.github/workflows/shell-analysis.yml, and that paste did not list it, so a row
and a reading inside one document disagreed.

The reading is re-run at the head that carries the leg and re-stamped with that
commit. The paragraph above it names this as the third row to move from naming a
plan to naming a run, and says why this half could not land in the same change as
the row.

What failure it prevents

The table is what a reader compares a run against. A row saying a check runs here
and a reading two paragraphs above it that does not list the file are worse
together than either would be alone: the reader cannot tell which of the two is
stale, so neither is usable, and the table's whole value is that a verdict can be
checked against a command.

Evidence

The reading and its stamp, before this change:

git grep -n 'b412218c1c1a8ed32e415c34f11f652ea8cf4864' origin/main -- docs/gate-parity.md
origin/main:docs/gate-parity.md:114:Read at `b412218c1c1a8ed32e415c34f11f652ea8cf4864` on this repository's default

What the same command answers now:

gh api repos/Flowfin/core/contents/.github/workflows --jq '.[].name'
dco.yml
dependency-review.yml
doc-paths.yml
pr-hygiene.yml
scorecard.yml
shell-analysis.yml
unicode-guard.yml
zizmor.yml

git rev-parse origin/main
7a8b187e8e1fb61ee769f57ba2d6bf8389ee2fb3

The document check passes on this branch:

bash .github/doc-paths/doc-paths.sh check | tail -1
Every path these documents name resolves against the tracked set.

What this does not cover

WHY THIS IS A SECOND PULL REQUEST ON ONE ISSUE, stated rather than left to be
noticed. The command in that paste reads the default branch through the API, so it
answers with the new file only after the merge that adds it. The file says as much
about the two rows that moved before this one, and both of those repairs came
after their merge for the same reason. Landing it inside the first change would
have meant pasting output the command did not produce.

NOT REFRESHED: the other pasted reading in that file, of the workflow files on the
gate this table is measured against. Nothing in this change touches that
repository, so its stamp still says what it said.

NOT COVERED: no mechanism. Nothing in this tree compares a pasted reading against
the thing it read, so the next row to land will drift in the same way and be
repaired by hand again.

Who has read it

Nobody but me. There is no second reader on this board tonight, and the commands
above and the checks on this pull request stand in place of one rather than the
question being left open.

The parity table pastes what this repository runs today, and a satisfied
row added under #81 named a workflow file that paste did not list. The
row and the reading inside one document disagreed, which is worse than
either being stale on its own, because the table is what a reader
compares a run against.

The reading is re-run at the head that carries the leg and re-stamped
with it. The paragraph above it names this as the third row to move from
naming a plan to naming a run, and says why this half could not land in
the same change as the row: the command reads the default branch, so it
answers with the new file only after the merge.

Refs #81

Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
@iderex iderex added documentation Improvements or additions to documentation ci labels Aug 22, 2026
@iderex iderex self-assigned this Aug 22, 2026
@iderex
iderex merged commit 96a95ce into main Aug 22, 2026
10 checks passed
@iderex
iderex deleted the docs/the-parity-table-reads-what-runs-today branch August 22, 2026 05:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant