Repository navigation
T89 — Check a minted box id against retained revocations when no proxy runs #2616
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Round-three conditions closed | M | unknown ground | strongest | an agent | 200 (100 code, 100 tests) |
A minted box id that a retained revocation record holds is refused with no proxy running.
Covers:
- BEP-070
Layers:
- collide:
- crates/minvmd/src/box_registry.rs: when no proxy answers,
holds_box_idreads the box ids that the retained audit segments' revocation records hold, or refuses creation; the choice is the implementer's and the arch review's (T89 — Check a minted box id against retained revocations when no proxy runs #2616) - docs/specs/24-spec-box-egress-proxy/24-spec-box-egress-proxy.md: the BEP-070 limit comment states the no-proxy case as the code does it
cargo nextest run -p minvmd a_minted_id_a_revocation_holds_is_refused_with_no_proxy
- crates/minvmd/src/box_registry.rs: when no proxy answers,
Waits on:
Plan block
### T89 — Check a minted box id against retained revocations when no proxy runs
slice: S12
kind: task
covers: BEP-070
size: M
est: 100 code, 100 tests
executor: agent
difficulty: unknown ground
model: strongest
diagnostics: a refused id names the revocation record that holds it
observability: one warn line per colliding mint
layers:
- collide:
- crates/minvmd/src/box_registry.rs: when no proxy answers, `holds_box_id` reads the box ids that the retained audit segments' revocation records hold, or refuses creation; the choice is the implementer's and the arch review's (#2616)
- docs/specs/24-spec-box-egress-proxy/24-spec-box-egress-proxy.md: the BEP-070 limit comment states the no-proxy case as the code does it
test: cargo nextest run -p minvmd a_minted_id_a_revocation_holds_is_refused_with_no_proxy
produces: none
consumes: none
proof: A minted box id that a retained revocation record holds is refused with no proxy running.
depends on:
- blocked by #2585
Generated by Claude Code
Reacted by minimal-foundry
Activity
[-]BEP-070: a box id collision check when no proxy answers (T74 residual)[/-][+]T89 — Check a minted box id against retained revocations when no proxy runs[/+]minimal-foundry commentedon Oct 26, 2026
Done. #2643 merged.
branch
agent/2616-check-a-minted-box-id-against-retained-revocatio· epic #1501 · PR #264334d301d9Updated 2026-10-27T01:24:40.125Z.