pub fn requirements_met( required: &[u64], held: &[u64], equivalences: &[(u64, u64)], ) -> bool
Are all requirements met (the gap is empty)?