Struct DesignRule 

pub struct DesignRule {
    pub id: &'static str,
    pub title: &'static str,
    pub rationale: &'static str,
    pub intents: &'static [&'static str],
    pub check: fn(&Spec, Option<&str>) -> Vec<Finding>,
}

A single entry in the static rule registry. All fields are 'static for zero-cost iteration and Phase 253 MCP/doc derivation.

Fields

id: &'static str

Stable rule id used in allow lists and finding rule fields.

title: &'static str

Short human title for docs/MCP catalog.

rationale: &'static str

Why this rule exists (one sentence).

intents: &'static [&'static str]

Intents this rule applies to. Empty slice = all intents.

check: fn(&Spec, Option<&str>) -> Vec<Finding>

Pure check function. Receives the raw Spec and the resolved intent (may be None when intent is completely undeclared and inference found no signal). Returns zero or more findings.