417847daab
The change of wai/conform-output, on current main, without its wai doctor: main's doctor, its tests, its catalogue entry, its MCP tool and its changelog entry stand as they are, and this change's copies of them are gone, with the lines dev.rs held for them. wai/README.md, which had no line for main's doctor, gains one in its first commands and `toolchain_doctor` in the core tools. - wai conform --format text|json|junit|html, reports made from the signed records. - --independent beside a kind holds the corpus's independent verifier to the same cases; alone, it runs every corpus's verifier, a record each, from one table. - wai-rs/build.rs reads that table from the `# independent:` lines of the step files (.github/wai-conformance/verifiers/), which take the verifiers' command lines out of the steps' bodies. scripts/wai-conformance-lists.py reads and checks the same lines. - wai-conformance.yml runs the union as wai conform --independent --format junit. - wai mcp's conformance tools read the table. - wai-release.yml runs the quickstart from each archive as a new user runs it (clean-machine.sh, its PowerShell twin clean-machine.ps1), held by check-wai-release-quickstart.py. clean-machine.ps1 keeps clean-machine.sh's contents step and its check of WAI Studio. Each leg keeps main's archive_doctor.py check; the step's own wai hello, verify and dev --check are clean-machine.sh's now. - check-wai-ops-doors.py reads VERBS and NEAR_SYNONYMS from catalogue.rs and keeps no list, and the verb-list test reads what that check reads. - The catalogue's export and Studio's actions hold the new operations. Co-Authored-By: Claude Opus 5.5 <[email protected]>
14 lines
906 B
Shell
14 lines
906 B
Shell
# step: quantum referee.py
|
|
# order: 700
|
|
# independent: quantum media python3 -I quantum-conformance/tools/referee.py quantum-conformance
|
|
#
|
|
# The quantum corpus's second implementation (quantum-sim extension), integers only:
|
|
# it derives the circuit/1 phase table by its recurrence and the circuit2 table by an
|
|
# interval-certified procedure, and requires both literal tables and their digests,
|
|
# and the extension's Appendix B to state the same;
|
|
# rebuilds every file of both vector trees byte for byte and recomputes every manifest
|
|
# entry with its own reader, simulator, sampler and BLAKE3; refuses every reject file
|
|
# with its listed class and by the rule its name states; and requires dyadic_ladder
|
|
# to see every ±1 change of every P(k) under both tables. Standard library only, run
|
|
# isolated (-I), so no module from the working directory, the environment or the
|
|
# user's site-packages is imported.
|