# step: live worlds · wai-rs and live_worlds_verify.py
# order: 640
# features: live_world
# paths: wai/extensions/live-worlds.md
# independent: live-worlds live python3 -I live-conformance/live_worlds_verify.py live-conformance/worlds
#
# wai.live.world (extensions/live-worlds.md): the reference module's unit tests (the
# statement and its rules, the grant attribute) and tests/live_world.rs (vectors.json
# regenerates byte for byte from its fixed seeds and no other file is there, wai-rs gives
# every world its stated outcome, and §11 lists exactly the reference's codes, each of which
# a verifier raises the corpus gives); and, in the step of every independent verifier above,
# the corpus's second implementation,
# live_worlds_verify.py, written from the extension's text and the sections it cites and
# sharing no code with wai-rs: the statement, each grant's signature and attributes, each
# receipt in its binary form under the owner's chain, each op's signature, owner, kind,
# Lamport rule and equivocation, and the session hash. Standard library only, run isolated.
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/live-worlds.md: tests/live_world.rs requires this extension's §11 to list the
#   codes the reference reports.
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --lib live_world::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test live_world)