compact-structure-is-priority-ordered-and-infallible
IN derived (depth 1)
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.
Summary
The compact module is engineered to be completely reliable: it always produces valid output regardless of edge cases, it fills sections in a strict priority order so the most important information (contradictions, then retracted beliefs, then active beliefs) is never displaced by less important content, and it guarantees the footer fits by reserving space for it upfront before anything else is written.
Justifications
SL — Three independent robustness properties of compact output structure that together ensure it never fails or produces malformed output
Antecedents (all must be IN):
- compact-priority-order — Sections are emitted in fixed order: nogoods, OUT nodes, IN nodes; a later section never displaces content from an earlier one.
- compact-is-infallible — `compact()` handles empty networks, zero-budget, and missing metadata without raising exceptions — designed to always produce a valid string.
- compact-footer-pre-reserved — The footer line's token cost is pre-computed and reserved before any section starts filling, guaranteeing it always fits within the budget.
Dependents
These beliefs depend on this one:
- compact-output-is-structurally-complete-and-predictably-bounded — The compact module simultaneously achieves structural completeness — priority-ordered sections where later sections never displace earlier ones, infallible handling of all edge cases including empty networks and zero budgets, and pre-reserved footer guaranteeing auditability metadata — and predictable resource bounding through a pure deterministic function with guaranteed budget enforcement and self-reporting token counts, making compact a reliable building block for automated context-limited pipelines.