Repository navigation
Keep the rebase conflict resolver's trust-read timeout over a later stop (#174) - #197
Merged
Merged
Conversation
When the rebase conflict resolver's issue-trust read timed out on its own (RemoteTimeout, timedOut()) or gh answered it (CommandFailed, ghAnswered()), and a cancel, shutdown or the rebase work deadline became pending while gh was stopping, GitRebaser#resolveConflict reported the stop instead. The preparation was then saved as failed with "Task cancelled.", "Server shutdown." or the deadline text. The resolver's catch now rethrows such an error before it checks for a pending stop, as the gateways, the merge coordinator and the server's trust read do since #48: had the stop come first, the read would have reported the stop. RebaseResourcesUnsettled still comes first, and any other resolver failure still reports a pending stop. Tests: - runner-rebase: a real rebase with a resolver whose trust read gave its timeout or gh's answer before a cancel, and before the rebase work deadline; each asserts that the stop was pending when the error was handled, with a control row (another failure reports the stop). Also a cancel that came first, and retained ownership ahead of a timeout. - pre-merge: a real conflicting rebase through PreMergeCoordinator, with the resolver re-reading authorization as production's does; a timeout or gh answer before a cancel or a shutdown is the saved preparation outcome, and a stop that came first is saved as the stop. - runner-rebase-conflict: the resolver passes an authorization timeout through a later cancel and releases its resources. The answer-first cases fail without the fix with the stop's text. Docs: merge-queue.md (the #174 follow-up note) and pre-merge-rebase.md. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- merge-queue.md: split the resolver trust-read bullet into a short list (stop after the read, stop before it, the work deadline, other failures, retained resources). Scope the deadline claim to GitRebaser with a resolver that settles. With the production resolver a pending work deadline leaves no time for cleanup, so it usually ends as RebaseResourcesUnsettled, whose message carries the timeout or answer. pre-merge-rebase.md says the same. - runner-rebase-conflict test: the work deadline passes during a trust read that timed out; the resolver starts no cleanup, keeps its child claim, and throws RebaseResourcesUnsettled with the timeout text. - gh fake: test/fixtures/gh-answers.ts gives gh 2.102.0's real shape for `gh api` on a missing issue (exit 1, "gh: Not Found (HTTP 404)" on stderr, GitHub's JSON body on stdout), used by the #174 tests and the #48 pre-merge test it was copied from. Only the class and message are read. - rebase.ts: the comment names its assumption that the issue-trust read is the production resolver's only GitHub read. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… test cost - Replace the last issue-trust-read gh fakes in the old shape (runner-publishing.test.ts x2, merge-queue-poll.test.ts x1) with ghIssueNotFound(), keeping their assertions on the real message. - test/fixtures/gh-answers.ts: ghFailedExit() builds runWithInput's message, 2,000-character slices included; replayGh in test/fixtures/gh/recorded.ts now uses it, so there is one copy. - Drop the unused answer axis from the stop-first tests (pre-merge: 2 real-rebase tests instead of 4; runner-rebase: 1 instead of 2). - merge-queue.md: the production resolver does settle at the work deadline, by reporting retained resources, not the read's failure; a deadline that passes before the read fails, also while it runs, gives a message without the timeout text (traced, not tested). - pre-merge-rebase.md: regression evidence names the pre-merge.test.ts saved-outcome cases. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 21, 2026
Name what each trust-read row reports, so the control row's title no longer says the opposite of its assertion; say that any other stop of the rebase takes the cancel's path; point the saved-message claim at the test that covers it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ut (#197 review round 4) The retained-ownership test's cause was a timeout, so the new timeout check kept it even without the precedence line. A second row with a failure of another kind fails without that line. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…own timeout (#197 review round 5) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… tested (#197 review round 6) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…review round 7) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ase (#197 review round 8) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… sentence (#197 review round 9) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
There was a problem hiding this comment.
🔵 Needs a closer look
No actionable defects were identified, but final-head CI and real-Docker validation remain unconfirmed in the supplied record.
No open issues 🎉
What changed in this PR
Addresses #174 by preserving the rebase conflict resolver’s earlier trust-read timeout or GitHub error instead of replacing it with a later stop.
Changes:
- Preserves timeout/error reporting while retaining resource-ownership precedence.
- Adds race regressions covering stop ordering and saved preparation outcomes.
- Standardizes GitHub error fixtures and documents behavior.
| File | Description |
|---|---|
| test/runner-rebase.test.ts | Tests error precedence and cleanup. |
| test/runner-rebase-conflict.test.ts | Tests resolver timeout reporting and retained resources. |
| test/runner-publishing.test.ts | Uses realistic GitHub error fixtures. |
| test/pre-merge.test.ts | Tests saved outcomes through a real conflicting rebase. |
| test/merge-queue-poll.test.ts | Updates the issue-read error fixture. |
| test/fixtures/gh/recorded.ts | Reuses shared failed-exit formatting. |
| test/fixtures/gh-answers.ts | Adds shared GitHub error fixtures. |
| runner/rebase.ts | Preserves earlier timeout and GitHub errors. |
| docs/implementation/pre-merge-rebase.md | Documents precedence and regression coverage. |
| docs/implementation/merge-queue.md | Replaces the follow-up note with implemented behavior. |
Review effort: Balanced
mchwang
added a commit
that referenced
this pull request
Oct 21, 2026
mchwang
added a commit
that referenced
this pull request
Oct 23, 2026
…e (D16) (#194) * Show the merge job's step list and let a person cancel the merge alone (D16) Merge PR's job now records the design's seven steps (Fetch, Rebase, Push, Re-run checks, GitHub checks, Already-fixed check, Merge) with each step's state and start and end times, in its merge_jobs record. Preparation and the guarded merge report their steps through display-only callbacks. The review screen shows the list under the review strip with a Cancel merge button. Cancelling stops the job and its preparation without cancelling the task: the task keeps its status, its pull request stays open, and Merge PR may be clicked again. It is refused once GitHub has been asked to merge. A restart after a cancel settles the job cancelled. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 1 of the merge step list Give the server test's fake preparation stopForMergeCancel; poll at once when a cancel is answered with a job that ended; rewrite only the elapsed times each second; name the pending Cancel 'Cancel requested'; test a cancel during the guarded merge's validation, during the job's first review load and before shutdown, and older poll records after a cancel; document where the list says a job stopped and when Cancel shows. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 2 of the merge step list Poll quickly again after a cancel, so its outcome shows within seconds of a backed-off poll; settle a restart after both cancels as a cancelled task; let screen readers read each step's word and time as text and move focus off a hidden Cancel; test a merge cancel during the push; document every case where no step reads where the job stopped, repeat cancels and clock skew. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 3 of the merge step list Let a stop win over an inspection that answers after it, poll at once after an ended cancel answer unless a poll of this generation is in flight, escape a step's fallback word, and say that Cancel explains itself when the Merge step's write failed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 4 of the merge step list Poll again within 2 s when a cancel is answered with an ended or newer job while a poll is on its way; move focus off Cancel whenever the bar or the button is hidden; write why a disabled Cancel cannot stop the merge beside it; give the restart row its cancelled case. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 5 of the merge step list Describe Cancel by its note only while the note is shown, test that focus moves off a hidden Cancel (to Refresh when the merge control hides too), and keep focus on the page when a failed load hides the merge controls. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 6 of the merge step list Test that focus on Cancel moves to Refresh when a reload hides the merge control or fails, and stop the elapsed-time ticker when a failed load hides the step bar. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address Copilot review of the merge step list Keep the step list of a job that ended queued through the queue polls; ignore a cancel answer the poll already showed, follow a newer running job it carries and discard polls of older jobs; show a refusal only while the cancelled job is still shown running. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Tidy the cancel-answer doc bullet and say what clears the step list (#194 review round 8) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Say that a restart settles a cancelled merge as cancelled (#194 review round 9) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 10 of the merge step list Refuse a merge-only cancel while the task is being cancelled, keep the pending-cancel flag per job, update the Shutdown row and the #end comment for a cancelled merge, name Cancel merge in the architecture overview, note the approved D16 amendment beside D16, and test the refusal banner for an enabled Cancel. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Keep a cancel refusal in the banner until the job's record changes (#194 review round 11) Also clear only this cancel's own pending state, check the task-cancel state the refusal test relies on, and qualify the repeat-cancel rule. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Show a held cancel refusal again on each poll, and list the step-list tests (#194 review round 12) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Mark build step 4 done: #174, #176 and the step list are closed (#194 review round 13) Merges main (#195, #196, #197) and updates the status lines this PR rewrites; tests that a held cancel refusal also survives Refresh. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * List D16's unbuilt failure banners and Queue row as missing; qualify onAsking (#194 review round 14) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Address independent review round 15 of the merge step list Add the step list's Waiting and Running marks to DESIGN.md (approved), an AGENTS.md rule for focus when a background update hides the focused control, cite #199 for the rest of D16 and DT7, save the waiting checks only when they change, and correct the onAsking comment. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Cite #199 on the build step 4 checklist line, word the checks-write comment, and add Skipped to DESIGN.md (#194 review round 16) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Add the Stopped and Unknown marks to DESIGN.md, record the step list's placement, and test focus when a reload shows the job ended (#194 review round 17) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test the older-job poll guard, the poll speed on a list-step change and the list surviving the timer (#194 review round 18) Also log the step bar's placement in DESIGN.md and name the F6b queue test in the handoff doc's test list. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Move focus off Merge PR and its blockers button when a reload hides them, and test each way (#194 review round 19) Reads the focused control before hiding it, since hiding blurs it at once. Also drops the redundant first save of the waiting checks and widens DESIGN.md's step-bar log entry. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Decide Merge status's visibility once, so a running job's poll keeps focus on it (#194 review round 20) Also test the fallback to Merge PR when a reload clears the last blocker, and word the test fixture's revision note as order only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Move focus off a hidden merge control only after the render sets its final state (#194 review round 21) Focus went to a still-disabled Merge PR (without a runner) and fell to the page. renderMerge now records the focused control, renders, then picks Merge PR only when shown and enabled, otherwise Refresh. The AGENTS.md rule now says the fallback must be shown and enabled and a control's visibility is decided once per update. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Check Cancel's focus against the control focused before the update, and test the disabled fallback (#194 review round 22) Also word the fallback as "not disabled (aria-disabled qualifies)" in the rule and the comment, drop the second write of Merge status's visibility, and document every focus move in merge-handoff.md. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Merge renderMergeSteps' doc comments, and say Cancel is marked unavailable, not disabled (#194 review round 23) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test the display-only onAsking guard and a queued job's Merge step, and keep Cancel pending until the poll answers (#194 review round 24) Also replace the last "disabled Cancel" and "until Refresh" wording. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Keep Cancel unavailable until a poll stops reporting the cancelled job as running (#194 review round 25) A poll already in flight could answer the job's older running record and clear the wait early. The in-flight test now checks Cancel after the held poll's answer. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Read the in-flight Cancel state once, test that a replayed click does not call onAsking, and note restart downtime in step times (#194 review round 26) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test the older-record poll guard, an inspection answering after shutdown, Fetch failing for review, and a joined click (#194 review round 27) Also name the merge step bar in DESIGN.md's Frame. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test on the real preparation path that Fetch is still running when a moved head stops it (#194 review round 28) Also list round 27's tests in the handoff doc. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test that Merge stays waiting when the attempt is not saved, and Rebase and Push are skipped when nothing moved (#194 review round 29) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test a restart while a task cancel is stopping, a cancel refused after a failed ending write, and a held refusal ending when the job moves on (#194 review round 30) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test each merge step state's mark, word and DESIGN.md color (#194 review round 31) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test that a pending cancel stays with its own merge job (#194 review round 32) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Keep a cancel's wait when a poll answers for an older merge job (#194 Copilot review) A poll that read an older job is discarded; it no longer ends the wait of a newer job whose cancel was answered as ended first. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Bind a cancel's wait to the job shown when its answer arrives (#194 Copilot review) An older job's cancel answered late, carrying the newer job that has just ended, no longer replaces that newer job's wait with its own. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Hold the ended record a cancel's answer carried (#194 review round 35) Cancel stays requested for every record older than the ended job the answer carried, so a poll read before that job ended no longer offers Cancel again. The poll no longer clears the wait. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test a Refresh answered after a cancel; name Cancel merge in the running-merge refusal (#194 review round 36) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Wait for each cancel test's answer to be shown, not a fixed time (#194 review round 37) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Wait for Cancel's render, not a response or a fixed time, in the cancel tests (#194 review round 38) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Wait for a render or the next poll in every D16 no-change check (#194 review round 39) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Add the no-change race check rule to AGENTS.md (#194 review rounds 37-39) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Prove the step timer ran; widen the no-poll window past the poll delay (#194 review round 40) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Check an unavailable Cancel sends nothing over the poll-delay window (#194 review round 41) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Poll for the recorded cancel instead of reading it at once (#194 review round 42) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Keep the latest ended record when a cancel answers late (#194 Copilot review) An answer is newer than the record shown, not always than the one held: across three jobs, an older job's late answer replaced a newer ended record and let Cancel be offered for that newer job. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test that a later ended record replaces the held one (#194 review round 44) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Present and keep a newer ended job a late cancel answer carries (#194 Copilot review) When the page already showed its own job ended, an answer carrying a newer ended job was dropped: its outcome was never shown and its record was not kept, so a Refresh read while it ran could offer Cancel. The answer now keeps the record and asks the poll, which follows a later job also after the shown job ended. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Poll until a newer ended job is shown; drop an older job's queue attempt (#194 review round 46) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test the cancel-answer path alone, polling's stop, and a later job's own queue attempt (#194 review round 47) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Drop an older job's queue attempt when a full reload keeps a newer job (#194 Copilot review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Keep observations made while a merge click is on its way over its answer (#194 Copilot review) A late cancel answer could adopt the click's job, a cancel of it could be accepted, and then the click's older answer replaced that record, offering Cancel again. The click's answer is now reconciled like a full response. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Keep an ended job's view against a poll read earlier; keep a followed job on a racing click refusal (#194 review round 50) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Follow an ended job's own attempt by action ID; drop only earlier or foreign answers (#194 review round 51) Round 50's guard dropped every queue answer for an ended job unless it ended queued, so a job that ended submitted with its attempt in GitHub's queue never reached Merged. A refused click now keeps any running job the page follows. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Follow its own attempt only for a job that ended queued or submitted (#194 review round 52) A blocked or failed job drops a copy of its own attempt kept while it asked GitHub; a submitted job follows its attempt on every path; a refused click carrying a later ended record presents it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Leave a refused click's queued or submitted end to the poll; test the guard's ended-state check (#194 review round 53) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * Test that a refused click never presents an older ended record (#194 review round 54) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.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.
Closes #174. Part of closing build step 4.
Problem
When the rebase conflict resolver's issue-trust read failed with its own timeout or with gh's answer, and a cancel, shutdown or the rebase work deadline was pending when the error was handled,
Rebaser.#resolveConflictreported the pending stop instead (AGENTS.md: keep the original timeout, cancellation and shutdown reason through every layer).Change
runner/rebase.ts#resolveConflictcatch, in the #171 idiom:RebaseResourcesUnsettledstill wins;timedOut(error) || ghAnswered(error)is rethrown as is (new);A stop that came first already makes the gateway and
readIssueAccessthrow the stop.rebase-conflict.ts,GitRebaser.runandpre-merge.tspass the message through unchanged (checked, no change needed).Tests
test/runner-rebase.test.ts: timeout and gh answer before a cancel and before the rebase deadline, each asserting the stop was pending when the error was handled; a control row (another failure still reports the stop); stop first; retained ownership ahead of a timeout plus a later cancel.test/pre-merge.test.ts(newconflictRebasefixture: realGitRebaser, production store hooks, a resolver re-reading authorization as production does): timeout and gh answer before a cancel or shutdown, asserting the result, the savedprepare-mergeresponse, the cleared rebase marker, and that the failing read was the resolver's own; stop-first cases.test/runner-rebase-conflict.test.ts: the resolver passes an authorization timeout through a later cancel and releases its resources.test/runner-rebase-conflict.test.ts, pins the unchanged resolver and passes either way, as do the stop-first, control and ownership cases, by design.Docs:
merge-queue.md(follow-up note replaced),pre-merge-rebase.md.Validation
Current head: 5105e98 (a test title and a doc sentence only since d99298a). Each item names the commit it ran on.
vitest run --project parallel): 2467 passed, 8 failed, 1 skipped. All 8 failures were timeouts (5 to 30 s) inreview.test.ts,history.test.tsandpre-merge.test.tsat load average about 110; those three files re-run alone at d99298a: 177/177 passed. Recorded as load failures, not product failures.Review record
RebaseResourcesUnsettledcarries the timeout text and that no cleanup starts. That test passes with or without the fix, by design: it pins the resolver layer.gh apioutput. Shared faketest/fixtures/gh-answers.tsnow matches gh 2.102.0 (exit 1,gh: Not Found (HTTP 404)on stderr, JSON body on stdout), version named; also replaced at the Investigate summary-only merge lifecycle concerns #48 test that used the same shape.runner-publishing.test.ts(2) and, by grep,merge-queue-poll.test.ts(1). NowghIssueNotFound(). Other HTTP 404/502 fakes fake other gh calls and are out of scope.merge-queue.md. Reworded; the deadline-during-the-read case is marked traced, not tested.runWithInput's message format. One sharedghFailedExithelper, used byghIssueNotFoundandreplayGh.it.eachtitles also named the control row, which asserts the opposite. Titles now name what each row reports.test/merge.test.ts'sghExittoghFailedExit. It is outside this diff and harmless; it belongs with Read app-pinned required checks from the head's check runs (#176) #195, which edits that file.test/pre-merge.test.tsfor saving aRebaseResourcesUnsettledmessage, but that test saved nothing. It now passes an action ID and asserts the savedprepare-mergeanswer (passes).merge-queue.mdstates this behaviour, so it is left as it is and recorded here as a follow-up candidate. (2) a test title said "during" the read; fixed in 5105e98. (3) a 90-word doc sentence; split in 5105e98. (4) this body's validation record; rewritten above.Review-lesson audit (merge gate)
No new rule is needed.
pre-merge-rebase.mdandmerge-queue.mddescribe this behaviour. Not filed as an issue; it can be filed if wanted.Before Copilot (head 5105e98, validated head for this request)
testandreal-dockerin progress on 5105e98. Mergeable: yes. Unresolved threads: 0. Closes Keep the rebase conflict resolver's trust-read timeout over a later stop #174. Deferred follow-ups: the declined trust-refusal case above (not filed).Copilot round 1 (head 5105e98)
Copilot (copilot-pull-request-reviewer): no open issues. Its one caveat was that final-head CI and real-Docker had not finished; both are the merge gate, checked on 5105e98 before merging. No change made.
🤖 Generated with Claude Code