Dry-runs a proposed SQL migration, checks it for locks and cost, and branches: safe ones get a green note, risky ones get a blocking report.