Function domain_rules_section 

pub fn domain_rules_section(
    domain: &str,
    user: &[Rule],
    learned: &[Rule],
) -> Option<String>

One domain’s section of the rules block, from explicit rule sets rather than the store — which is what lets a proposal gate render a candidate set exactly as a run would see it, before anything is written anywhere.