This nested workspace tests the shipping craft-pdf/read graph separately from the parent workspace, whose facade dev-dependencies include an interpreter. Its sole normal dependency is craft-pdf with defaults disabled and read enabled. The local syntax patch is required to exercise the vendored decode-limit and incremental-Flate behavior. No interpreter, rasterizer, writer, or image codec dependency is declared here.

The same three assertions run natively and under wasm-bindgen-test: valid Flate page opening and complete incremental consumption; independent per-document ordinary stream limits including zero and a tighter per-call limit; and the caller input limit on borrowed/shared opening. The 17-byte synthetic compressed payload expands to 512 known bytes. The only target-specific dev dependency is the WASM test harness.

From the repository root:

cargo test --manifest-path crates/pdf/read-only-contract/Cargo.toml --locked
cargo test --manifest-path crates/pdf/read-only-contract/Cargo.toml --locked --target wasm32-unknown-unknown
cargo tree --manifest-path crates/pdf/read-only-contract/Cargo.toml --locked --edges normal,features

Use a matching wasm-bindgen-test-runner through CARGO_TARGET_WASM32_UNKNOWN_UNKNOWN_RUNNER for actual WASM runtime execution. The native normal dependency graph must contain only the craft-pdf/read path and its syntax/std dependencies; hayro-interpret, hayro, krilla, hayro-ccitt, hayro-jbig2, hayro-jpeg2000, zune-jpeg, and the syntax images/unsafe features must be absent. Keep the fixture's own lockfile for reproducibility.