Constraint Propagation Rule Optimization
Describes the new algorithm that solves Constraints Blow Up due to the permutational nature of the logic in stock Spark. Ensures the number of constraints never exceeds the number of filters — preventing the exponential growth that causes 1–8 hour compile times.