compact-budget-only-limits-in-nodes
OUT premise
The token budget only constrains the IN nodes section; nogoods and OUT nodes are always emitted regardless of budget, so compact output can exceed the specified budget value.
Summary
The compact output format does not strictly respect its token budget as an overall cap. While the budget controls how many active beliefs get included, contradictions and retracted beliefs are always included in full, meaning the total output can be larger than the budget number suggests.
Dependents
These beliefs depend on this one:
- compact-budget-controls-output-size — The compact module's token budget reliably constrains total output size
Details
| Source | entries/2026/04/23/reasons_lib-compact.md |