fix(serve): honor diagnostic refreshes until deadline #143

Open
triform-admin wants to merge 4 commits from agent/diagnostic-retrigger-refresh-20260804 into main

Root cause: rust-analyzer can emit more than three refresh-backed ServerCancelled responses for a large multi-document overlay. The existing overall diagnostic transaction deadline already bounds retries, but the second fixed retry cap converted healthy refresh progress into indeterminate.contract.\n\nThis change retries retrigger=true cancellations only after each distinct diagnostic refresh and only until the existing deadline. The regression drives four refresh-backed cancellations before a successful report, exceeding the legacy cap.\n\nLocal cargo execution was intentionally not used because the shared-workspace safety hook prohibits it; Forgejo CI is the compile/test authority.

Root cause: rust-analyzer can emit more than three refresh-backed ServerCancelled responses for a large multi-document overlay. The existing overall diagnostic transaction deadline already bounds retries, but the second fixed retry cap converted healthy refresh progress into indeterminate.contract.\n\nThis change retries retrigger=true cancellations only after each distinct diagnostic refresh and only until the existing deadline. The regression drives four refresh-backed cancellations before a successful report, exceeding the legacy cap.\n\nLocal cargo execution was intentionally not used because the shared-workspace safety hook prohibits it; Forgejo CI is the compile/test authority.
fix(serve): honor diagnostic refreshes until deadline
Some checks failed
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been skipped
ci / build (pull_request) Successful in 2m6s
ci / lane policy mutation proof (pull_request) Successful in 4m26s
ci / clippy (pull_request) Successful in 9m6s
ci / test (pull_request) Successful in 15m24s
ci / fmt (pull_request) Failing after 18m23s
96f6e5d6ea
fix(ci): isolate Cargoless validation lane
Some checks failed
ci / build (pull_request) Has been cancelled
ci / test (pull_request) Has been cancelled
ci / lane policy mutation proof (pull_request) Has been cancelled
ci / fmt (pull_request) Has been cancelled
ci / clippy (pull_request) Has been cancelled
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been cancelled
5312948584
fix(lane): make stale candidate cleanup idempotent
Some checks failed
ci / build (pull_request) Has been cancelled
ci / test (pull_request) Has been cancelled
ci / lane policy mutation proof (pull_request) Has been cancelled
ci / fmt (pull_request) Has been cancelled
ci / clippy (pull_request) Has been cancelled
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been cancelled
759fb668ed
Merge remote-tracking branch 'origin/main' into agent/diagnostic-retrigger-refresh-20260804
Some checks failed
ci / build (pull_request) Has been cancelled
ci / test (pull_request) Has been cancelled
ci / lane policy mutation proof (pull_request) Has been cancelled
ci / fmt (pull_request) Has been cancelled
ci / clippy (pull_request) Has been cancelled
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been cancelled
7c3803b509
# Conflicts:
#	crates/cargoless-core/src/lanetree.rs
Some checks failed
ci / build (pull_request) Has been cancelled
ci / test (pull_request) Has been cancelled
ci / lane policy mutation proof (pull_request) Has been cancelled
ci / fmt (pull_request) Has been cancelled
ci / clippy (pull_request) Has been cancelled
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been cancelled
This pull request has changes conflicting with the target branch.
  • .forgejo/workflows/ci.yml
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin agent/diagnostic-retrigger-refresh-20260804:agent/diagnostic-retrigger-refresh-20260804
git switch agent/diagnostic-retrigger-refresh-20260804

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff agent/diagnostic-retrigger-refresh-20260804
git switch agent/diagnostic-retrigger-refresh-20260804
git rebase main
git switch main
git merge --ff-only agent/diagnostic-retrigger-refresh-20260804
git switch agent/diagnostic-retrigger-refresh-20260804
git rebase main
git switch main
git merge --no-ff agent/diagnostic-retrigger-refresh-20260804
git switch main
git merge --squash agent/diagnostic-retrigger-refresh-20260804
git switch main
git merge --ff-only agent/diagnostic-retrigger-refresh-20260804
git switch main
git merge agent/diagnostic-retrigger-refresh-20260804
git push origin main
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
triform/cargoless!143
No description provided.