Struct PolicyDeclaration 

pub struct PolicyDeclaration {
    pub applicability: Applicability,
    pub observes: Applicability,
    pub staleness: Staleness,
    pub predicate: Predicate,
    pub revision: Revision,
}

One policy: its applicability, its observation surface, its staleness mode, its predicate, and its own revision.

A policy is not its wrapper — see plan/policy.md’s “A policy is not its wrapper”. This is the policy itself, already stripped of the transport-shaped metadata (source, format version) that got it here.

Fields

applicability: Applicability

What this policy may be asked to decide. Feeds the decision tree that PolicyTree::decision_candidates walks. Simple declarative data, deliberately never delegated to an engine — see Predicate’s doc comment for why a PolicyDeclaration is never reached at all when this cannot be made sense of, and holds only the one real failure: a known-good applicability paired with a predicate that is not.

observes: Applicability

What this policy is told about, whether or not it is the one deciding. Feeds a second, independent tree — see Evaluator::observe’s doc comment for why this has to be separate from applicability.

staleness: Staleness

How stale this policy’s evaluator’s view may be. Duplicated per policy rather than looked up from the evaluator, even though one evaluator answers the same for all of its policies today, because a future evaluator serving policies of genuinely different staleness should not require restructuring this type.

predicate: Predicate

What decides this policy — a working evaluator, or a named Predicate::Unusable.

revision: Revision

This policy record’s own revision. See Revision.

Trait Implementations

impl Clone for PolicyDeclaration

fn clone(&self) -> PolicyDeclaration

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PolicyDeclaration

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

Formats the value using the given formatter.

impl PartialEq for PolicyDeclaration

fn eq(&self, other: &PolicyDeclaration) -> 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 PolicyDeclaration

impl StructuralPartialEq for PolicyDeclaration