# 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)