Repository navigation
T15 — Read the type tables as box entries #2409
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| One minimal.toml for every box | M | routine | standard | an agent | 400 (220 code, 180 tests) |
Type tables read as box entries;
selfis refused.
Covers:
- BOX-007
- BOX-046
Layers:
- entries:
- crates/mfile/src/entry.rs (new): type tables as entries
- crates/mfile/src/lib.rs: mod line
- crates/mfile/src/error.rs: invalid-name error
cargo nextest run -p mfile self_as_name_is_exit3cargo nextest run -p mfile type_noun_tables_are_boxes_sugarcargo nextest run -p mfile entry_name_invalid_exit3_names_entry
Waits on:
Plan block
### T15 — Read the type tables as box entries
slice: S4
kind: task
covers: BOX-007, BOX-046
size: M
est: 220 code, 180 tests
executor: agent
difficulty: routine
model: standard
diagnostics: error names entry and rule
observability: none: parsing emits only the error
layers:
- entries:
- crates/mfile/src/entry.rs (new): type tables as entries
- crates/mfile/src/lib.rs: mod line
- crates/mfile/src/error.rs: invalid-name error
test: cargo nextest run -p mfile self_as_name_is_exit3
test: cargo nextest run -p mfile type_noun_tables_are_boxes_sugar
test: cargo nextest run -p mfile entry_name_invalid_exit3_names_entry
produces:
- crates/mfile/src/entry.rs
consumes: none
proof: Type tables read as box entries; `self` is refused.
depends on:
- blocked by #2407
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Nov 6, 2026
Done. #3091 merged.
branch
agent/2409-read-the-type-tables-as-box-entries· epic #2236 · PR #309163c2c8b352aa4aa0Updated 2026-11-06T16:33:29.063Z.