Repository navigation
T125 — Register each fresh host-address grant box under a name of its own creation #3048
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Host-address boxes reach GitHub | M | needs care | standard | an agent | 350 (90 code, 260 tests) |
Two fresh instances of one host-address grant entry started at once each run under their own box id, and a second create under a held fixed name is still refused.
Layers:
- rpc:
- crates/minimald-rpc/src/lib.rs:
BoxConfigcarrieshost_ip_registration, the name ahost_ipgrant box registered under when it is not the box's creation name, defaulted and skipped when absent - crates/minimald-rpc/src/tests.rs: a round trip pins the field, and its absence from an older client's config
cargo nextest run -p minimald-rpc box_config_carries_the_host_ip_registration_name
- crates/minimald-rpc/src/lib.rs:
- client:
- crates/minimal/src/cmd/boxes/create.rs:
activate_boxregisters a fresh-instancehost_ipgrant box under<base>~<random hex>, a key no box name can spell, carries it on the config, and withdraws by it on a failed create; a create that is not a fresh instance keepscreated_box_name cargo nextest run -p minimal fresh_instance_grant_box_registers_under_a_creation_key
- crates/minimal/src/cmd/boxes/create.rs:
- identity:
- crates/minimald/src/box_manager.rs:
host_ip_mint_namesendshost_ip_registrationwhen the config carries one, else the creation name, so the mint after the<base>-<n>rename finds the registration - crates/minimald/src/box_manager/tests.rs: the mint test drives a fresh-instance config through the
<base>-<n>rename cargo nextest run -p minimald fresh_instance_mint_finds_its_registration_after_the_rename
- crates/minimald/src/box_manager.rs:
- registry:
- crates/minvmd/src/control.rs: a test drives two concurrent
RegisterBoxasks for one base under two creation keys, both mints by those keys and both admissions, and a second register of the fixed name, which is refused cargo nextest run -p minvmd concurrent_fresh_instance_grant_boxes_get_distinct_ids
- crates/minvmd/src/control.rs: a test drives two concurrent
Waits on:
Plan block
### T125 — Register each fresh host-address grant box under a name of its own creation
slice: S17
kind: task
covers: BEP-082
size: M
est: 90 code, 260 tests
executor: agent
difficulty: needs care
model: standard
diagnostics: none: no verb on this tree creates a fresh-instance box that declares a credentialed upstream, so nothing new prints until one does; then `min box show <entry>-1` and `min box show <entry>-2` print different box ids, and a second create under a fixed name a running box holds still exits 2 naming the holder
observability: the VM host daemon's existing "registered box with the VM host daemon; a host_ip box gets an id and no address" line names the creation key, and the in-VM daemon's existing "took the box id the VM host daemon minted" line names it as `host_ip_name` beside the `<base>-<n>` name
layers:
- rpc:
- crates/minimald-rpc/src/lib.rs: `BoxConfig` carries `host_ip_registration`, the name a `host_ip` grant box registered under when it is not the box's creation name, defaulted and skipped when absent
- crates/minimald-rpc/src/tests.rs: a round trip pins the field, and its absence from an older client's config
test: cargo nextest run -p minimald-rpc box_config_carries_the_host_ip_registration_name
- client:
- crates/minimal/src/cmd/boxes/create.rs: `activate_box` registers a fresh-instance `host_ip` grant box under `<base>~<random hex>`, a key no box name can spell, carries it on the config, and withdraws by it on a failed create; a create that is not a fresh instance keeps `created_box_name`
test: cargo nextest run -p minimal fresh_instance_grant_box_registers_under_a_creation_key
- identity:
- crates/minimald/src/box_manager.rs: `host_ip_mint_name` sends `host_ip_registration` when the config carries one, else the creation name, so the mint after the `<base>-<n>` rename finds the registration
- crates/minimald/src/box_manager/tests.rs: the mint test drives a fresh-instance config through the `<base>-<n>` rename
test: cargo nextest run -p minimald fresh_instance_mint_finds_its_registration_after_the_rename
- registry:
- crates/minvmd/src/control.rs: a test drives two concurrent `RegisterBox` asks for one base under two creation keys, both mints by those keys and both admissions, and a second register of the fixed name, which is refused
test: cargo nextest run -p minvmd concurrent_fresh_instance_grant_boxes_get_distinct_ids
produces: none
consumes: none
proof: Two fresh instances of one host-address grant entry started at once each run under their own box id, and a second create under a held fixed name is still refused.
depends on:
- blocked by #2854
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Nov 5, 2026
Done. #3053 merged.
branch
agent/3048-register-each-fresh-host-address-grant-box-under· epic #1501 · PR #30535b175196b36b1d96Updated 2026-11-05T22:10:48.269Z.