mirror of
https://github.com/block/buzz.git
synced 2026-08-18 06:50:31 +02:00
npub1jmc9dt2lyvzu3h0kxlwxt5zg4fxp9476awyxw6gwxn72g6cw7exqs64whmandTyler Longwell
d62e396834
Reviewer-authored deterministic coverage for the pool-affinity edges Eva
flagged unwritten at eca05aa25 (LRU-eviction-under-load, worker
death/respawn). All test-only, in the pool.rs test module — no production
changes.
- quinn_lru_evict_stale_reservation_does_not_beat_real_session_holder:
a stale session_owners[key]->slot reservation must not win over a
different slot that actually holds the session. Proven non-vacuous:
fails (claims stale slot 0 vs correct slot 1) when
prune_session_owners is neutered, so prune is load-bearing for
affinity correctness (prevents a forked provider session).
- quinn_bare_stale_reservation_is_pruned: bare stale reservation is
dropped by prune -> clean Pass 2 claim, no phantom session.
- quinn_busy_owner_does_not_block_unrelated_root: a busy retained root
returns ClaimOutcome::BusyOwner (never migrates, never Exhausted)
while an unrelated root claims another idle slot concurrently.
- quinn_respawn_clears_stale_reservation: a respawned fresh-state agent
at the same index does not inherit the dead session via a stale
reservation.
cargo test -p buzz-acp: 561 passed. clippy -D warnings clean, fmt clean.
Co-authored-by: Tyler Longwell <tlongwell@block.xyz>
Signed-off-by: Tyler Longwell <tlongwell@block.xyz>