# step: route record · wai-rs and route_record_verify.py
# order: 450
# features: route_record
# paths: wai/extensions/route-record.md
# independent: route-record live needs=cryptography python3 -I live-conformance/route_record_verify.py live-conformance/routes
#
# wai.route.record (extensions/route-record.md): the reference module's unit tests (a
# document read strictly and held to the subset, §2's encodings, an estimate past the subset
# unknown, a null ranked last, the expected figures per successful job and when they are
# unknown, the outputs' commitment, §8 listing exactly the reference's codes) and
# tests/route_record.rs (vectors.json regenerates byte for byte from its seeds and no other
# file is there; wai-rs gives every vector its stated outcome; every reason of §8 and every
# reused code refuses a vector; the accepted vectors are §10's, of version 1 and of version 2,
# every limit removing a candidate; a record is bound to each of its documents; `wai route
# verify` prints the outcome and exits by it); and, in the step of every independent verifier
# above, the corpus's second implementation,
# route_record_verify.py, written from the extension's text and sharing no code with wai-rs,
# which checks the router's signature with WAI's strict Ed25519 rule and the hop receipts
# with the OER/2 reference verifier (the `cryptography` package, installed above), computes
# the outputs' commitment with claim-conformance/_blake3.py, recomputes every candidate,
# removal, expected figure, rank, order, decision and attempt, 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 paths this step brings to the workflow's trigger, and why:
# wai/extensions/route-record.md: tests/route_record.rs and the module's tests require this
#   extension's §8 to list the codes the reference reports, route_record_verify.py reads that
#   table, 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 route_record::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test route_record)