Implement every load, store, increment, and decrement variable opcode variant with its declared index width, conversion, and stack effect.

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-097|WMLS-C-097]]
• sourced-from → [[source-documents/WAP-193_101-WMLScript|WAP-193_101-WMLScript]]
• verified-by → [[fixtures/WMLSCRIPT-FX-VARIABLE-INSTRUCTION-MATRIX|WMLSCRIPT-FX-VARIABLE-INSTRUCTION-MATRIX]]

Data

{
  "family": "wmlscript",
  "parentRows": [
    "WMLS-C-069",
    "WMLS-C-097"
  ],
  "sourceAnchor": {
    "documentId": "WAP-193_101-WMLScript",
    "section": "10.5.3",
    "heading": "10.5.3 Variable Access and Manipulation",
    "normalizedTextSha256": "5ae5976678204f8cf261eb06ddfb0e0ae72a32c1511d9ca78d49d4432d52c215"
  },
  "normativeForce": "table",
  "obligationLevel": "required",
  "obligationSynopsis": "Implement every load, store, increment, and decrement variable opcode variant with its declared index width, conversion, and stack effect.",
  "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"
}