Enum Checker 

pub enum Checker {
    Gate(String),
    AgentJudgement,
    ManualAttestation,
}

A rule’s typed checker binding (D-F): a registered pack gate, the engine-owned contextual reviewer, or an explicit human decision — never arbitrary executable prose.

Variants

Gate(String)

gate:<stable-gate-id> — must name a [[gate]] declared by the same pack; the referenced declaration joins the digest so a checker edit is byte-visible (D-J’s drift row).

AgentJudgement

agent-judgement — the engine-owned contextual standards reviewer.

ManualAttestation

manual-attestation — an explicit authorized human decision.

Implementations

impl Checker

pub fn render(&self) -> String

The canonical spelling used in the manifest and reports.

Trait Implementations

impl Clone for Checker

fn clone(&self) -> Checker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Checker

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

Formats the value using the given formatter.

impl Eq for Checker

impl PartialEq for Checker

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Checker