pub fn is_canonical<T: Ordered>(items: &[T]) -> bool
Is this collection already in canonical order? What a validator asks of a projection it did not build, and what a test asks of an interface’s output.