Reduce code size or split oversized files while preserving behavior, contracts, safety, and verification. Use when the user asks to shrink code, remove redundant implementation, reduce LOC, or make a behavior-preserving refactor. Measure first and stop when the reduction is not a net win.
