# step: header probes · wai-rs, the fetched LCEVC streams and format_probe_verify.py
# order: 730
# features: format_probe
# paths: wai/extensions/format-probes.md
#
# Header probes (extensions/format-probes.md, projection.md): the reference module's unit
# tests (bits, Exp-Golomb, leb128 and emulation prevention, the codes, each probe's codec
# strings against its text's examples and its planted faults) and tests/format_probe.rs (the
# committed corpus regenerates byte for byte from its external vectors and holds no other
# generated file, every vector, binding and fact gets its stated outcome, the extensions'
# tables list exactly the reference's probes and codes, and a restated profile, level,
# version, bit rate or codec string of the AV2, AC-4, IAMF and IVAS vectors, or a header byte
# changed under a restated digest, fails the corpus); then the five LCEVC
# streams fetch.sh fetches and checks by SHA-256, each of which wai_format_probe and the
# second implementation require (a missing one is a failure); then
# format_probe_verify.py, written from the two texts and sharing no code with wai-rs,
# which probes every vector itself 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/format-probes.md: tests/format_probe.rs requires format-probes §2.4 and §12 to
#   list the reference's probes and codes, and projection.md §4 and §5 to state its codes;
#   format_probe_verify.py reads format-probes' tables; and the registry's wire identifiers test
#   reads projection.md, loc-carriage.md and delivery-telemetry.md (whose §6.6 cmsd_read_verify.py
#   reads).
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib format_probe::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test format_probe)
fetched=$(mktemp -d)
bash format-probe-conformance/fetch.sh "$fetched"
(cd wai-rs && "$RUNNER_TEMP/wai-bins/union/wai_format_probe" verify ../format-probe-conformance --fetched "$fetched")
python3 -I format-probe-conformance/format_probe_verify.py format-probe-conformance --fetched "$fetched"