# step: rung price · wai-rs and rung_price_verify.py
# order: 555
# features: rung_price
# paths: wai/extensions/rung-price.md
# independent: rung-price live python3 -I live-conformance/rung_price_verify.py live-conformance/prices
#
# wai.delivery.rung_price (extensions/rung-price.md): the reference module's unit tests (a
# list read back with a digest that ignores its signature, every rule refusing, the bounds no
# vector carries, a seller's latest list standing alone and a lapsed one reviving none, a
# shared transmission's whole cost per receiver unless an audience is stated, each limit,
# energy ranked by checked evidence first (a label whose records are not given, not current
# or not confirmed ranking as an estimate, one its own records refute as unknown), a hardware
# figure compared one declared uncertainty above itself, the break-even audience, the pass
# rate and its tier, and the corpus reaching every stated outcome and failing a changed one)
# with those of the region code its §2 defines (the grammar, a footprint holding a code or
# its country's and never upward, and the exact CDNI case mapping), and tests/rung_price.rs
# (vectors.json regenerates byte for byte from its fixed seeds, wai-rs gives every case its
# stated outcome, §8 lists exactly the reference's codes and §6.2 its limits, in order); and,
# in the step of every independent verifier above, the corpus's second implementation, rung_price_verify.py, written from the extension's text
# and sharing no code with wai-rs, which reads documents with route_record_verify.py, per-hop
# records with live_metering_verify.py, room descriptors with fleet_verify.py and signatures
# with the shared _ed25519.py, writes the region code, the list's rules, the evidence, the
# verdict and the comparison itself, reads §8 and §6.2, requires every mutated copy of the
# corpus to fail and drops each of its own checks in turn; run isolated (-I).
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/rung-price.md: tests/rung_price.rs requires §8 to list the reference's codes and
#   §6.2 its limits, rung_price_verify.py reads both, and the registry's wire identifiers test
#   reads §4.1 and §6.1.
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib -- rung_price:: region::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test rung_price)