Assessment and planning are separated from destructive execution.
Evidence first
Unknown or unavailable evidence is represented as unknown instead of being treated as a negative fact.
Manual verification
Driver branches, application alternatives, and hardware-specific caveats can remain explicitly cautionary.
Destructive gates
The current migration-plan design does not automate repartitioning, boot-entry changes, or deletion of Windows.