Behavior-preserving code cleanup and compaction with strict verification gates. Only runs when the repo has a runnable build/test command set. Refactors safely, removes dead code, reduces duplication, and hardens scripts without introducing breakage or violating guardrails.