Function is_order_satisfied 

pub fn is_order_satisfied(
    required: &[OrderColumn],
    source: &[SortColumn],
) -> bool

Checks whether a given ordering is satisfied by a source’s declared ordering.

Returns true if source_ordering is a prefix match of required_ordering (same columns, same direction).