Execution

This section defines execution and runtime contracts for Beskid.

• Start with Execution specification index
• Core semantic IR contract: HIR specification
• Runtime contract surface: Runtime index
• Backend behavior and boundaries: Backends index