WAP LabsProject atlas

Work item · WMLScript language, bytecode, VM, and libraries

WMLS-502

Types, conversions, operators, calls, locals, return values, control flow, and invalid-operation semantics match the effective specification.

In Progress

Acceptance

Definition of done

  • Types, conversions, operators, calls, locals, return values, control flow, and invalid-operation semantics match the effective specification.

Outputs

Artifacts to create or change

  • Language operation and conversion parity

Evidence

How closure is proven

  • cargo test --manifest-path engine-wasm/engine/Cargo.toml wap_runtime
  • cargo test --manifest-path engine-wasm/engine/Cargo.toml registered_wap_unit_executes_wmls_502_operator_conversion_fixture
  • wasm-pack test --node engine-wasm/engine --features wasm-bindings
  • pnpm test:story WMLS-502
  • node scripts/check-wap-selected-normative-clauses.mjs
  • node scripts/check-wap-knowledge-graph.mjs