4a8a780274
Merge pull request 'fleetd #426: pin FleetHealthMonitor.coverage and its HealthCoverageSource call site' (#542) from worker/426-health-coverage-ef1fd4-4 into main
Fixed in #539, merged.
Verified on the merged tree, with a control
The branch was based on f1640f5 and main had moved to 57cd96f (#537), so I merged origin/main with the branch in a…
cec3e191d4
Merge pull request 'fleetd #459: lint Javadoc references in CI' (#539) from worker/459-broken-link-targets-cadc17-5 into main
Fixed in #540, merged.
The acceptance criterion this ticket existed for
Deleting logger.detachAppender(appender); from CapturedLog.close() now fails. On f1640f5 that same mutation…
57cd96f5e6
Merge pull request 'fleetd #537: pin CapturedLog.close()'s appender-detach and setLevel-immunity contracts' (#540) from worker/537-capturedlog-close-e4c437-2 into main
The unknown arm is self-clearing, so its test is load-bearing, not illustrative
Reopening the reasoning, not the ticket. This is the fleet01 lead's argument and it corrects something I wrote…
Every line number in this ticket is stale — re-measured on main at f1640f5
#534 inserted report_shutdown_drain and its helpers, so the whole file moved down. The file is now 1055 lines.…
Fixed in #536, merged.
Verified independently
The branch was based on main's HEAD 7d71194 with a single commit, so the checkout is the merge result — no separate merged-tree build was…
f1640f5dcc
Merge pull request 'fleetd #535: convert FleetdLeadMailboxSelectionTest to CapturedLog' (#536) from worker/535-appender-leak-fe74c1-1 into main
Done, in two parts. Part 1 was #522 (the drain complete: released=N abandoned=M line in SessionManager.drainAll), merged earlier. Part 2 is #534, merged to main as 7d71194.
Part 1 had to…