Contract.Validation
val run : state -> market_slice -> (unit, string) Stdlib.result
Read-only ingress check. Success guarantees that later phases receive a new, ordered, catalog-complete slice.