# step: direction records · wai-rs and direction_verify.py
# order: 500
# features: direction
# paths: wai/extensions/direction.md
# independent: direction live python3 -I live-conformance/direction_verify.py live-conformance/direction
#
# wai.media.direction (extensions/direction.md): the reference module's unit tests (the
# interpolations reach both keys and stay between them, the framing measure at its bounds,
# a signed integer's one spelling, the timeline's starts and overlaps, a frame set's one
# encoding) and tests/direction.rs (the committed corpus regenerates byte for byte from its
# fixed seeds and no other file is there, wai-rs gives every case its stated outcome and
# statements, §13 lists exactly the reference's codes, each of which the corpus gives, and
# the corpus generates with the model file of wai.generate.spectral's conformance vector);
# and, in the step of every independent verifier above, the corpus's second implementation,
# direction_verify.py, written from the
# extension's text and sharing no code with wai-rs, which runs the generator in its own
# arithmetic after checking it against the generator's conformance vector, renders every
# frame, interpolates every track, measures every box and writes every statement and C2PA
# statement itself, reads records with synthesis_verify.py's strict JSON reader and every
# signature with WAI's strict Ed25519 rule and BLAKE3 from claim-conformance, 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; standard library only, run isolated (-I).
#
# The paths this step brings to the workflow's trigger, and why:
# wai/extensions/direction.md: tests/direction.rs requires this extension's §13 to list the codes
#   the reference reports, direction_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 direction::)
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test direction)