# step: conformance results · wai-rs and conform_result_verify.py
# order: 170
# features: conform_result
# paths: wai/extensions/conformance-results.md
# independent: conform-result trust verdicts=conform-result-conformance/vectors.json python3 -I conform-result-conformance/conform_result_verify.py conform-result-conformance
#
# conform-result/1 (extensions/conformance-results.md): the reference module's unit tests
# (a signed record accepted and every member covered, the strict rule's small-order forgery
# refused, the date form, a vector for every reason) and tests/conform_result.rs (the
# committed corpus regenerates byte for byte, wai-rs gives every vector its stated outcome,
# every reason of §5 refuses a vector, §5 lists exactly the reference's codes, and no leaf
# of a record survives a change after signing); then wai_conform_result_vectors verify;
# and, with each check of §4 left out in turn (--skip), the corpus must fail
# the corpus's second implementation, conform_result_verify.py, written from the
# extension's text and sharing no code with wai-rs (WAI's strict Ed25519 rule from
# claim-conformance/_ed25519.py), which reads the extension's reason table and runs whole
# in the step of every independent verifier above. Standard library only,
# run isolated (-I).
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/conformance-results.md: tests/conform_result.rs requires this extension's §5 to
#   list the codes the reference reports, conform_result_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 conform_result::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test conform_result)
"$RUNNER_TEMP/wai-bins/union/wai_conform_result_vectors" verify conform-result-conformance
for c in duplicates format members signature summary verdict; do
  python3 -I conform-result-conformance/conform_result_verify.py --skip "$c" conform-result-conformance | tail -1
done