A verifier step of its own (.github/wai-conformance/verifiers/module-check.sh)
rebuilds the planted corpus and checks it is what build.py writes, runs the Rust
checker's tests and both checkers on the corpus and on the validation limits'
corpus, which it generates, then runs the differential on the committed seed.
The step's paths name the crate's directory, which is under none of the
workflow's trigger paths, so the trigger gains that one line.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
