openagent-aegis-policy · composition
Declared module signatures, types, configuration, and source documentation.
Source: aegis/openagent-aegis-policy/src/composition.rs. SHA-256: 6b4d2e93ec58ba98a74ead0461584ac801c85007e6f5403b77df2ad71db2824a.
This source reference follows declared modules and preserves feature attributes. It includes public declarations and implementation methods in those modules. Private-module exports and trait resolution still require the compiler; not every declaration is a crate-root import. Function bodies and constant values are omitted. Source comments describe their implementation context and are not a production deployment claim.
composition::compose_decisions
Compose multiple policy decisions into a single decision.
Follows AEGIS composition rules:
-
Deny overrides: If any decision has
allowed: false, the final decision is denied. The reason is built from all deny reasons. -
Obligations accumulate: All obligations from allowed decisions are collected into the final decision.
-
Audit trail: The composed audit info records all engines and policies evaluated across all input decisions.
If the input slice is empty, returns an allowed decision with no obligations (vacuous truth: no policies evaluated means no objections).
pub fn compose_decisions(decisions: &[PolicyDecision]) -> PolicyDecision;Source line: 29.