# step: revenue share · wai-rs and revenue_share_verify.py
# order: 410
# features: revenue_share
# paths: wai/extensions/revenue-share.md
# independent: revenue-share live needs=cryptography python3 -I live-conformance/revenue_share_verify.py live-conformance/share
#
# wai.delivery.revenue_share (extensions/revenue-share.md): the reference module's unit tests
# (the largest-remainder division and its ties, the date-time a marker states, the contract's
# and the statement's reading and rules, contracts that overlap) and the channel receipt's
# JSON carriage; tests/revenue_share.rs (vectors.json regenerates byte for byte from its fixed
# seeds and the ledger corpus, and no other file is there; wai-rs gives every vector its
# stated outcome; every reason of §11 and every reused code refuses a vector; §11 lists exactly
# the reference's codes; the worked example, three statements of one month computed and then
# recomputed from the public records alone; the four operations from the command line); and, in
# the step of every independent verifier above,
# the corpus's second implementation, revenue_share_verify.py, written from the extension's
# text and sharing no code with wai-rs, which verifies each ledger document with
# receipt_ledger_verify.py, reads every contract, run, marker and statement itself,
# recomputes every attribution, line, division and citation, 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; standard library only, run isolated (-I).
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/revenue-share.md: tests/revenue_share.rs requires this extension's §11 to list
#   the codes the reference reports, revenue_share_verify.py reads that table, and the registry's
#   wire identifiers test reads its sections. Its corpus is generated from the ledger corpus,
#   under the paths above.
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib revenue_share::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib wai_video_channel::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test revenue_share)