History

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

Relationships

• belongs-to → [[source-families/wml|wml]]
• planned-by → [[work-items/WML-201|WML-201]]
• refines ← [[clauses/WML-CL-GO-HISTORY-PUSH|WML-CL-GO-HISTORY-PUSH]]
• refines ← [[clauses/WML-CL-HISTORY-DUPLICATE-PUSH|WML-CL-HISTORY-DUPLICATE-PUSH]]
• refines ← [[clauses/WML-CL-HISTORY-ENTRY-FIELDS|WML-CL-HISTORY-ENTRY-FIELDS]]
• refines ← [[clauses/WML-CL-HISTORY-EXCLUDES-CONTENT|WML-CL-HISTORY-EXCLUDES-CONTENT]]
• refines ← [[clauses/WML-CL-HISTORY-POST-REPLAY|WML-CL-HISTORY-POST-REPLAY]]
• refines ← [[clauses/WML-CL-HISTORY-PREV-POP|WML-CL-HISTORY-PREV-POP]]
• refines ← [[clauses/WML-CL-HISTORY-RESOLVES-VARIABLES|WML-CL-HISTORY-RESOLVES-VARIABLES]]
• refines ← [[clauses/WML-CL-HISTORY-STACK-MODEL|WML-CL-HISTORY-STACK-MODEL]]
• sourced-from → [[source-documents/WAP-191_104-WML|WAP-191_104-WML]]

Data

{
  "family": "wml",
  "ordinal": 7,
  "actor": "wml-user-agent",
  "referencedSection": "9.2",
  "specificationStatus": "mandatory",
  "dependencyExpression": {
    "type": "none",
    "scrIds": []
  },
  "sourceAnchor": {
    "documentId": "WAP-191_104-WML",
    "staticConformanceSection": "15.1.2",
    "changeSection": null
  },
  "disposition": {
    "strict": "required-for-claimed-actor",
    "classCProfile": "required-by-class-c-client-mcf",
    "enhancementMayReplaceStrictBehavior": false
  },
  "reviewState": "source-extracted-class-c-applied-mapping-provisional",
  "implementationStatus": "partial",
  "evidenceState": "direct-test-linked",
  "assessmentNote": "Card history push/pop and deterministic empty-history behavior exist; full WML request identity and context semantics remain broader than the engine stack.",
  "implementationEvidence": [
    {
      "path": "engine-wasm/engine/src/engine_runtime_internal/navigation.rs",
      "symbol": "navigate_back_internal"
    }
  ],
  "testEvidence": [
    {
      "path": "engine-wasm/engine/src/engine_tests/actions_timers.rs",
      "test": "navigate_back_restores_previous_card",
      "command": "cd engine-wasm/engine && cargo test navigate_back_restores_previous_card"
    }
  ],
  "ownerLayers": [
    "engine-wasm",
    "browser"
  ],
  "requirementIds": [
    "RQ-RMK-003",
    "RQ-WAE-016"
  ],
  "matrixWorkItems": [
    "WML-201"
  ],
  "workItems": [
    "R0-01",
    "R0-03",
    "WML-201"
  ],
  "source": "spec-processing/source-manifests/wap-1.2.1-wml-scr.json"
}