# step: exploration · wai-rs and exploration_verify.py # order: 560 # features: exploration # paths: wai/extensions/exploration.md # independent: exploration live python3 -I live-conformance/exploration_verify.py live-conformance/exploration # # wai.media.exploration (extensions/exploration.md): the reference module's unit tests (the # descriptors of flat, single-row and checkerboard pictures, grid bins at both ends, the # sample distance's zero, the taste score, derived prompts, and a schedule that replays and # keeps the first comer without an objective) and tests/exploration.rs (vectors.json # regenerates byte for byte from its fixed seeds and no other file is there, wai-rs gives # every generation, descriptor vector and case its stated outcome, §13 lists exactly the # reference's codes, each of which the corpus gives, and §3.2 names the reference's # descriptors); and, in the step of every independent verifier above, the corpus's second # implementation, exploration_verify.py, written from # the extension's text and sharing no code with wai-rs, which makes every picture with the # generator as the extension's Appendix A restates it, computes the descriptors, replays # every archive's schedule, reads usage statements with ai_usage_verify.py, verifies every # record with WAI's strict Ed25519 rule and BLAKE3 from claim-conformance, reads the # extension's reason table, 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/exploration.md: tests/exploration.rs requires this extension's §13 to list the # codes the reference reports and its §3.2 table to name the reference's descriptors, # exploration_verify.py reads §13, 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 exploration::) (cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test exploration)