open-standards/wai/quantum-ops-conformance

quantum-ops-conformance — the quantum-ops records

The corpus of the quantum-ops extension: its six records (wai.quantum.calibration, .job, .mitigate, .decode, .compile, .rearrange), portable JSON signed with Ed25519 over a binary payload that binds a BLAKE3 Merkle root, in each energy form of §3.5 there: a figure (unlabelled, or labelled with its class), the unmetered form with its reason, and the legacy unmetered marker 0.

path	what
vectors/	receipts the reference made (wai_quantum_ops_vectors gen), one or more of every kind and every form
expected_hashes.json	each made receipt's kind, form, identity (receipt_hash), figure (null when unmetered), its unmetered reason (legacy for an unlabelled 0), the artifacts its hashes bind, and its links (parent, calibration_ref)
artifacts/	the bytes the receipts content-address
crafted/	receipts generate.py derives from vectors/, each one defect away from one of them, or one change §3.2 says decides nothing; crafted/manifest.json gives each the reasons §3.6 gives it (none when valid), written by hand from the text, and the stage the reference refuses it at (read or verify)
ops_verify.py	a second verifier, written from §3 alone and sharing no code with the engine
generate.py	writes crafted/; --check holds the committed files to what it writes

The crafted half covers each rule of §3.2 (a member named twice, a lone surrogate, a kind of another family, each member's form, a count past its field, an optional member of another type, each energy member's form) and of §3.6 (string_nul, merkle_root, ceiling, energy, bad_key, bad_signature), each alone where the defect is inside the seal, by sealing the changed receipt again with its kind's demo key; and the changes that decide nothing (an evidence summary, the written identity, a decode's written root, a member no text names, the members' order and spacing).

Provenance. Generated here from pinned demonstration signing keys and fixed content. No media.

cd ../wai-rs
cargo run --no-default-features --features quantum_ops --bin wai_quantum_ops_vectors -- gen ../quantum-ops-conformance
python3 -I ../quantum-ops-conformance/generate.py
cargo run --no-default-features --features quantum_ops --bin wai_quantum_ops_vectors -- verify ../quantum-ops-conformance
python3 -I ../quantum-ops-conformance/ops_verify.py ../quantum-ops-conformance

verify holds the reference to every receipt: each made one verifies with its pinned identity, form and figure, binds its artifacts and links, and is written as the reference writes it; each crafted one is valid or refused at its manifest's stage. ops_verify.py holds the second verifier to every receipt and to each crafted one's exact reasons. CI runs the first in the cargo-classes job of wai-conformance.yml and the second among the independent verifiers (.github/wai-conformance/verifiers/quantum-ops.sh).