Enum PolicyState 

pub enum PolicyState {
    Pending,
    Active,
    Draining,
    Disabled,
    RepairRequired,
    AuthenticationFailed,
}

The policy lifecycle, exactly as 04-subsystem-contracts.md draws it:

pending -> active | repair_required
active  -> draining -> disabled -> pending
any     -> authentication_failed        (recoverable by re-authentication)

Every transition outside that diagram is rejected, which b1’s Definition of Done requires. Two consequences are worth stating because they are surprising, and both are recorded as findings rather than papered over:

• RepairRequired has no outgoing edge except the any rule. A policy that enters it can never return to Active through this state machine.
• Disabled -> Pending begins a fresh lifecycle when an operator re-enables a policy that previously finished draining. Activation remains a separate Pending -> Active transition, preserving the normal entry-state checks.

The one edge here that the diagram does not draw as an arrow is AuthenticationFailed -> Pending, which is the parenthetical “(recoverable by re-authentication)” made executable; pending is where it lands because that is the diagram’s only entry state.

Variants

Pending

Active

Draining

Disabled

RepairRequired

AuthenticationFailed

Implementations

impl PolicyState

pub const ALL: [PolicyState; 6]

pub const LEGAL: &'static [(PolicyState, PolicyState)]

The complete legal transition list. Nothing outside it is permitted, and a self-transition is not in it either.

pub fn can_transition_to(self, next: PolicyState) -> bool

pub const fn admits_new_runners(self) -> bool

True while the policy is allowed to be the reason a runner starts.

Trait Implementations

impl Clone for PolicyState

fn clone(&self) -> PolicyState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PolicyState

impl Debug for PolicyState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PolicyState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for PolicyState

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

Formats the value using the given formatter.

impl Eq for PolicyState

impl Hash for PolicyState

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for PolicyState

fn cmp(&self, other: &PolicyState) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for PolicyState

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for PolicyState

fn partial_cmp(&self, other: &PolicyState) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for PolicyState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PolicyState