# step: signal health · wai-rs and signal_health_verify.py
# order: 553
# features: signal_health
# paths: wai/extensions/signal-health.md
# independent: signal-health live python3 -I live-conformance/signal_health_verify.py live-conformance/signal-health
#
# wai.live.signal_health (extensions/signal-health.md): the reference module's unit tests (black
# and freeze runs, silence over every channel, a record read back and its verdict refused when
# it does not follow, sync acquired after five good bytes, the corpus reaching every stated
# outcome and failing a changed outcome and a changed threshold, and WSH1 registered once) and
# tests/signal_health.rs (vectors.json regenerates byte for byte from its fixed seeds, wai-rs
# gives every case its stated outcome, and §8 lists exactly the reference's codes); and, in the
# step of every independent verifier above, the corpus's second implementation,
# signal_health_verify.py, written from the extension's text and sharing no code with wai-rs,
# which checks signatures with the shared _ed25519.py, reads every record, recomputes black,
# freeze, silence, the instants' gaps and the transport-stream indicators from the media,
# runs the input switch, reads §8, requires every mutated copy of the corpus to fail and drops
# each of its own checks in turn; standard library only, run isolated (-I).
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/signal-health.md: tests/signal_health.rs requires §8 to list the reference's
#   codes, and signal_health_verify.py reads it.
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib -- signal_health::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test signal_health)