WAP LabsProject atlas

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

WMLS-501

The 41 mandatory WMLScript:MCF rows remain exactly mapped while WAP header, constant/pragma/function pools, instruction families, indexes, jumps, stack/local bounds, and malformed input failure are fully verified before execution.

Done

Acceptance

Definition of done

  • The 41 mandatory WMLScript:MCF rows remain exactly mapped while WAP header, constant/pragma/function pools, instruction families, indexes, jumps, stack/local bounds, and malformed input failure are fully verified before execution.

Outputs

Artifacts to create or change

  • Complete bytecode decoder and structural verifier
  • Additive standard-library index and whole-function stack-dataflow verifier closure

Evidence

How closure is proven

  • cargo test --manifest-path engine-wasm/engine/Cargo.toml wap_decoder
  • cargo test --manifest-path engine-wasm/engine/Cargo.toml registered_wap_dataflow_failures_preserve_error_trace_taxonomy_and_recovery
  • wasm-pack test --node engine-wasm/engine --features wasm-bindings
  • pnpm test:story WMLS-501