Verified by me on the branch at d83821b, merged with main at ba2f4d1 (the branch already contained main — git merge reported "Already up to date").
What I checked
Build: `mvn -o…
Re-measured on main at ba2f4d1, after #556 merged. This ticket is now half done and half still live. The body is out of date in a way that would send a worker to write a test that already…
Unblocked. #546 and #556 have both landed, so Injector.java has settled and this can be picked up. Three corrections to the ticket body before anyone does — **this comment is newer than the…
Merged as ba2f4d1 (PR #565). Closing.
What the rework had to fix
The first pass lifted 8 main-flow decisions into predicate and dispatch functions, and added `test_no_untested_main_flow_cond…
Merged as db4c98a (PR #566). Closing.
What the rework had to fix
The first pass moved registration onto its own TurnRegistrar seam and pinned it with two tests. Both tests aimed at the…
The open decision is settled: NO, ack must not become the default on fleet_poll{coordId}
I left this open deliberately and asked the fleet01 lead for a view. Their answer settles it, and…
Rework on PR #565 — one demonstrated hole in the new structural guard
The refactor itself verifies clean. One gap in test_no_untested_main_flow_conditionals, found by a reviewer and then…
Rework on PR #566 — the ticket's own invariant is unpinned on the recovery path
The design is right and the ordinary path is properly pinned. One gap, and it is this ticket's own invariant…
Merged as f4f5f31
PR #564 merged, branch deleted. Verified on a tree merged with origin/main before the merge, not on the branch alone.