whetstone_DSL/sprint57_plan.md

Sprint 57 Plan: Low-Level and Interop Family (C, WASM, x86, ARM)

Context

Low-level code needs ABI, memory-layout, and calling-convention preservation. Sprint 57 focuses on interop-safe projection and verification.

---

Goals

1. Add ABI-aware lowering/raising for C and assembly-family inputs
2. Model calling conventions and memory layout explicitly
3. Support WASM projection profiles and host boundary mappings
4. Gate unsafe low-level transforms with strict review requirements

---

Steps

Step 799: ABI and calling-convention canonical model (12 tests)

Step 800: C interop adapter deepening (10 tests)

Step 801: WASM lowering/raising adapters v2 (10 tests)

Step 802: x86 assembly lowering adapter v1 (10 tests)

Step 803: ARM assembly lowering adapter v1 (10 tests)

Step 804: Memory layout compatibility checker (10 tests)

Step 805: Host boundary + FFI contract generator (8 tests)

Step 806: whetstone_transpile_low_level_family MCP tool (8 tests)

Step 807: Low-level acceptance report + waiver system (8 tests)

Step 808: Sprint 57 integration summary + regression (8 tests)

---

Safety Rule

• Any calling-convention or memory-layout mismatch is blocking by default.