Already in main — closing as merged.
Head 275ac0d25 is an ancestor of origin/main. It came in through 634d33b50
("Merge worker/562-loop-health-wiring-test-99611c-5") — the merge of…
Already in main — closing as merged.
Head d7239ed23 is an ancestor of origin/main, brought in by 4507bc5a7
("Merge worker/571-attempted-outcome-5739f7-2"). Merged locally and pushed, so…
Already in main — closing as merged.
Head 1513d4f26 is an ancestor of origin/main, brought in by 634d33b50
("Merge worker/562-loop-health-wiring-test-99611c-5"). The merge was done…
Already in main — closing as merged.
This branch's head dfeb9340b is an ancestor of origin/main, brought in by 1db79bcaa
("Merge worker/581-completionresolver-cas-sites-0542b7-6"). Gitea…
Delegated, split in two. Both workers are read-only and must open no PR.
Pristine Fleetd.java on main 49a5875 — both workers must restore to this exact value:
shasum -a 256…
Done. PR #583 merged as 49a5875.
Ten assertions, one per pendingByMsgId cleanup site across AmqpReplyInbox (5) and LeadMailbox
(5). **Every one is proven to fail when the line it guards…
49a5875586
Merge #583: fleetd #582 — assert pending message-id cleanup at every publish cleanup site
Verified by the lead. All ten assertions are now proven live. Merging.
The PR was held because the implementer wrote ten assertions and proved only three of them red. It then proved three…
Follow-up measurement: all NINE CAS sites are pinned, and none of them is an equivalent mutant
The fleet01 lead asked the right question after this merged: *were the survivors checked…
CORRECTION 3 — the acceptance must be a PROPERTY, not a SHAPE. Do not implement this ticket until this is read.
Credit: the fleet01 lead found this. I measured it again here on main…
Merged. Seven sites, seven tests, each red under its own mutation.
Merged to main as part of 634d33b, via PR #585. Test-only, 143 insertions, one file — confirmed by git diff --stat,…