Function diagnose_breach 

pub fn diagnose_breach(
    rules: &[NQuin],
    violation: u64,
    explains: u64,
) -> Option<u64>

Abductive breach diagnosis: walk backward from an observed violation along the explanatory rules (predicate == explains) to the root cause — the missing duty or bad act that accounts for it. Composes abductive::abductive_explanation.