Repository navigation
T12 — Keep a name unique only among running boxes #2396
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Names follow the id | L | needs care | strongest | an agent | 840 (360 code, 480 tests) |
Two boxes named dev retained; the running one answers.
Covers:
- BOX-004
- BOX-005
- BOX-010
- BOX-143
Layers:
- names:
- crates/boxes/src/store.rs: one name, many records
- crates/boxes/src/lib.rs: running, latest, candidates
- crates/boxes/Cargo.toml: proptest dev-dependency
- Cargo.lock: proptest for boxes
cargo nextest run -p boxes name_unique_among_running_on_host_reusable_after_stopcargo nextest run -p boxes unqualified_name_resolves_running_else_latestcargo nextest run -p boxes unqualified_name_running_on_two_hosts_refused_exit2_lists_candidatescargo nextest run -p boxes unqualified_name_retained_on_two_hosts_none_running_refused_exit2_lists_candidatescargo nextest run -p boxes rename_changes_only_alias_and_records_eventcargo nextest run -p boxes rename_to_running_held_name_or_self_refused_exit2_names_holdercargo nextest run -p boxes nothing_keys_on_box_name
- actor:
- crates/minimald/src/box_actor/naming.rs: rename refusals, renamed event
- crates/minimald/src/box_actor.rs: routes rename
- crates/minimald/src/box_actor/tests.rs: tests
cargo nextest run -p minimald rename_through_the_actor_writes_one_renamed_event
Waits on:
- T7 — Retained sessions, end to end, with list and show #2394
- T2 — Write each box's lifecycle events where only the daemon can reach #2389
Plan block
### T12 — Keep a name unique only among running boxes
slice: S3
kind: task
covers: BOX-004, BOX-005, BOX-010, BOX-143
size: L
est: 360 code, 480 tests
executor: agent
difficulty: needs care
model: strongest
diagnostics: daemon log names holders and candidates
observability: renamed event carries both names
layers:
- names:
- crates/boxes/src/store.rs: one name, many records
- crates/boxes/src/lib.rs: running, latest, candidates
- crates/boxes/Cargo.toml: proptest dev-dependency
- Cargo.lock: proptest for boxes
test: cargo nextest run -p boxes name_unique_among_running_on_host_reusable_after_stop
test: cargo nextest run -p boxes unqualified_name_resolves_running_else_latest
test: cargo nextest run -p boxes unqualified_name_running_on_two_hosts_refused_exit2_lists_candidates
test: cargo nextest run -p boxes unqualified_name_retained_on_two_hosts_none_running_refused_exit2_lists_candidates
test: cargo nextest run -p boxes rename_changes_only_alias_and_records_event
test: cargo nextest run -p boxes rename_to_running_held_name_or_self_refused_exit2_names_holder
test: cargo nextest run -p boxes nothing_keys_on_box_name
- actor:
- crates/minimald/src/box_actor/naming.rs: rename refusals, renamed event
- crates/minimald/src/box_actor.rs: routes rename
- crates/minimald/src/box_actor/tests.rs: tests
test: cargo nextest run -p minimald rename_through_the_actor_writes_one_renamed_event
produces: none
consumes:
- crates/boxes/src/events.rs
proof: Two boxes named dev retained; the running one answers.
depends on:
- blocked by #2394
- blocked by #2389
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Oct 30, 2026
Done. #2756 merged.
branch
agent/2396-keep-a-name-unique-only-among-running-boxes· epic #2236 · PR #2756184bcecc393bf9be30b91419f4a3aa7aUpdated 2026-10-30T16:59:32.351Z.