Migration specification IR for type-bridge.
This crate defines the serde contract that Python migration authoring lowers
into, plus pure validation, checksum gates, the transaction-aware planner,
and the async executor that runs each step over a Database.