docs/knowledge-graph/vault-wmls-5/work-items/wmls-502.md
Language operation and conversion parity
Generated from canonical repository manifests. Do not edit this note directly.
Relationships
contains← [[sprints/WMLS-5|WMLS-5]]covers-family→ [[source-families/wmlscript|wmlscript]]owned-by→ [[owner-layers/engine-wasm|engine-wasm]]owned-by→ [[owner-layers/qa|qa]]planned-by← [[clauses/WAE-CL-WMLSCRIPT-LANGUAGE-DELEGATE|WAE-CL-WMLSCRIPT-LANGUAGE-DELEGATE]]planned-by← [[clauses/WMLSCRIPT-CL-ARGUMENT-CALL-INITIALIZATION|WMLSCRIPT-CL-ARGUMENT-CALL-INITIALIZATION]]planned-by← [[clauses/WMLSCRIPT-CL-ARGUMENT-STACK-ORDER|WMLSCRIPT-CL-ARGUMENT-STACK-ORDER]]planned-by← [[clauses/WMLSCRIPT-CL-ARGUMENT-VARIABLE-INDEXES|WMLSCRIPT-CL-ARGUMENT-VARIABLE-INDEXES]]planned-by← [[clauses/WMLSCRIPT-CL-ARITHMETIC-INSTRUCTION-MATRIX|WMLSCRIPT-CL-ARITHMETIC-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-ARITHMETIC-INVALID-RESULTS|WMLSCRIPT-CL-ARITHMETIC-INVALID-RESULTS]]planned-by← [[clauses/WMLSCRIPT-CL-AUTOMATIC-EMPTY-RETURN|WMLSCRIPT-CL-AUTOMATIC-EMPTY-RETURN]]planned-by← [[clauses/WMLSCRIPT-CL-BITWISE-INSTRUCTION-MATRIX|WMLSCRIPT-CL-BITWISE-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-BITWISE-INTEGER-RESULTS|WMLSCRIPT-CL-BITWISE-INTEGER-RESULTS]]planned-by← [[clauses/WMLSCRIPT-CL-COMPARISON-INSTRUCTION-MATRIX|WMLSCRIPT-CL-COMPARISON-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-COMPARISON-INVALID-RESULT|WMLSCRIPT-CL-COMPARISON-INVALID-RESULT]]planned-by← [[clauses/WMLSCRIPT-CL-CONSTANT-INSTRUCTION-BOUNDS|WMLSCRIPT-CL-CONSTANT-INSTRUCTION-BOUNDS]]planned-by← [[clauses/WMLSCRIPT-CL-CONSTANT-INSTRUCTION-MATRIX|WMLSCRIPT-CL-CONSTANT-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-CONTROL-FLOW-INSTRUCTION-MATRIX|WMLSCRIPT-CL-CONTROL-FLOW-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-CONTROL-FLOW-TARGETS|WMLSCRIPT-CL-CONTROL-FLOW-TARGETS]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-BOOLEAN-MATRIX|WMLSCRIPT-CL-CONVERSION-BOOLEAN-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-INTEGER-MATRIX|WMLSCRIPT-CL-CONVERSION-INTEGER-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-INTEGER-STRING-GRAMMAR|WMLSCRIPT-CL-CONVERSION-INTEGER-STRING-GRAMMAR]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-INVALID-PROHIBITED|WMLSCRIPT-CL-CONVERSION-INVALID-PROHIBITED]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-INVALID-PROPAGATION|WMLSCRIPT-CL-CONVERSION-INVALID-PROPAGATION]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-STRING-MATRIX|WMLSCRIPT-CL-CONVERSION-STRING-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-STRING-NUMERIC-GRAMMAR|WMLSCRIPT-CL-CONVERSION-STRING-NUMERIC-GRAMMAR]]planned-by← [[clauses/WMLSCRIPT-CL-CONVERSION-SUMMARY-MATRIX|WMLSCRIPT-CL-CONVERSION-SUMMARY-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-DEBUG-INSTRUCTION-MATRIX|WMLSCRIPT-CL-DEBUG-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-FATAL-BYTECODE-ERROR-MATRIX|WMLSCRIPT-CL-FATAL-BYTECODE-ERROR-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-FUNCTION-CALL-INDEX-TYPES|WMLSCRIPT-CL-FUNCTION-CALL-INDEX-TYPES]]planned-by← [[clauses/WMLSCRIPT-CL-FUNCTION-CALL-INSTRUCTION-MATRIX|WMLSCRIPT-CL-FUNCTION-CALL-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-FUNCTION-RECORD-BOUNDARIES|WMLSCRIPT-CL-FUNCTION-RECORD-BOUNDARIES]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-BEFORE-EXECUTION|WMLSCRIPT-CL-INTEGRITY-BEFORE-EXECUTION]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-CODE-SIZE-CHECK|WMLSCRIPT-CL-INTEGRITY-CODE-SIZE-CHECK]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-FAILURE-QUARANTINE|WMLSCRIPT-CL-INTEGRITY-FAILURE-QUARANTINE]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-FUNCTION-SIZES|WMLSCRIPT-CL-INTEGRITY-FUNCTION-SIZES]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-INSTRUCTION-STREAM|WMLSCRIPT-CL-INTEGRITY-INSTRUCTION-STREAM]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-POOL-COUNTS|WMLSCRIPT-CL-INTEGRITY-POOL-COUNTS]]planned-by← [[clauses/WMLSCRIPT-CL-INTEGRITY-VERSION-CHECK|WMLSCRIPT-CL-INTEGRITY-VERSION-CHECK]]planned-by← [[clauses/WMLSCRIPT-CL-LOCAL-EMPTY-INITIALIZATION|WMLSCRIPT-CL-LOCAL-EMPTY-INITIALIZATION]]planned-by← [[clauses/WMLSCRIPT-CL-LOCAL-VARIABLE-INDEXES|WMLSCRIPT-CL-LOCAL-VARIABLE-INDEXES]]planned-by← [[clauses/WMLSCRIPT-CL-LOGICAL-BOOLEAN-CONVERSION|WMLSCRIPT-CL-LOGICAL-BOOLEAN-CONVERSION]]planned-by← [[clauses/WMLSCRIPT-CL-LOGICAL-INSTRUCTION-MATRIX|WMLSCRIPT-CL-LOGICAL-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-NONFATAL-COMPUTATION-MATRIX|WMLSCRIPT-CL-NONFATAL-COMPUTATION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-NONFATAL-CONSTANT-MATRIX|WMLSCRIPT-CL-NONFATAL-CONSTANT-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-NONFATAL-CONVERSION-MATRIX|WMLSCRIPT-CL-NONFATAL-CONVERSION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-OPERAND-TYPE-INSTRUCTION-MATRIX|WMLSCRIPT-CL-OPERAND-TYPE-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-OPERAND-TYPE-NO-CONVERSION|WMLSCRIPT-CL-OPERAND-TYPE-NO-CONVERSION]]planned-by← [[clauses/WMLSCRIPT-CL-OPERATOR-CONVERSION-ATOMICITY|WMLSCRIPT-CL-OPERATOR-CONVERSION-ATOMICITY]]planned-by← [[clauses/WMLSCRIPT-CL-OPERATOR-CONVERSION-ORDER|WMLSCRIPT-CL-OPERATOR-CONVERSION-ORDER]]planned-by← [[clauses/WMLSCRIPT-CL-OPERATOR-CONVERSION-RESULT-INVALID|WMLSCRIPT-CL-OPERATOR-CONVERSION-RESULT-INVALID]]planned-by← [[clauses/WMLSCRIPT-CL-OPERATOR-NUMERIC-PRECEDENCE|WMLSCRIPT-CL-OPERATOR-NUMERIC-PRECEDENCE]]planned-by← [[clauses/WMLSCRIPT-CL-RETURN-INSTRUCTION-MATRIX|WMLSCRIPT-CL-RETURN-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-RETURN-TOP-LEVEL-BOUNDARY|WMLSCRIPT-CL-RETURN-TOP-LEVEL-BOUNDARY]]planned-by← [[clauses/WMLSCRIPT-CL-RUNTIME-CONSTANT-VALIDITY|WMLSCRIPT-CL-RUNTIME-CONSTANT-VALIDITY]]planned-by← [[clauses/WMLSCRIPT-CL-RUNTIME-FUNCTION-VALIDITY|WMLSCRIPT-CL-RUNTIME-FUNCTION-VALIDITY]]planned-by← [[clauses/WMLSCRIPT-CL-RUNTIME-JUMP-VALIDITY|WMLSCRIPT-CL-RUNTIME-JUMP-VALIDITY]]planned-by← [[clauses/WMLSCRIPT-CL-RUNTIME-STACK-VALIDITY|WMLSCRIPT-CL-RUNTIME-STACK-VALIDITY]]planned-by← [[clauses/WMLSCRIPT-CL-RUNTIME-VARIABLE-VALIDITY|WMLSCRIPT-CL-RUNTIME-VARIABLE-VALIDITY]]planned-by← [[clauses/WMLSCRIPT-CL-STACK-INSTRUCTION-MATRIX|WMLSCRIPT-CL-STACK-INSTRUCTION-MATRIX]]planned-by← [[clauses/WMLSCRIPT-CL-STACK-UNDERFLOW-FATAL|WMLSCRIPT-CL-STACK-UNDERFLOW-FATAL]]planned-by← [[clauses/WMLSCRIPT-CL-VARIABLE-INSTRUCTION-BOUNDS|WMLSCRIPT-CL-VARIABLE-INSTRUCTION-BOUNDS]]planned-by← [[clauses/WMLSCRIPT-CL-VARIABLE-INSTRUCTION-MATRIX|WMLSCRIPT-CL-VARIABLE-INSTRUCTION-MATRIX]]planned-by← [[scr-rows/WAESpec-C-016|WAESpec-C-016]]planned-by← [[scr-rows/WMLS-C-072|WMLS-C-072]]planned-by← [[scr-rows/WMLS-C-073|WMLS-C-073]]planned-by← [[scr-rows/WMLS-C-075|WMLS-C-075]]planned-by← [[scr-rows/WMLS-C-076|WMLS-C-076]]planned-by← [[scr-rows/WMLS-C-077|WMLS-C-077]]planned-by← [[scr-rows/WMLS-C-083|WMLS-C-083]]planned-by← [[scr-rows/WMLS-C-084|WMLS-C-084]]planned-by← [[scr-rows/WMLS-C-085|WMLS-C-085]]planned-by← [[scr-rows/WMLS-C-086|WMLS-C-086]]planned-by← [[scr-rows/WMLS-C-095|WMLS-C-095]]planned-by← [[scr-rows/WMLS-C-096|WMLS-C-096]]planned-by← [[scr-rows/WMLS-C-097|WMLS-C-097]]planned-by← [[scr-rows/WMLS-C-098|WMLS-C-098]]planned-by← [[scr-rows/WMLS-C-099|WMLS-C-099]]planned-by← [[scr-rows/WMLS-C-100|WMLS-C-100]]planned-by← [[scr-rows/WMLS-C-101|WMLS-C-101]]planned-by← [[scr-rows/WMLS-C-102|WMLS-C-102]]planned-by← [[scr-rows/WMLS-C-103|WMLS-C-103]]planned-by← [[scr-rows/WMLS-C-104|WMLS-C-104]]planned-by← [[scr-rows/WMLS-C-105|WMLS-C-105]]planned-by← [[scr-rows/WMLS-C-106|WMLS-C-106]]planned-by← [[scr-rows/WMLS-C-107|WMLS-C-107]]planned-by← [[scr-rows/WMLS-C-108|WMLS-C-108]]relates-to→ [[legacy-tickets/W1-04|W1-04]]
Data
{
"status": "in-progress",
"ownerLayers": [
"engine-wasm",
"qa"
],
"sourceFamilies": [
"wmlscript"
],
"notes": [
"The bounded floating-capable language executor directly implements 44 clauses; three additional clauses retain completed WMLS-501 verifier evidence, for 47 implemented of 59 clauses directly mapped to WMLS-502. The work item remains in progress rather than overstating closure of its broader parent mappings.",
"The 32 selected parent rows remain partial or missing in the machine ledger. This work item does not claim that all 41 selected WMLScript language parents or the WMLS-5 sprint are complete.",
"WMLS-503 URL/access execution, WMLS-504 standard-library execution, optional integer-only behavior, and unfinished WMLS-505 chapter 12 coverage remain open."
],
"existingTickets": [
"W1-04"
],
"outputs": [
"Language operation and conversion parity"
],
"acceptance": [
"Types, conversions, operators, calls, locals, return values, control flow, and invalid-operation semantics match the effective specification."
],
"evidence": [
"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"
],
"source": "docs/waves/wap-1.2.1-compliance-program.json"
}