Enum CapabilityDelta 

pub enum CapabilityDelta {
    Retained(IntentSignal),
    Removed(IntentSignal),
    Added(IntentSignal),
}

A single capability change between before and after IntentGraphs.

Variants

Retained(IntentSignal)

A signal present in both before and after — no change.

Removed(IntentSignal)

A signal present in before but absent in after — removed.

Added(IntentSignal)

A signal absent in before but present in after — added (violation).

Implementations

impl CapabilityDelta

pub const fn is_escalation(&self) -> bool

True when this delta represents a privilege escalation.

pub const fn is_retained(&self) -> bool

True when the capability was preserved unchanged.

pub const fn is_removed(&self) -> bool

True when the capability was dropped.

pub const fn label(&self) -> &'static str

Short label for logging and telemetry.

pub const fn signal(&self) -> &IntentSignal

The underlying signal.

Trait Implementations

impl Clone for CapabilityDelta

fn clone(&self) -> CapabilityDelta

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CapabilityDelta

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for CapabilityDelta

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for CapabilityDelta

fn eq(&self, other: &CapabilityDelta) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CapabilityDelta

impl StructuralPartialEq for CapabilityDelta