Repository navigation
T24 — Re-check the built-in root's constraints at admission #2426
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Types only narrow | S | needs care | standard | an agent | 180 (120 code, 60 tests) |
The daemon refuses a spec breaking its root's constraints.
Covers:
- BOX-160
Layers:
- daemon:
- crates/minimald/src/box_manager.rs: admission root check
- crates/minimald/src/box_manager/tests.rs: tests
cargo nextest run -p minimald admission_refuses_spec_breaching_builtin_root_constraint_exit3
Waits on:
Plan block
### T24 — Re-check the built-in root's constraints at admission
slice: S5
kind: task
covers: BOX-160
size: S
est: 120 code, 60 tests
executor: agent
difficulty: needs care
model: standard
diagnostics: daemon log names each refused admission
observability: create span records refusal
layers:
- daemon:
- crates/minimald/src/box_manager.rs: admission root check
- crates/minimald/src/box_manager/tests.rs: tests
test: cargo nextest run -p minimald admission_refuses_spec_breaching_builtin_root_constraint_exit3
produces: none
consumes: none
proof: The daemon refuses a spec breaking its root's constraints.
depends on:
- blocked by #2424
Activity