Evaluation
Platform spec area
Evaluation
No architecture decision records under adr/ for this feature yet. Standard features must
publish at least one ADR or keep a ## Decisions summary on the hub.
- Control flow Conditionals, loops, and structured control transfer. Lowering to HIR/CLIF follows the evaluation order defined here.
- Events Multicast events, subscription lifetime, and thread affinity assumptions. UI stacks build on these primitives.
- Lambdas and closures Capture lists, environment layout, and lifetime of delegates. JIT and AOT must agree on closure calling conventions.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
scope | yes | yes |
features | yes | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Scope
Control flow, closures, and events.
Feature index
Use the tiles below for normative feature contracts in this area.
Features
- Control flowConditionals, loops, and structured control transfer. Lowering to HIR/CLIF follows the evaluation order defined here.
- EventsMulticast events, subscription lifetime, and thread affinity assumptions. UI stacks build on these primitives.
- Fibers and spawnThe spawn keyword, Fiber contract requirement, and cross-fiber communication rules.
- Lambdas and closuresCapture lists, environment layout, and lifetime of delegates. JIT and AOT must agree on closure calling conventions.