Repository navigation
T25 — Types only narrow, end to end #2428
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Types only narrow | S | routine | light | an agent | 160 (40 code, 120 tests) |
declare a Box Type that extends task, and see an entry that breaks its constraints refused at expansion and again at the daemon.
Covers:
- none
Layers:
- slice:
- crates/minimald/src/box_manager/tests.rs: tests
cargo nextest run -p minimald derived_task_type_refused_at_expansion_and_admission
Waits on:
- T22 — Resolve Box Types to a built-in root #2420
- T23 — Check type constraints last, and let a derived type only narrow #2424
- T24 — Re-check the built-in root's constraints at admission #2426
Plan block
### T25 — Types only narrow, end to end
slice: S5
kind: integration
covers: none
size: S
est: 40 code, 120 tests
executor: agent
difficulty: routine
model: light
diagnostics: daemon log names both refusals
observability: one span covers both refusals
layers:
- slice:
- crates/minimald/src/box_manager/tests.rs: tests
test: cargo nextest run -p minimald derived_task_type_refused_at_expansion_and_admission
produces: none
consumes: none
proof: declare a Box Type that extends task, and see an entry that breaks its constraints refused at expansion and again at the daemon.
depends on:
- blocked by #2420
- blocked by #2424
- blocked by #2426
Activity