Struct Rule 

pub struct Rule {
    pub id: String,
    pub question: String,
    pub probe: Vec<String>,
    pub why: Option<String>,
    pub prompt: Option<String>,
    pub tags: Vec<String>,
    pub added: Option<String>,
    pub timeout: Option<f64>,
    pub pending: bool,
    pub severity: Severity,
    pub expect: Adapter,
    pub network: bool,
}

One recorded rule.

Fields

id: String

Unique slug; the rule’s name everywhere.

question: String

What this rule answers — the report line.

probe: Vec<String>

The probe argv (pre-def-expansion, as stored).

why: Option<String>

Why the invariant exists; printed when it fails.

prompt: Option<String>

The verbatim human request that led to this rule, retained so the intent can be understood or revised later. Provenance only — never used by verification; stripped wholesale by ct-rules --flatten.

tags: Vec<String>

Labels for --tag selection.

added: Option<String>

Provenance date.

timeout: Option<f64>

Per-rule bound in seconds; overrides the CLI --timeout.

pending: bool

An aspiration, not yet held: reported, never enforced.

severity: Severity

Whether a violation reddens the exit status.

expect: Adapter

How the probe’s outcome is read.

network: bool

Permit network access where the bridge entry deems it meaningful.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.