Struct AuthorizationCoverageRule 

pub struct AuthorizationCoverageRule { /* private fields */ }

Rule for detecting authorization coverage capability

Checks if the composition has human-in-the-loop authorization coverage. Requires: Communication capability + Node with bound Operator having sufficient authority Emergent capability: Authorization/command coverage for the party

Implementations

impl AuthorizationCoverageRule

pub fn new(min_authority: AuthorityLevel) -> Self

Create a new authorization coverage rule

pub fn commander_required() -> Self

Create rule requiring Commander authority (for lethal/critical actions)

pub fn supervisor_required() -> Self

Create rule requiring Supervisor authority (for general override)

Trait Implementations

impl CompositionRule for AuthorizationCoverageRule

fn name(&self) -> &str

Human-readable name for this rule

fn description(&self) -> &str

Description of what this rule detects

fn applies_to(&self, capabilities: &[Capability]) -> bool

Check if this rule applies to the given set of capabilities

fn compose<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, capabilities: &'life1 [Capability], context: &'life2 CompositionContext, ) -> Pin<Box<dyn Future<Output = Result<CompositionResult>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Apply the composition rule to a set of capabilities

impl Default for AuthorizationCoverageRule

fn default() -> Self

Returns the “default value” for a type.