Struct ProjectedRule 

pub struct ProjectedRule {
    pub id: String,
    pub revision: u64,
    pub rfc: String,
    pub level: String,
    pub effective_status: String,
    pub statement: String,
    pub checker: Option<String>,
}

One rule as a projection renders it: the compact statement plus the labels the honest-blocking posture needs, normalized from either the live trusted manifest (planning) or the approved pin (sessions).

Fields

id: String

revision: u64

rfc: String

Parent RFC id — part of the rule’s source label.

level: String

must / should (the pack contract’s canonical spellings).

effective_status: String

The EFFECTIVE lifecycle at resolution time (approved / enforced).

statement: String

The one-line normative statement — the only text that projects.

checker: Option<String>

The rendered checker binding, when the rule carries one.

Implementations

impl ProjectedRule

pub fn identity(&self) -> (String, u64)

The delta identity the fixed-point revision loop compares on: the same id at the same revision is content the planner already received; a re-revised rule is NEW content and must be re-delivered.

Trait Implementations

impl Clone for ProjectedRule

fn clone(&self) -> ProjectedRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectedRule

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

Formats the value using the given formatter.

impl Eq for ProjectedRule

impl PartialEq for ProjectedRule

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProjectedRule