pub fn missing_symbols(
spec: &GoalSpec,
observed: &BTreeSet<String>,
) -> Vec<String>Expand description
The expected symbols absent from observed, preserving declared order and
de-duplicating. Comparison is exact on the name string; the domain is
responsible for normalizing names (e.g. stripping a module:: prefix)
before building the GoalSpec and the observed set.