# step: audio watermark · wai-rs and audio_mark_verify.py
# order: 305
# features: robustness
# release-features: robustness
# paths: wai/extensions/synthesis.md wai/extensions/robustness-evidence.md
# independent: audio-mark live python3 -I live-conformance/audio_mark_verify.py live-conformance/audio-mark
#
# The registered audio scheme wai-mark:band64 (extensions/synthesis.md §7.10): the
# reference's unit tests (the cosine tables have the digest the definition pins, the integer
# logarithm, the layout and its mask, an embedding read back, after a trim found again, silence
# carrying none), then tests/audio_mark.rs in release, since regenerating the corpus embeds and
# attacks every signal of the measurement sets (every generated file of
# live-conformance/audio-mark/ regenerates byte for byte and no other file but the measured
# records is there; every embedding, detection, case and robustness record gets what it states;
# §7.10.1's definition, §7.10.3's shuffle and §7.10.6's bound are the reference's; §7.10.7's
# tables are the measurements' and it claims only attacks every measurement shows survived);
# and, in the step of every independent verifier above, the second implementation,
# audio_mark_verify.py with _wai_audio_mark.py, written from the extensions' text and sharing no
# code with wai-rs, which embeds, detects and decodes itself, applies the pinned transforms of
# sound, verifies every case with synthesis_verify.py and every record with
# robustness_verify.py, the conformance record's harness rerun end to end, mutates copies of the
# corpus and weakens its own verifier in turn; standard library only, run isolated (-I).
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/synthesis.md: tests/audio_mark.rs and audio_mark_verify.py read the scheme's
#   definition, shuffle, bound, tables and claims (§7.10).
# wai/extensions/robustness-evidence.md: robustness_verify.py, which audio_mark_verify.py runs on the
#   scheme's records, reads its transforms (§4.1, §4.2).
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib -- synthesis::mark::audio)
(cd wai-rs && cargo test --release --no-default-features --features "$WAI_RELEASE_FEATURES" --test audio_mark)