- Specialize open Execution IR for the first reference backend family
- Make backend-relevant assumptions explicit
- Preserve semantic meaning while specializing
- Prepare a form suitable for backend contract emission
- Avoid claiming that private runtime structure is normative FROG truth