Hotspot optimizer

Find and (on request) fix complexity/performance hotspots with behavior preserved and proven by tests. Bias toward small, verified wins over broad rewrites.

Core rule

Never change observable behavior. Every optimization preserves outputs, ordering, error semantics, and public APIs — and is proven by a test that passed before and after.

Loop: Triage → Prove → Optimize → Verify