compact-priority-order
IN premise
Sections are emitted in fixed order: nogoods, OUT nodes, IN nodes; a later section never displaces content from an earlier one.
Summary
When the system compacts its context, it always preserves information in a strict priority sequence: contradictions first, then retracted beliefs, then active beliefs. This means if space runs tight, active beliefs get dropped before contradictions or retractions do, ensuring the system never loses track of what went wrong or what was rejected.
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 |