Implement the complete arithmetic opcode table with exact operand order, conversion category, result type, stack effect, and declared errors.

Generated from canonical repository manifests. Do not edit this note directly.

Relationships

• maps-to → [[requirements/RQ-WMLS-008|RQ-WMLS-008]]
• planned-by → [[work-items/WMLS-501|WMLS-501]]
• planned-by → [[work-items/WMLS-502|WMLS-502]]
• refines → [[scr-rows/WMLS-C-069|WMLS-C-069]]
• refines → [[scr-rows/WMLS-C-099|WMLS-C-099]]
• sourced-from → [[source-documents/WAP-193_101-WMLScript|WAP-193_101-WMLScript]]
• verified-by → [[fixtures/WMLSCRIPT-FX-ARITHMETIC-INSTRUCTION-MATRIX|WMLSCRIPT-FX-ARITHMETIC-INSTRUCTION-MATRIX]]

Data

{
  "family": "wmlscript",
  "parentRows": [
    "WMLS-C-069",
    "WMLS-C-099"
  ],
  "sourceAnchor": {
    "documentId": "WAP-193_101-WMLScript",
    "section": "10.5.5",
    "heading": "10.5.5 Arithmetic Instructions",
    "normalizedTextSha256": "03ff21edb52d0369a1b702ff33c601c9c0368905c600140b2170998cbd44a813"
  },
  "normativeForce": "table",
  "obligationLevel": "required",
  "obligationSynopsis": "Implement the complete arithmetic opcode table with exact operand order, conversion category, result type, stack effect, and declared errors.",
  "workItems": [
    "W1-02",
    "W1-04",
    "W1-05",
    "WMLS-501",
    "WMLS-502"
  ],
  "ownerLayers": [
    "engine-wasm"
  ],
  "requirementIds": [
    "RQ-WMLS-008"
  ],
  "implementationStatus": "implemented",
  "evidenceGate": "A source-derived direct fixture and reviewed code/test evidence are required before this clause may be marked implemented.",
  "source": "spec-processing/source-manifests/wap-1.2.1-selected-normative-clauses.json"
}