pub fn missing_identifiers(prior: &str, candidate: &str) -> Vec<Identifier>Expand description
The identifiers extracted from prior that do NOT survive (per
is_retained) into candidate.
This is the retention gate’s core comparison (CONF-3, #1135): a non-empty return means the candidate summary loses information the prior anchor carried, and the candidate must be rejected with the prior anchor kept authoritative.