Repository navigation
T61 — List each store reference with its authorities in min box spec #2541
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Conditions closed | S | routine | standard | an agent | 140 (60 code, 80 tests) |
min box specon a box with one store reference prints the reference and the authorities its rule registers.
Covers:
- BEP-063
Layers:
- spec:
- crates/minimal/src/cmd/box_spec.rs: prints each store reference under the grant with the authorities the matching store rule registers
cargo nextest run -p minimal box_spec_lists_store_references_with_their_authorities
Waits on:
- T27 — Mint store handles and keep the client's key registered across proxy restarts #2288
- assumes OQ3 (the mint reads the root's validity end from the published identity, and the root is generated with a fixed default validity in one constant that gominimal/arch#85's ruling replaces)
Implements the filed residual #2526; those issues close with this task and do not block it.
Plan block
### T61 — List each store reference with its authorities in min box spec
slice: S9
kind: task
covers: BEP-063
size: S
est: 60 code, 80 tests
executor: agent
difficulty: routine
model: standard
diagnostics: `min box spec <box>` lists each store reference the box declares with the authorities its rule registers
observability: none beyond the printed listing
layers:
- spec:
- crates/minimal/src/cmd/box_spec.rs: prints each store reference under the grant with the authorities the matching store rule registers
test: cargo nextest run -p minimal box_spec_lists_store_references_with_their_authorities
produces: none
consumes: none
proof: `min box spec` on a box with one store reference prints the reference and the authorities its rule registers.
depends on:
- blocked by T27
- assumes OQ3
Generated by Claude Code
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Oct 25, 2026
Done. #2569 merged.
branch
agent/2541-list-each-store-reference-with-its-authorities-i· epic #1501 · PR #2569ffdbfccdUpdated 2026-10-25T18:04:12.060Z.