DataFusion Checks Its Own Optimizer: Plan Invariants as a Debugging and Correctness Net
DataFusion validates the plan after every optimizer rule, using a two-level invariant system where the cheap structural checks always run and the expensive semantic checks are …