• Joined on 2026-03-08
ltms opened issue fleet/fleetd#572 2026-09-12 13:10:36 +02:00
MessageService.answer() can lose its session-lock release and the whole suite stays green
ltms opened issue fleet/fleetd#571 2026-09-12 12:49:15 +02:00
MessageService collapses the new ATTEMPTED state into TIMED_OUT_QUEUED, so a possibly-delivered message is reported as one that will never arrive
ltms commented on issue fleet/fleetd#551 2026-09-12 12:48:27 +02:00
Injector records the delivery AFTER the irreversible send, so a failure in the response window marks a delivered brief NOT_DELIVERED

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…

ltms opened issue fleet/fleetd#568 2026-09-12 12:40:27 +02:00
The hunter skill has no MemberRole, so every sweep is spawned under a role whose agent file contradicts it
ltms opened issue fleet/fleetd#567 2026-09-12 12:39:57 +02:00
LeadMailbox.inspect leaks a probe channel if the close is removed, and 15 contract tests stay green while the line runs 3 times
ltms commented on issue fleet/fleetd#561 2026-09-12 12:27:01 +02:00
Fleetd's TurnListener.onDelivered ordering is load-bearing and untested: swapping two lines makes a throw strand the caller for its full timeout

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…

ltms commented on issue fleet/fleetd#551 2026-09-12 12:25:00 +02:00
Injector records the delivery AFTER the irreversible send, so a failure in the response window marks a delivered brief NOT_DELIVERED

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…

ltms closed issue fleet/fleetd#556 2026-09-12 12:21:09 +02:00
TurnListener implementations are the only thing maintaining the Injector's own invariant
ltms commented on issue fleet/fleetd#555 2026-09-12 12:21:04 +02:00
redeploy-fleetd.sh: the 67-test suite covers the functions and barely touches the main flow

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…

ltms commented on issue fleet/fleetd#556 2026-09-12 12:20:41 +02:00
TurnListener implementations are the only thing maintaining the Injector's own invariant

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…

ltms merged pull request fleet/fleetd#565 2026-09-12 12:19:48 +02:00
fleetd #555: lift 8 main-flow decisions into tested predicate/dispatch functions
ltms closed issue fleet/fleetd#555 2026-09-12 12:19:48 +02:00
redeploy-fleetd.sh: the 67-test suite covers the functions and barely touches the main flow
ltms pushed to main at fleet/fleetd 2026-09-12 12:19:48 +02:00
ba2f4d16f8 Merge #555: the redeploy main flow is lifted into tested predicates, and the guard now catches functions below the SOURCED line
8f80d267a0 fleetd #555 rework: catch function definitions after the SOURCED guard
8d79d229ff fleetd #555: lift 8 main-flow decisions into tested predicate/dispatch functions
Compare 3 commits »
ltms pushed to main at fleet/fleetd 2026-09-12 12:18:17 +02:00
db4c98ac60 Merge #556: the Injector owns turn registration, and the #553 backstop is pinned too
738d34a609 fleetd #556 rework: pin registration on the #553 finally backstop path
a46e4058ac fleetd #556: make turn registration structural, independent of any TurnListener
Compare 3 commits »
ltms merged pull request fleet/fleetd#566 2026-09-12 12:18:16 +02:00
fleetd #556: make turn registration structural, independent of any TurnListener
ltms commented on issue fleet/fleetd#563 2026-09-12 12:09:42 +02:00
A lead cannot ack its own held peer mail, so every lead-to-lead message it polls is delivered a second time and costs a whole lead turn

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…

ltms commented on issue fleet/fleetd#555 2026-09-12 12:07:51 +02:00
redeploy-fleetd.sh: the 67-test suite covers the functions and barely touches the main flow

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…

ltms commented on issue fleet/fleetd#556 2026-09-12 12:04:54 +02:00
TurnListener implementations are the only thing maintaining the Injector's own invariant

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…

ltms commented on issue fleet/fleetd#513 2026-09-12 11:49:32 +02:00
MessageService's TIMED_OUT_QUEUED javadoc says the message is still queued; the code 12 lines of behaviour later cancels it

Merged as f4f5f31

PR #564 merged, branch deleted. Verified on a tree merged with origin/main before the merge, not on the branch alone.

The rework answers all five criteria

ltms deleted branch worker/513-timed-out-queued-javadoc-da3628-3 from fleet/fleetd 2026-09-12 11:48:55 +02:00