Contract.Valuation
val run : reduction -> (state * audit list, string) Stdlib.result
Terminates the slice with exactly one valuation and returns audits in publication order.