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]>
31 lines
2.1 KiB
Shell
31 lines
2.1 KiB
Shell
# step: exact upscale · wai-rs and upscale_verify.py
|
|
# order: 310
|
|
# features: exact_upscale neural_int
|
|
# paths: wai/extensions/exact-upscale.md
|
|
# independent: upscale live python3 -I live-conformance/upscale_verify.py live-conformance/upscale
|
|
#
|
|
# wai.media.upscale (extensions/exact-upscale.md): the integer super-resolution
|
|
# derivations' unit tests (the wai-ops/1 graph against the arithmetic of §3.2 written out
|
|
# loop by loop, on random priors and pictures; a prior with no detail is the pinned
|
|
# upscale; sr4 is sr2 twice; a prior that breaks §3.1 refused in its order; a picture past
|
|
# the caps refused), the module's unit tests (the pixel counts of §6.3, a residual within
|
|
# half its step), and tests/exact_upscale.rs (the committed corpus regenerates byte for
|
|
# byte from its fixed seeds and its two pinned trained priors, and no other file is there;
|
|
# wai-rs gives every case its stated outcome and statements; §8 lists exactly the
|
|
# reference's codes, each of which the corpus gives; sha256.json names every accepted
|
|
# output); and, in the step of every independent verifier above, the corpus's second
|
|
# implementation, upscale_verify.py, written from the
|
|
# extension's text and sharing no code with wai-rs, which runs the derivations with
|
|
# _int_sr.py, verifies the claims with synthesis_verify.py and the residuals with
|
|
# staged_verify.py, and requires every mutated copy of the corpus to fail; standard
|
|
# library only, run isolated (-I).
|
|
#
|
|
# The paths this step brings to the workflow's trigger, and why:
|
|
# wai/extensions/exact-upscale.md: tests/exact_upscale.rs requires this extension's §8 to list the
|
|
# codes the reference reports, upscale_verify.py reads that table, 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 int_sr::)
|
|
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib exact_upscale::)
|
|
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test exact_upscale)
|
|
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test cli_derive)
|