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
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Nov 12, 2026
Pull request #3336 is open for T25.
branch
agent/2428-types-only-narrow-end-to-end· epic #2236cargo nextest run -p minimald derived_task_type_refused_at_expansion_and_admissionVerify
min task run agent-verify: timed out after 1800s — 9ed43bde/out:/work/build-cache/target/debug:/work/build-cache/cargo-home/build/debug/deps:/usr/lib64/rustlib/x86_64-unknown-linux-gnu/lib\u{1f}NEXTEST_PROFILE=default\u{1f}NEXTEST_RECOMMENDED_VERSION=none\u{1f}NEXTEST_REQUIRED_VERSION=none\u{1f}NEXTEST_RUN_ID=3832cb38-f841-4876-9f63-d015f72f6364\u{1Updated 2026-11-12T21:10:48.450Z.