WAP LabsProject atlas

Work item · WML state, tasks, events, forms, and navigation

WML-303

go, prev, refresh, noop, intrinsic events, template/card shadowing, BACK availability, and activation order are deterministic.

Todo

Definition of done

  • go, prev, refresh, noop, intrinsic events, template/card shadowing, BACK availability, and activation order are deterministic.

Artifacts to create or change

  • do/onevent/task shadowing and softkey precedence closure

How closure is proven

  • cargo test --manifest-path engine-wasm/engine/Cargo.toml
  • cargo test --manifest-path browser/src-tauri/Cargo.toml