compact-is-predictable-bounded-distillation
OUT derived (depth 2)
The compact module is a fully predictable information distillation: a pure function with deterministic priority ordering that reliably constrains output within token budgets, self-reports resource usage, and structurally important nodes are prioritized through dependent-count sorting
Summary
The compact module behaves like a predictable distillation engine — given the same inputs, it always produces the same output, stays within its token budget, and prioritizes the most structurally important information by how many other nodes depend on it. This is currently marked OUT, meaning one or more of its supporting claims has been retracted, so the system no longer considers this guaranteed.
Justifications
SL — Purity and determinism combined with reliable budget enforcement yields predictable distillation
Antecedents (all must be IN):
- 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).
- compact-budget-controls-output-size — The compact module's token budget reliably constrains total output size
Dependents
These beliefs depend on this one:
- all-read-paths-are-deterministic-and-resilient — Every read-path operation produces deterministic output resilient to environmental variation: search handles missing FTS5 indexes via self-healing derived indexes and substring fallback, staleness checking produces sorted uniformly-structured CI-pipeline-ready results, and compact generates predictable bounded output from a pure function with fixed priority ordering.
- 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.
- information-output-is-authorized-budgeted-and-deterministic — Information leaving the belief network is controlled along three independent dimensions: authorization gating ensures callers see only beliefs their tags permit, token budgets constrain output quantity, and the compact module's pure-function deterministic priority ordering guarantees reproducible distillation — output is simultaneously access-controlled, size-bounded, and predictable.