# step: takedown · wai-rs and takedown_verify.py
# order: 480
# features: takedown
# paths: wai/extensions/takedown.md
# independent: takedown live needs=cryptography python3 -I live-conformance/takedown_verify.py live-conformance/takedown
#
# wai.media.takedown (extensions/takedown.md): the reference module's unit tests (times,
# clock identifiers, the published registry, the order of subjects, the lower median) and
# tests/takedown.rs (the committed corpus regenerates byte for byte from its fixed seeds
# and no other file is there, wai-rs gives every case its stated outcome and facts and
# every counts entry its rows, §11 lists exactly the reference's codes, each of which the
# corpus gives, and the registry the module carries is registry/takedown-clocks.json);
# and, in the step of every independent verifier above, the corpus's second
# implementation, takedown_verify.py, written from the
# extension's text and sharing no code with wai-rs, which computes every closure, holder,
# purge time, clock verdict and counts row itself, reads derivation records and delivery
# receipts with edge_verify.py, origin claims with synthesis_verify.py, acknowledgements
# with settlement_verify.py, cache-transmission claims through jwp-receipts §3.1 steps 1-4
# with claim_verify.py, and every record with WAI's strict Ed25519 rule and BLAKE3 from
# claim-conformance, requires every mutated copy of the corpus to fail, and drops
# each of its own checks in turn and requires the corpus to catch the weakened verifier;
# run isolated (-I). The reference relay's DVR store honours takedowns (§10.1), tested by
# joule-moq-relay's tests/dvr.rs in joule-code-conformance.yml.
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/takedown.md: tests/takedown.rs requires this extension's §11 to list the codes
#   the reference reports, takedown_verify.py reads that table, and the registry's wire
#   identifiers test reads its sections. The registry of clocks it reads is under wai/registry/
#   above.
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib takedown::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test takedown)