Implement value-return and empty-string-return instructions with exact caller stack and instruction-pointer restoration.

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

Data

{
  "family": "wmlscript",
  "parentRows": [
    "WMLS-C-069",
    "WMLS-C-105"
  ],
  "sourceAnchor": {
    "documentId": "WAP-193_101-WMLScript",
    "section": "10.5.11",
    "heading": "10.5.11 Function Return Instructions",
    "normalizedTextSha256": "b0cb050868bdb8f2d6d1fd8d62896167a365afe418ad1d2f663714d0c146af3b"
  },
  "normativeForce": "table",
  "obligationLevel": "required",
  "obligationSynopsis": "Implement value-return and empty-string-return instructions with exact caller stack and instruction-pointer restoration.",
  "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"
}