A Small Compiler for Explaining Delta Lake Pruning

How delta-explain turns one predicate and the Delta log into a trustworthy explanation of file pruning, through shared representation, safe rewrites, and conservative measurement.