- Derive open Execution IR from validated program meaning
- Preserve attribution and recoverability
- Preserve explicit local memory as explicit memory
- Preserve interface / widget_value / widget_reference / UI-primitive distinctions
- Stay upstream from lowering and backend-private assumptions