Module context 

The Context (Γ) — the exact admitted token window, and what was refused.

Law II says a step receives only the context it declared as necessary. That law is only auditable if you can also see what the admission controller turned away. Recording admissions alone makes the law unfalsifiable: “the agent saw these five things” tells you nothing about the sixth thing it needed and never got.

So Context carries both halves. When someone asks “why did the agent not know X?”, the answer is a lookup: X is in Context::evicted with a EvictionReason attached.

Structs

AdmittedItem

One item that made it into the window.

Context

Γ — the exact admitted token window. Immutable, fully attributed.

ContextOverBudget

The context was over budget — an admitter bug, not a user error.

EvictionRecord

One item that was considered and refused.

TokenBudget

The token ceiling an admission ran against — s_max in the cost model.

Enums

ContextSource

Where an item of context came from.

EvictionReason

Why an item was refused.