Expand description
Lowering (TECH-SPEC §4.4): bound scenarios → engine batches.
Macro expansion (use:/with:, cycle-safe, depth ≤ 32) · recursive ${…}
resolution (ADR-0005, via crate::resolve) · the Then-merge rule
(expect: macros fold their asserts into the previous request entry;
Then-before-When is an error) · batch segmentation (maximal: split only
at engine changes and optional: boundaries — each optional step is a
singleton batch so its failure can warn without poisoning neighbors).
Pure: environment snapshot, run id, and World are injected.
Structs§
- Lower
Ctx - Everything lowering needs, all injected (core purity).
- Lowered
Scenario - A fully lowered scenario: ordered engine batches plus what lowering learned.
Functions§
- lower
- Lower one bound scenario into engine batches.