# step: stream termination · wai-rs, wai-live-web and stream_termination_verify.py
# order: 630
# features: stream_termination
# paths: wai/extensions/stream-termination.md
# independent: stream-termination live python3 -I live-conformance/stream_termination_verify.py live-conformance/termination
#
# wai.live.termination (extensions/stream-termination.md) and the display match of
# capability-constraints §4: the reference module's unit tests (sides without orientation,
# each exceedance alone, the least rendition alone where none is within, a writer that
# refuses after its termination) and tests/stream_termination.rs (the committed corpus
# regenerates byte for byte from its fixed seeds, wai-rs gives every match and log its
# stated outcome and facts, every reason refuses a log, §7 lists exactly the reference's
# codes and capability-constraints §4.2 its match bits); wai-live-web's functions for a
# page held to the same corpus natively, a page's log written through them verified; and,
# in the step of every independent verifier above,
# the corpus's second implementation, stream_termination_verify.py, written from the two
# extensions' text and sharing no code with wai-rs, which recomputes every match and every
# log's outcome and facts and requires every mutated copy of the corpus to fail; standard
# library only, run isolated (-I). The browser's own run is joule-moq-web.yml's scenario
# termination.
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/stream-termination.md: tests/stream_termination.rs requires this extension's §7
#   to list the codes the reference reports and capability-constraints §4.2 to name the match's
#   bits, stream_termination_verify.py reads both, 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 stream_termination::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test stream_termination)
(cd wai-rs && "$RUNNER_TEMP/wai-bins/union/wai_stream_termination_vectors" verify ../live-conformance/termination)
(cd wai-live-web && cargo test --locked --features int_video --lib termination_tests)