migrated-retraction-compact-budget-controls-output-size-j0

IN premise

Created 2026-07-08T21:29:57+00:00

review-beliefs: The first antecedent presupposes budget truncation works ("survive budget truncation") rather than establishing it, making the derivation circular; the summary-hiding antecedent describes a scenario where output grows, not how the budget constrains it. (defeats compact-budget-controls-output-size justification 0)

Dependents

These beliefs depend on this one:

• OUT compact-budget-controls-output-size — The compact module's token budget reliably constrains total output size