compact-footer-pre-reserved
IN premise
The footer line's token cost is pre-computed and reserved before any section starts filling, guaranteeing it always fits within the budget.
Summary
The system calculates how much space the footer needs and sets that aside up front, before anything else gets written. This means the footer can never be crowded out by content above it — its slot is guaranteed from the start.
Dependents
These beliefs depend on this one:
- compact-structure-is-priority-ordered-and-infallible — The compact module produces output with deterministic priority-ordered sections (nogoods, OUT, IN) and handles all edge cases (empty networks, zero budget, missing metadata) without raising exceptions, with footer space pre-reserved before section filling begins.
Details
| Source | entries/2026/04/24/reasons_lib-compact.md |