WAP LabsProject atlas

Work item · WML parser, deck model, and validation baseline

WML-203

Text WML and WBXML-derived WML reach equivalent deck models; strict DTD identity and unknown-DTD behavior are explicit.

Done

Acceptance

Definition of done

  • Text WML and WBXML-derived WML reach equivalent deck models; strict DTD identity and unknown-DTD behavior are explicit.
  • Textual WML requires an XML declaration and external document type declaration; normalized WBXML uses equivalent header metadata supplied by the transport boundary.
  • Every selected WML 1.3 DTD element and attribute family has deterministic native and WASM validation evidence.
  • 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.

Outputs

Artifacts to create or change

  • WML 1.3 DTD validation policy
  • Text/WBXML structural parity fixtures
  • Direct conformance evidence for the three WBXML:MCF client rows

Evidence

How closure is proven

  • cargo test --manifest-path engine-wasm/engine/Cargo.toml
  • wasm-pack test --node engine-wasm/engine
  • 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
  • node scripts/check-wap-selected-normative-clauses.mjs
  • pnpm wap-graph:check