whetstone_DSL/sprint73_plan.md

Sprint 73 Plan: Embedded and Real-Time Semantics Pack

Context

Embedded and real-time systems require deterministic timing and strict resource constraints. Sprint 73 adds timing/resource semantics and gates.

---

Goals

1. Model real-time constraints and scheduling intent
2. Preserve interrupt/concurrency/resource semantics in projection
3. Add timing and footprint gates to migration acceptance
4. Support embedded-target compatibility profiles

---

Steps

Step 959: Real-time constraint model (deadline, jitter, period) (12 tests)

Step 960: Interrupt and ISR semantics packet model (10 tests)

Step 961: Resource budget model (memory/CPU/IO) (10 tests)

Step 962: Embedded profile raising policies (10 tests)

Step 963: Timing regression runner integration (10 tests)

Step 964: Binary/footprint gate integration (8 tests)

Step 965: whetstone_get_realtime_constraints MCP tool (8 tests)

Step 966: whetstone_verify_embedded_port MCP tool (8 tests)

Step 967: Embedded migration risk report template (8 tests)

Step 968: Sprint 73 integration summary + regression (8 tests)

---

Safety Rule

• Timing or footprint gate failures are blocking for real-time targets.