Function find_unmet_correlatives 

pub fn find_unmet_correlatives(rels: &[NQuin], out: &mut [NQuin]) -> usize

“Make the absence legible.” For every jural relation whose correlative is NOT present in rels, emit the expected (missing) correlative into out — e.g. a Claim to a resource with no funded Duty-bearer surfaces the duty that ought to exist. Returns the count written. Zero-heap (caller-supplied out).