417847daab
The change of wai/conform-output, on current main, without its wai doctor: main's doctor, its tests, its catalogue entry, its MCP tool and its changelog entry stand as they are, and this change's copies of them are gone, with the lines dev.rs held for them. wai/README.md, which had no line for main's doctor, gains one in its first commands and `toolchain_doctor` in the core tools. - wai conform --format text|json|junit|html, reports made from the signed records. - --independent beside a kind holds the corpus's independent verifier to the same cases; alone, it runs every corpus's verifier, a record each, from one table. - wai-rs/build.rs reads that table from the `# independent:` lines of the step files (.github/wai-conformance/verifiers/), which take the verifiers' command lines out of the steps' bodies. scripts/wai-conformance-lists.py reads and checks the same lines. - wai-conformance.yml runs the union as wai conform --independent --format junit. - wai mcp's conformance tools read the table. - wai-release.yml runs the quickstart from each archive as a new user runs it (clean-machine.sh, its PowerShell twin clean-machine.ps1), held by check-wai-release-quickstart.py. clean-machine.ps1 keeps clean-machine.sh's contents step and its check of WAI Studio. Each leg keeps main's archive_doctor.py check; the step's own wai hello, verify and dev --check are clean-machine.sh's now. - check-wai-ops-doors.py reads VERBS and NEAR_SYNONYMS from catalogue.rs and keeps no list, and the verb-list test reads what that check reads. - The catalogue's export and Studio's actions hold the new operations. Co-Authored-By: Claude Opus 5.5 <[email protected]>
35 lines
2.5 KiB
Shell
35 lines
2.5 KiB
Shell
# step: browser sink · wai-rs, wai-live-web and browser_sink_verify.py
|
|
# order: 470
|
|
# features: browser_sink browser_sink,receipt_claims
|
|
# paths: wai/extensions/browser-sink.md
|
|
# independent: browser-sink live python3 -I live-conformance/browser_sink_verify.py live-conformance/browser
|
|
#
|
|
# The browser sink (extensions/browser-sink.md): the reference module's unit tests (the
|
|
# registry gate's rows, registered tiers, integers as §5 reads them, a binding's
|
|
# canonical form, an answer for an unregistered codec string never read, powerEfficient
|
|
# never stated off the user agent's route, the side table's ambiguity) and
|
|
# tests/browser_sink.rs (both files of the committed corpus regenerate byte for byte and
|
|
# no other file is there, wai-rs gives every case its stated outcome, every reason of
|
|
# §11 appears in the corpus and §11 lists exactly the reference's codes, and the chain
|
|
# the generator signs by hand verifies under jwp_delivery); wai-live-web's browser
|
|
# functions held to the same corpus natively, and its wasm-route decoder verifying,
|
|
# decoding and binding every chain object to the published frame digests; and, in the
|
|
# step of every independent verifier above, the
|
|
# corpus's second implementation, browser_sink_verify.py, written from the extension's
|
|
# text and sharing no code with wai-rs, which reads the registry export for each
|
|
# capability's class, recomputes every route, evaluation, energy entry, binding, chain
|
|
# signature, frame state and side table, changes the answers for unregistered codec
|
|
# strings every way and requires the corpus still to pass, and requires every mutated
|
|
# copy of the corpus to fail; standard library only, run isolated (-I). The browser's
|
|
# own run of it is joule-moq-web.yml's scenario binding.
|
|
#
|
|
# The paths this step brings to the workflow's trigger, and why:
|
|
# wai/extensions/browser-sink.md: tests/browser_sink.rs requires this extension's §11 to list the
|
|
# codes the reference reports, browser_sink_verify.py reads its §2, §4.1, §4.2 and §11 tables
|
|
# and capability-constraints' §3.1 register, and the registry's wire identifiers test reads its
|
|
# sections.
|
|
set -euo pipefail
|
|
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib browser_sink::)
|
|
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test browser_sink)
|
|
(cd wai-rs && "$RUNNER_TEMP/wai-bins/union/wai_browser_sink_vectors" verify ../live-conformance/browser)
|
|
(cd wai-live-web && cargo test --locked --features int_video --lib browser_tests)
|