Repository navigation
Closed
Labels
kind:taskA task the plan skill rendered; the body carries ## TaskA task the plan skill rendered; the body carries ## Taskmodel:standardA standard model: work that needs care, or routine work that is largeA standard model: work that needs care, or routine work that is largesize:SUnder 200 net lines; one PRUnder 200 net lines; one PR
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Conditions closed | S | needs care | standard | an agent | 120 (40 code, 80 tests) |
A host_ip cohort whose only blocked member's shell exits on its own sends UDP 443 again without a Stop or destroy.
Covers:
- BEP-018
Layers:
- lifecycle:
- crates/minimald/src/box_actor/host.rs: the path that observes the host process's exit calls
leave_quic443_cohortthe waystop_runningdoes, so a box whose shell exits on its own stops blocking the cohort and the remaining members move home when the last blocker goes cargo nextest run -p minimald host_ip_cohort_shell_exit_leaves_and_lifts_the_block
- crates/minimald/src/box_actor/host.rs: the path that observes the host process's exit calls
Waits on:
Implements the filed residual #2554; that issue closes with this task and does not block it.
Plan block
### T64 — Leave the host_ip QUIC cohort when a box's shell exits on its own
slice: S9
kind: task
covers: BEP-018
size: S
est: 40 code, 80 tests
executor: agent
difficulty: needs care
model: standard
diagnostics: the daemon log tail carries one line when a box whose shell exited on its own leaves the cohort, naming the box and the members still blocking
observability: one info log line per departure through the exit path, with the blocking members left
layers:
- lifecycle:
- crates/minimald/src/box_actor/host.rs: the path that observes the host process's exit calls `leave_quic443_cohort` the way `stop_running` does, so a box whose shell exits on its own stops blocking the cohort and the remaining members move home when the last blocker goes
test: cargo nextest run -p minimald host_ip_cohort_shell_exit_leaves_and_lifts_the_block
produces: none
consumes: none
proof: A host_ip cohort whose only blocked member's shell exits on its own sends UDP 443 again without a Stop or destroy.
depends on:
- blocked by T53
Generated by Claude Code
Reacted by minimal-foundry
Metadata
Metadata
Assignees
Labels
kind:taskA task the plan skill rendered; the body carries ## TaskA task the plan skill rendered; the body carries ## Taskmodel:standardA standard model: work that needs care, or routine work that is largeA standard model: work that needs care, or routine work that is largesize:SUnder 200 net lines; one PRUnder 200 net lines; one PR
Activity
minimal-foundry commentedon Oct 25, 2026
Done. #2570 merged.
branch
agent/2556-leave-the-host-ip-quic-cohort-when-a-box-s-shell· epic #1501 · PR #2570fd72841aUpdated 2026-10-25T19:25:31.961Z.