# step: quantum job receipts · receipt_verify.py
# order: 701
# paths: wai/extensions/quantum-providers.md wai/extensions/quantum-wasmq.md wai/extensions/quantum-landscape.md wai/extensions/quantum-landscape-2.md
# working-directory: .
# independent: quantum-receipts media python3 -I quantum-conformance/tools/receipt_differential.py --second-only --corpus quantum-conformance/receipts
#
# Job receipts (wai.quantum.provider/1 section 8, wai/quantum-conformance/receipts/): the
# corpus's crafted half is what generate.py writes; receipt_verify.py, written in Python from
# section 8 alone and sharing no code with the engine (its BLAKE3, Ed25519, RFC 8785 text and
# strict reader its own, standard library only), passes its self-test against published
# answers and the number texts a JavaScript engine wrote, and, in the step of every independent
# verifier above, gives every receipt of the corpus exactly the reasons the manifest gives; and
# here each of its planted defects makes that fail. The reference's half of the differential,
# `wai-quantum verify` on every receipt and on every one-member change of each valid one, runs
# in wai-quantum-cli.yml beside the build of the binary. Run isolated (-I).
python3 -I wai/quantum-conformance/receipts/generate.py --check
python3 -I wai/quantum-conformance/receipts/generate.py --self-test
python3 -I wai/quantum-conformance/tools/receipt_verify.py --self-test wai/wai-quantum/src/engine/testdata/es-number-tostring.txt
for plant in lenient-key no-alg last-duplicate no-inexact measured-simulator whole-cap lax-small-order-r no-canonical-spelling set-seal-only names-layout-only route-unchecked choice-unchecked distance-unchecked wasmq-unchecked landscape-unchecked landscape2-unchecked time-outside-digest window-end-inside untimed-anywhere; do
  python3 -I wai/quantum-conformance/tools/receipt_differential.py --second-only --plant "$plant" | tail -1
done