8000 T64 — Leave the host_ip QUIC cohort when a box's shell exits on its own · Issue #2556 · gominimal/minimal · GitHub
[go: up one dir, main page]

Skip to content
10000

T64 — Leave the host_ip QUIC cohort when a box's shell exits on its own #2556

Closed

Description

@norrietaylor

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_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
    • cargo nextest run -p minimald host_ip_cohort_shell_exit_leaves_and_lifts_the_block

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

Activity

  1. added
    kind:taskA task the plan skill rendered; the body carries ## Task
    size:SUnder 200 net lines; one PR
    model:standardA standard model: work that needs care, or routine work that is large
    on Oct 25, 2026
  2. minimal-foundry commented on Oct 25, 2026

    @minimal-foundry
    Contributor

    Done. #2570 merged.

    branch agent/2556-leave-the-host-ip-quic-cohort-when-a-box-s-shell · epic #1501 · PR #2570

    round outcome job
    1 pushed fd72841a

    Updated 2026-10-25T19:25:31.961Z.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind:taskA task the plan skill rendered; the body carries ## Taskmodel:standardA standard model: work that needs care, or routine work that is largesize:SUnder 200 net lines; one PR

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      0