Contract.Initialize
val run : state -> market_slice -> (reduction, string) Stdlib.result
Captures the slice snapshot and creates its reduction. The result owns one received-slice audit and an empty feedback queue.