information-flow-is-authorization-and-budget-controlled
OUT derived (depth 2)
Information flow from the belief network is controlled along two independent dimensions: access tags gate which beliefs are visible to each caller (authorization control via transitive subset checks), while token budgets constrain how much of the visible network is emitted (volume control via priority-ordered truncation).
Summary
The system controls what gets shared from the belief network in two separate ways: access tags decide who is allowed to see which beliefs, and token budgets decide how much of the allowed content actually gets included in the output. These are independent knobs — one is about permission, the other is about volume — so tightening one does not affect the other.
Justifications
SL — Authorization and budget controls independently constrain what flows out and how much
Antecedents (all must be IN):
- access-control-is-transitive-subset-gated — Access control enforces transitive subset-based authorization: visibility requires the caller's tags to be a superset of the node's tags, derived nodes inherit the sorted union of all ancestor tags transitively, and enforcement occurs at read boundaries only — write operations are unrestricted.
- compact-budget-controls-output-size — The compact module's token budget reliably constrains total output size
Dependents
These beliefs depend on this one:
- information-boundaries-are-controlled-at-all-levels — The system controls information flow at every boundary: internally through access-tag authorization gating and token-budget constraints on output, and externally through bidirectional bounds on LLM input/output quality and defensive belief ingestion 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.