pub fn restore_producer_ids_strict(producer_ids: &[i64]) -> bool
Accept exactly the canonical strictly increasing producer-ID order. Strict order also proves every ID is unique while keeping validation linear.