Function local_saturation 

pub fn local_saturation(quins: &[NQuin], context: u64) -> f32

Local (per-context) inconsistency saturation: among the quins in context, the fraction that contradict an earlier same-context quin (same subject+predicate, different object — the same contradiction rule route_paraconsistent uses). 0.0 if the context is empty. Zero-heap (nested linear scans, no allocation).