Function verify_rules 

pub fn verify_rules(
    rules: Vec<RuntimeTask>,
    skeptic: Option<RuntimeTask>,
) -> WorkflowSpec

One fresh-context verifier per rule/claim, optionally followed by a skeptic that re-checks every flag to suppress false positives.

This is the article’s rule-adherence pattern. Each verifier runs as a Verify agent, which [role_defaults] gives ReadOnly isolation + ContextInheritance::None — the verifier does not inherit the author’s reasoning, so it cannot rubber-stamp it (the structural defence against self-preferential bias). The optional skeptic depends on all verifiers and reviews their flags (real violation vs. false positive). Runs on the W0 workflow executor.

For unknown-size rule sets (claim extraction), a dynamic-fan-out variant is a later round; this covers the case where the rule/claim set is known up front. For the generate→evaluate→retry quality gate (scoring one author’s output against criteria), see gen_eval.