pub fn explain(prog: &Program, name: &str) -> Option<ExplainReport>Expand description
Generate a plain-English explanation of an intent/safety/goal. This is template-based — no LLM call. The output is meant to be human-reviewed and is consumed by popsicle’s adversarial-reviewer Skill.