# step: live events · wai-rs and live_events_verify.py # order: 100 # features: live_events # paths: wai/extensions/live-events.md # independent: live-events live python3 -I live-conformance/live_events_verify.py live-conformance/events # # wai.live.events (extensions/live-events.md): the reference module's unit tests and # tests/live_events.rs (the committed corpus regenerates byte for byte from its fixed # seeds, wai-rs gives every vector, policy case and binding case its stated outcome, # the corpus covers every kind and reason, and §9 lists exactly the reference's # codes); and, in the step of every independent verifier above, the corpus's second # implementation, live_events_verify.py, written # from the extension's text and sharing no code with wai-rs, which verifies the same # cases with WAI's strict Ed25519 (claim-conformance/_ed25519.py) and BLAKE3 # (claim-conformance/_blake3.py), standard library only, run isolated (-I). # # The paths this step brings to the workflow's trigger, and why: # wai/extensions/live-events.md: tests/live_events.rs requires this extension's §9 to list the # codes the reference reports, 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 live_events::) (cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test live_events)