17 lines
705 B
Markdown
17 lines
705 B
Markdown
---
|
|
name: safe-refactor
|
|
description: Restructure code while preserving behavior. Use for extraction, consolidation, ownership moves, or cleanup where verification must bracket structural edits.
|
|
---
|
|
|
|
# Safe refactor
|
|
|
|
Define behavior-preservation boundary and establish verification before structural edits.
|
|
|
|
- Keep feature changes outside refactor.
|
|
- Move one ownership boundary at a time.
|
|
- Preserve public interfaces, failure behavior, ordering, and compatibility unless explicitly scoped.
|
|
- Keep intermediate states buildable and testable.
|
|
- Avoid dependency or configuration growth without correctness need.
|
|
|
|
Run same proof after change. Stop when behavior matches and requested structure is achieved.
|