Upgrade and MigrationOperator-grade guide to release sequencing, rollback posture, and post-change verification.