Execution specification index
This section defines Beskid’s execution architecture: lowering boundaries, runtime ownership, memory behavior, and backend responsibilities.
Use this index to navigate canonical execution definitions. Language semantics belong in
docs/spec, while this section defines how those semantics are executed.