WMLScript language, bytecode, VM, and libraries

1. WMLS-501Todo
   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.→
2. WMLS-502Todo
   Types, conversions, operators, calls, locals, return values, control flow, and invalid-operation semantics match the effective specification.→
3. WMLS-503Todo
   Script loading and invocation respect content identity, access domains/paths, pragmas, argument binding, and deterministic failure.→
4. WMLS-504In Progress
   All 80 mandatory WMLScriptLibs:MCF rows map to exact source IDs, implementation status, open work, and deterministic tests; Lang, Float, String, URL, WMLBrowser, and Dialogs close their nested clauses; optional immediate refresh is declared.→
5. WMLS-505Todo
   Dialogs, timers, navigation effects, fatal/non-fatal errors, resource limits, and post-invocation effect ordering are deterministic.→
6. WMLS-506Todo
   MIME handling, compiled-script decode, cache identity, fetch ownership, and engine invocation preserve layer boundaries.→

Exit contract

Evidence required to leave this sprint

• Mandatory WMLScript and library SCR lines have executable evidence.
• Malformed bytecode cannot reach execution.
• Native/WASM and host capability outcomes are equivalent.