What problem does it solve? The Sonder Runtime repository has a 25,000-line monolithic server.py that must be decomposed into a layered sonder_runtime package under strict architecture rules, and each migration step must be small, behavior-preserving, and provable. This Skill provides the executable runbook for planning, executing, verifying, and landing one WP1 migration slice at a time without breaking ratchets, aliases, or gates. ## Core Features & Use Cases - Slice selection and layering: Identifies candidate functions in server.py, applies the layer decision table (domain, application, adapters, platform, interfaces, bootstrap), and reserves the next WP1 slice ordinal. - Move recipe with identity preservation: Guides the move-rewire-delete-ratchet-package-test pattern, including sys.modules identity aliases, underscore alias imports, and monkeypatch surface preservation. - Proof gates and landing: Runs check_architecture.py, compileall, focused and full pytest suites, and other evidence gates in order, then writes the slice doc, README notes, and commit in verified conventions. - Use Case: When asked to "do a WP1 slice" or "migrate a slice of server.py", the Skill walks through eligibility checks, picks a pure helper, moves it into sonder_runtime/domain, preserves the root compatibility alias, runs all gates, and lands the documented slice commit. ## Quick Start Ask the AI to run the next WP1 slice by migrating one pure helper from server.py into the sonder_runtime package while preserving the root compatibility alias and passing all architecture gates.