compact-self-reports-tokens
IN premise
When given a budget, the `compact` output includes a `Token count: N / B budget` line for auditability.
Summary
The compaction process reports how many tokens it used relative to its budget, making it possible to verify whether summaries are staying within their allocated size limits. This matters for cost control and for diagnosing cases where compacted context might be unexpectedly large or small.
Dependents
These beliefs depend on this one:
- compact-is-deterministic-pure-and-bounded — The compact module produces output that is simultaneously deterministic (pure function with fixed priority ordering), bounded (guaranteed to never exceed the token budget), and self-describing (includes its own token count for auditability).
Details
| Source | entries/2026/04/24/tests-test_compact.md |