Repository navigation
T22 — Resolve Box Types to a built-in root #2420
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Types only narrow | L | needs care | strongest | an agent | 640 (360 code, 280 tests) |
A type extending task resolves; agent entries are refused.
Covers:
- BOX-059
- BOX-063
Layers:
- types:
- crates/mfile/src/box_types.rs (new): built-ins; extends to root
- crates/mfile/src/lib.rs: mod line
- crates/mfile/src/expand.rs: session, task only
cargo nextest run -p mfile box_type_resolves_to_builtin_rootcargo nextest run -p mfile box_type_missing_extends_cycle_or_redefinition_exit3cargo nextest run -p mfile session_and_task_entries_expand_and_validatecargo nextest run -p mfile other_builtin_type_entry_refused_exit3_other_entries_usable
Waits on:
- T21 — One minimal.toml for every box, end to end #2418
- T16 — Fold the layers into one expanded spec, the same bytes every run #2410
Plan block
### T22 — Resolve Box Types to a built-in root
slice: S5
kind: task
covers: BOX-059, BOX-063
size: L
est: 360 code, 280 tests
executor: agent
difficulty: needs care
model: strongest
diagnostics: error names type and definitions
observability: none: a pure function, no runtime
layers:
- types:
- crates/mfile/src/box_types.rs (new): built-ins; extends to root
- crates/mfile/src/lib.rs: mod line
- crates/mfile/src/expand.rs: session, task only
test: cargo nextest run -p mfile box_type_resolves_to_builtin_root
test: cargo nextest run -p mfile box_type_missing_extends_cycle_or_redefinition_exit3
test: cargo nextest run -p mfile session_and_task_entries_expand_and_validate
test: cargo nextest run -p mfile other_builtin_type_entry_refused_exit3_other_entries_usable
produces:
- crates/mfile/src/box_types.rs
consumes:
- crates/mfile/src/expand.rs
proof: A type extending task resolves; agent entries are refused.
depends on:
- blocked by #2418
- blocked by #2410
Activity