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.

Todo

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

Evidence

How closure is proven

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