WML 1.3 DTD validation policy

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

Relationships

contains ← [[sprints/WML-2|WML-2]]
covers-family → [[source-families/associated-assets|associated-assets]]
covers-family → [[source-families/wbxml|wbxml]]
covers-family → [[source-families/wml|wml]]
owned-by → [[owner-layers/engine-wasm|engine-wasm]]
owned-by → [[owner-layers/qa|qa]]
owned-by → [[owner-layers/transport-rust|transport-rust]]
planned-by ← [[clauses/WBXML-CL-ATTRIBUTE-LITERAL-VALUE-PROHIBITION|WBXML-CL-ATTRIBUTE-LITERAL-VALUE-PROHIBITION]]
planned-by ← [[clauses/WBXML-CL-ATTRIBUTE-SEQUENCE|WBXML-CL-ATTRIBUTE-SEQUENCE]]
planned-by ← [[clauses/WBXML-CL-ATTRIBUTE-START-RANGE|WBXML-CL-ATTRIBUTE-START-RANGE]]
planned-by ← [[clauses/WBXML-CL-ATTRIBUTE-VALUE-RANGE|WBXML-CL-ATTRIBUTE-VALUE-RANGE]]
planned-by ← [[clauses/WBXML-CL-BINARY-LITERAL-EQUIVALENCE|WBXML-CL-BINARY-LITERAL-EQUIVALENCE]]
planned-by ← [[clauses/WBXML-CL-CHARSET-EXTERNAL-PRECEDENCE|WBXML-CL-CHARSET-EXTERNAL-PRECEDENCE]]
planned-by ← [[clauses/WBXML-CL-CHARSET-INTERNAL-DEFAULT|WBXML-CL-CHARSET-INTERNAL-DEFAULT]]
planned-by ← [[clauses/WBXML-CL-CHARSET-MIBENUM|WBXML-CL-CHARSET-MIBENUM]]
planned-by ← [[clauses/WBXML-CL-CHARSET-STRING-TERMINATION|WBXML-CL-CHARSET-STRING-TERMINATION]]
planned-by ← [[clauses/WBXML-CL-DEFAULT-ATTRIBUTES-OMITTED|WBXML-CL-DEFAULT-ATTRIBUTES-OMITTED]]
planned-by ← [[clauses/WBXML-CL-DEFAULT-ATTRIBUTES-RECONSTRUCTED|WBXML-CL-DEFAULT-ATTRIBUTES-RECONSTRUCTED]]
planned-by ← [[clauses/WBXML-CL-DOCUMENT-BODY-GRAMMAR|WBXML-CL-DOCUMENT-BODY-GRAMMAR]]
planned-by ← [[clauses/WBXML-CL-DOCUMENT-HEADER-ORDER|WBXML-CL-DOCUMENT-HEADER-ORDER]]
planned-by ← [[clauses/WBXML-CL-EMPTY-ATTRIBUTE-STRING|WBXML-CL-EMPTY-ATTRIBUTE-STRING]]
planned-by ← [[clauses/WBXML-CL-END-TOKEN|WBXML-CL-END-TOKEN]]
planned-by ← [[clauses/WBXML-CL-ENTITY-UCS4|WBXML-CL-ENTITY-UCS4]]
planned-by ← [[clauses/WBXML-CL-EXTENSION-SWITCH-CONTEXT|WBXML-CL-EXTENSION-SWITCH-CONTEXT]]
planned-by ← [[clauses/WBXML-CL-EXTENSION-TOKEN-FORMS|WBXML-CL-EXTENSION-TOKEN-FORMS]]
planned-by ← [[clauses/WBXML-CL-EXTERNAL-TOKEN-TYPING|WBXML-CL-EXTERNAL-TOKEN-TYPING]]
planned-by ← [[clauses/WBXML-CL-GLOBAL-TOKEN-INVARIANCE|WBXML-CL-GLOBAL-TOKEN-INVARIANCE]]
planned-by ← [[clauses/WBXML-CL-INLINE-STRING|WBXML-CL-INLINE-STRING]]
planned-by ← [[clauses/WBXML-CL-LITERAL-NAME-STATE|WBXML-CL-LITERAL-NAME-STATE]]
planned-by ← [[clauses/WBXML-CL-LITERAL-TAG-FLAGS|WBXML-CL-LITERAL-TAG-FLAGS]]
planned-by ← [[clauses/WBXML-CL-MIME-TOKEN-TYPING|WBXML-CL-MIME-TOKEN-TYPING]]
planned-by ← [[clauses/WBXML-CL-MULTIBYTE-CONTINUATION|WBXML-CL-MULTIBYTE-CONTINUATION]]
planned-by ← [[clauses/WBXML-CL-MULTIBYTE-GROUP-ORDER|WBXML-CL-MULTIBYTE-GROUP-ORDER]]
planned-by ← [[clauses/WBXML-CL-MULTIBYTE-UNUSED-ZERO|WBXML-CL-MULTIBYTE-UNUSED-ZERO]]
planned-by ← [[clauses/WBXML-CL-NETWORK-BYTE-ORDER|WBXML-CL-NETWORK-BYTE-ORDER]]
planned-by ← [[clauses/WBXML-CL-OPAQUE-LENGTH|WBXML-CL-OPAQUE-LENGTH]]
planned-by ← [[clauses/WBXML-CL-PARSER-STATE-PAGES|WBXML-CL-PARSER-STATE-PAGES]]
planned-by ← [[clauses/WBXML-CL-PARSER-SWITCH-PERSISTENCE|WBXML-CL-PARSER-SWITCH-PERSISTENCE]]
planned-by ← [[clauses/WBXML-CL-PROCESSING-INSTRUCTION|WBXML-CL-PROCESSING-INSTRUCTION]]
planned-by ← [[clauses/WBXML-CL-PUBLIC-ID-NUMERIC|WBXML-CL-PUBLIC-ID-NUMERIC]]
planned-by ← [[clauses/WBXML-CL-PUBLIC-ID-STRING-TABLE|WBXML-CL-PUBLIC-ID-STRING-TABLE]]
planned-by ← [[clauses/WBXML-CL-STRING-TABLE-LENGTH|WBXML-CL-STRING-TABLE-LENGTH]]
planned-by ← [[clauses/WBXML-CL-STRING-TABLE-OFFSETS|WBXML-CL-STRING-TABLE-OFFSETS]]
planned-by ← [[clauses/WBXML-CL-STRING-TABLE-REQUIRED|WBXML-CL-STRING-TABLE-REQUIRED]]
planned-by ← [[clauses/WBXML-CL-SWITCH-PAGE-TOKEN|WBXML-CL-SWITCH-PAGE-TOKEN]]
planned-by ← [[clauses/WBXML-CL-TABLE-STRING|WBXML-CL-TABLE-STRING]]
planned-by ← [[clauses/WBXML-CL-TAG-ATTRIBUTE-BIT|WBXML-CL-TAG-ATTRIBUTE-BIT]]
planned-by ← [[clauses/WBXML-CL-TAG-ATTRIBUTES-BEFORE-CONTENT|WBXML-CL-TAG-ATTRIBUTES-BEFORE-CONTENT]]
planned-by ← [[clauses/WBXML-CL-TAG-CONTENT-BIT|WBXML-CL-TAG-CONTENT-BIT]]
planned-by ← [[clauses/WBXML-CL-TAG-IDENTITY-BITS|WBXML-CL-TAG-IDENTITY-BITS]]
planned-by ← [[clauses/WBXML-CL-TOKEN-CODE-PAGES|WBXML-CL-TOKEN-CODE-PAGES]]
planned-by ← [[clauses/WBXML-CL-TOKEN-GLOBAL-APPLICATION-SPACES|WBXML-CL-TOKEN-GLOBAL-APPLICATION-SPACES]]
planned-by ← [[clauses/WBXML-CL-TOKEN-TAG-ATTRIBUTE-SPACES|WBXML-CL-TOKEN-TAG-ATTRIBUTE-SPACES]]
planned-by ← [[clauses/WBXML-CL-VERSION-BYTE|WBXML-CL-VERSION-BYTE]]
planned-by ← [[clauses/WML-CL-UNKNOWN-CONTENT-PRESERVED|WML-CL-UNKNOWN-CONTENT-PRESERVED]]
planned-by ← [[clauses/WML-CL-UNKNOWN-MARKUP-IGNORED|WML-CL-UNKNOWN-MARKUP-IGNORED]]
planned-by ← [[scr-rows/WBXML-C-001|WBXML-C-001]]
planned-by ← [[scr-rows/WBXML-C-010|WBXML-C-010]]
planned-by ← [[scr-rows/WBXML-C-011|WBXML-C-011]]
planned-by ← [[scr-rows/WML-C-17|WML-C-17]]
relates-to → [[legacy-tickets/R0-08|R0-08]]
relates-to → [[legacy-tickets/T0-07|T0-07]]

