Struct MigrationSafetyPolicy 

pub struct MigrationSafetyPolicy { /* private fields */ }

Explicit per-class apply policy.

The verifier’s classification is a floor the policy can only tighten: destructive and opaque work can be rejected or gated behind approval but never permanently allowed (a standing Allow is the invalid permanent force = true shape), and classes the manifest verifier refuses to carry stay rejected.

Implementations

impl MigrationSafetyPolicy

pub fn default_policy() -> Self

Return the default policy: verified-safe classes execute, destructive and opaque work requires approval, unresolved work stays rejected.

pub fn with_decision( self, class: SafetyClass, decision: SafetyPolicyDecision, ) -> Result<Self, Diagnostic>

Override one class decision, refusing any loosening of the floor.

pub fn decision(&self, class: SafetyClass) -> SafetyPolicyDecision

Return the decision for one manifest safety classification.

Trait Implementations

impl Clone for MigrationSafetyPolicy

fn clone(&self) -> MigrationSafetyPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MigrationSafetyPolicy

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

Formats the value using the given formatter.

impl Eq for MigrationSafetyPolicy

impl PartialEq for MigrationSafetyPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MigrationSafetyPolicy