# Backup-Verified Migration

> For each target class, create a recoverable checkpoint, refactor it to extend or use the abstraction, verify the removed anti-pattern no longer exists, and restore from backup on failure.

Record: `algo:backup-verified-migration`
Kind: pattern-distillation
Canonical: https://banes-lab.com/ontology/algorithms#algo-backup-verified-migration
Closure: https://banes-lab.com/json/records/algo/backup-verified-migration/closure

## stage

- [act](https://banes-lab.com/records/stage/act.md)

## axis

- [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md)

## composed-by

- [Custom-Rule Derivation](https://banes-lab.com/records/algo/custom-rule-derivation.md)

## derived-by

- [Pattern Distiller Kernel](https://banes-lab.com/records/algo/pattern-distiller-kernel.md)