Repository navigation
T47 — Give a project with no session entry an implicit default #2412
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| One minimal.toml for every box | M | routine | standard | an agent | 320 (140 code, 180 tests) |
A project without a session entry starts a default session.
Covers:
- BOX-165
- BOX-161
Layers:
- default-entry:
- crates/mfile/src/entry.rs: implicit default entry
- crates/mfile/src/expand.rs: expands, marks implicit
cargo nextest run -p mfile no_session_entry_expands_implicit_default_sessioncargo nextest run -p mfile non_session_default_entry_blocks_implicit_defaultcargo nextest run -p mfile implicit_default_entry_reported_as_implicit
Waits on:
- T16 — Fold the layers into one expanded spec, the same bytes every run #2410
- T15 — Read the type tables as box entries #2409
Plan block
### T47 — Give a project with no session entry an implicit default
slice: S4
kind: task
covers: BOX-165, BOX-161
size: M
est: 140 code, 180 tests
executor: agent
difficulty: routine
model: standard
diagnostics: report marks entry implicit
observability: none: a pure function with a report
layers:
- default-entry:
- crates/mfile/src/entry.rs: implicit default entry
- crates/mfile/src/expand.rs: expands, marks implicit
test: cargo nextest run -p mfile no_session_entry_expands_implicit_default_session
test: cargo nextest run -p mfile non_session_default_entry_blocks_implicit_default
test: cargo nextest run -p mfile implicit_default_entry_reported_as_implicit
produces: none
consumes:
- crates/mfile/src/expand.rs
- crates/mfile/src/entry.rs
proof: A project without a session entry starts a default session.
depends on:
- blocked by #2410
- blocked by #2409
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Nov 6, 2026
Pull request #3103 is open for T47.
branch
agent/2412-give-a-project-with-no-session-entry-an-implicit· epic #2236cargo nextest run -p mfile no_session_entry_expands_implicit_default_sessioncargo nextest run -p mfile non_session_default_entry_blocks_implicit_defaultcargo nextest run -p mfile implicit_default_entry_reported_as_implicitVerify
min task run agent-verify: exit 0Updated 2026-11-06T19:31:14.442Z.