Function resolve_collision 

pub fn resolve_collision(
    a: &NQuin,
    b: &NQuin,
    a_nonderogable: bool,
    b_nonderogable: bool,
) -> CollisionResolution

Resolve a rights collision. a_nonderogable / b_nonderogable mark whether each relation is grounded in a non-derogable human-rights instrument (the ingest non-derogable-set). A non-derogable right defeats a derogable counterpart; two non-derogable (or two derogable) positions in genuine conflict are never auto-flattened — they route to human review. The engine proposes; the human disposes.