Module policy 

Policy outcome lattice and deterministic composition.

ADR 0026 defines one total order for allow/warn/reject/quarantine/break-glass decisions. This module is pure shape logic: subsystems register rule ids, submit rule outcomes, and receive the composed decision with explainability.

Structs

BreakGlassAuditShape

Audit shape required when break-glass is the final policy outcome.

BreakGlassAuthorization

Explicit authorization for a break-glass override.

BreakGlassScope

Scope bound to a break-glass action.

PolicyContribution

One rule’s contribution to a composed policy decision.

PolicyDecision

Composed policy decision with explainability.

PolicyEngine

Pure policy engine with registered rule ids.

PolicyRuleId

A registered policy rule id.

Enums

BreakGlassReasonCode

Closed break-glass reason code.

PolicyError

Policy composition error.

PolicyOutcome

Policy outcome total order from weakest to strongest.

Functions

compose_policy_outcomes

Compose policy outcomes without a registry check.