LeanZero Management: two scheduling engines, one schedule

LeanZero Management: two scheduling engines, one schedule Key takeaways When one rule has two implementations, don't test them for equality — test that one is a fixed point of the other. It tolerates