Module outcome

Expand description

The evaluator contract: what a policy decides, how stale its view may be, and the three channels an evaluator is asked to answer on.

Structs§

Observed: One evaluator’s account of a single policy’s attempt and outcome, on its declared observation surface.

CompileOutcome: What Evaluator::compile decided about one predicate document.
EvalError: Why an evaluator could not produce an Outcome.
Lifecycle: An account-lifecycle event, so an evaluator’s per-account state does not outlive the account it belongs to. Not agent-only — any AccountKind can be frozen, unfrozen or deleted.
Outcome: What one policy decides about one subject.
PolicyLifecycle: A policy-lifecycle event, parallel to Lifecycle but scoped to a compiled artifact rather than an account. Without it, an evaluator that accumulates state per compiled policy (a cache, a counter) has no way to learn that one of its artifacts no longer corresponds to anything the tree will ever route to again, and keeps it forever.
Staleness: How stale an evaluator’s view of the world may be before it is unhealthy.