Data

{
  "status": "in-progress",
  "ownerLayers": [
    "engine-wasm",
    "transport-rust",
    "qa"
  ],
  "sourceFamilies": [
    "wml",
    "wbxml",
    "associated-assets"
  ],
  "notes": [
    "The schema-v2 TRN-706 WDP replay fixture now carries a canonical WBXML service data unit whose expected delivery payload is decoded at the fetch boundary and compared with the canonical text deck in the native engine.",
    "The executable WML-203 story proves the paired normalized text deck through the WASM engine boundary; the simulator does not decode WBXML.",
    "WML-203 remains in progress because mandatory prologue enforcement, full DTD content-model validation, and broader document-family evidence remain open."
  ],
  "existingTickets": [
    "R0-08",
    "T0-07"
  ],
  "outputs": [
    "WML 1.3 DTD validation policy",
    "Text/WBXML structural parity fixtures",
    "Direct conformance evidence for the three WBXML:MCF client rows"
  ],
  "acceptance": [
    "Text WML and WBXML-derived WML reach equivalent deck models; strict DTD identity and unknown-DTD behavior are explicit.",
    "WBXML-C-001, WBXML-C-010, and WBXML-C-011 are fixture-backed against a pinned decoder; fake fixed-output and either-result fixtures do not satisfy this gate."
  ],
  "evidence": [
    "cargo test --manifest-path engine-wasm/engine/Cargo.toml",
    "cargo test --manifest-path transport-rust/Cargo.toml",
    "cargo test --manifest-path transport-rust/Cargo.toml --test interop_replay wml_203_reconstructed_wdp_sdu_matches_text_engine_behavior",
    "pnpm test:story WML-203",
    "node scripts/check-wap-wbxml-conformance-ledger.mjs"
  ],
  "source": "docs/waves/wap-1.2.1-compliance-program.json"
}