pub fn jural_chain_valid(rels: &[NQuin]) -> bool
Confirm an ordered chain A→B→C→… is fully connected: every adjacent pair links. A single relation (or empty) is trivially valid. Zero-heap (slice windows, no allocation).