Reject unknown, truncated, reserved, or structurally invalid instruction encodings before execution.

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

Relationships

• maps-to → [[requirements/RQ-WMLS-008|RQ-WMLS-008]]
• maps-to → [[requirements/RQ-WMLS-009|RQ-WMLS-009]]
• planned-by → [[work-items/WMLS-501|WMLS-501]]
• planned-by → [[work-items/WMLS-502|WMLS-502]]
• planned-by → [[work-items/WMLS-503|WMLS-503]]
• refines → [[scr-rows/WMLS-C-095|WMLS-C-095]]
• refines → [[scr-rows/WMLS-C-096|WMLS-C-096]]
• refines → [[scr-rows/WMLS-C-097|WMLS-C-097]]
• refines → [[scr-rows/WMLS-C-098|WMLS-C-098]]
• refines → [[scr-rows/WMLS-C-099|WMLS-C-099]]
• refines → [[scr-rows/WMLS-C-100|WMLS-C-100]]
• refines → [[scr-rows/WMLS-C-101|WMLS-C-101]]
• refines → [[scr-rows/WMLS-C-102|WMLS-C-102]]
• refines → [[scr-rows/WMLS-C-103|WMLS-C-103]]
• refines → [[scr-rows/WMLS-C-104|WMLS-C-104]]
• refines → [[scr-rows/WMLS-C-105|WMLS-C-105]]
• refines → [[scr-rows/WMLS-C-106|WMLS-C-106]]
• refines → [[scr-rows/WMLS-C-107|WMLS-C-107]]
• sourced-from → [[source-documents/WAP-193_101-WMLScript|WAP-193_101-WMLScript]]
• verified-by → [[fixtures/WMLSCRIPT-FX-INTEGRITY-INSTRUCTION-STREAM|WMLSCRIPT-FX-INTEGRITY-INSTRUCTION-STREAM]]

Data

{
  "family": "wmlscript",
  "parentRows": [
    "WMLS-C-095",
    "WMLS-C-096",
    "WMLS-C-097",
    "WMLS-C-098",
    "WMLS-C-099",
    "WMLS-C-100",
    "WMLS-C-101",
    "WMLS-C-102",
    "WMLS-C-103",
    "WMLS-C-104",
    "WMLS-C-105",
    "WMLS-C-106",
    "WMLS-C-107"
  ],
  "sourceAnchor": {
    "documentId": "WAP-193_101-WMLScript",
    "section": "11.1",
    "heading": "11.1 Integrity Check",
    "normalizedTextSha256": "04be2a2212f6162331b899c1bb035faec5f68ddd7f12c7f45f722eb70cc529e9"
  },
  "normativeForce": "explicit-must",
  "obligationLevel": "required",
  "obligationSynopsis": "Reject unknown, truncated, reserved, or structurally invalid instruction encodings before execution.",
  "workItems": [
    "W1-02",
    "W1-03",
    "W1-04",
    "W1-05",
    "WMLS-501",
    "WMLS-502",
    "WMLS-503"
  ],
  "ownerLayers": [
    "engine-wasm"
  ],
  "requirementIds": [
    "RQ-WMLS-008",
    "RQ-WMLS-009"
  ],
  "implementationStatus": "not-assessed",
  "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"
}