关于
The Typed Holes Refactor skill implements a formal meta-framework for large-scale code transformations, allowing developers to manage architectural uncertainty with precision. By categorizing unknowns as 'holes' in a Refactor Intermediate Representation (IR), it guides Claude through a structured workflow of characterization testing, constraint propagation, and incremental resolution. This approach ensures that even massive refactors remain safe and verifiable, preserving existing behaviors while systematically migrating toward a target architecture with full documentation of every change.