Stage history and verification, historical label on the migration map, host-preparation/device order, pair accessors, per-level state split into fixed plan structure / mutable boundary data / runtime _Level, the two block_collide families, and the deferred items with their evidence needs. Doc-only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>