What problem does it solve? Structural code changes like extractions, consolidations, and ownership moves often introduce subtle regressions because behavior verification is skipped or done inconsistently. This Skill enforces a disciplined workflow where verification brackets every structural edit, keeping behavior intact. ## Core Features & Use Cases - Behavior-Preservation Boundary: Defines the scope of what must not change—public interfaces, failure behavior, ordering, and compatibility—before edits begin. - Incremental Ownership Moves: Moves one ownership boundary at a time so intermediate states stay buildable and testable. - Verification Bracketing: Runs the same proof before and after the change, stopping only when behavior matches and the requested structure is achieved. - Use Case: When extracting a shared module from two duplicated implementations, use this Skill to keep feature changes out of the refactor and confirm identical behavior at each step. ## Quick Start Use $safe-refactor to restructure this code while preserving behavior.