Function explain 

pub fn explain(
    hg: &HypergraphRule,
    eligibility: &Eligibility,
    vo: &dyn VariableOrder,
) -> String

Render a stable textual explanation of hg plus its eligibility verdict and a variable order computed via vo. Pure: no IO, no hidden state.