Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 5475caab2d wai-quantum: a provider's result says how many shots its counts are of, and the second receipt verifier reads wasmQ/2 ... accepted_shots (quantum-providers §5.5, §8.1, §8.3, §8.4). A device may keep another number of shots than asked (a post-selected or heralded readout discards the shots that fail its test; some devices run more), and every host refused such counts, so no receipt could record such a run before the first hardware receipt. - engine::provider: a stated result whose counts are of another number than its shots carries `accepted_shots`, their sum (at least 1); the counts rule holds counts and omitted_shots to it when present, to `shots` when not; the distance to the exact distribution is over the shots kept. A result without it is of every shot asked, as every result before was (hosts refused other sums), so no receipt sealed before changes. The earlier form still takes only every shot. job-result.v1.json names the member. - wai-quantum-qpu: run_compiled_stated takes counts of any sum of at least 1 (run_compiled still holds them to the shots); the open protocol's client reads `accepted_shots` from a `result` answer and refuses counts that sum to neither it nor the shots. - §8.3 says a device that reads an ensemble gives no counts. counts_source, execution and approximate were checked against a live run's cases: shot records, vendor counts and rebuilt probabilities; settings sent or not; a simulator's approximation; and now the shots kept. A provider's own conformance vectors (provider-v1.json) still expect every shot. - Receipts corpus: scripted-sampler-v2-post-selected (a sampler-v2 device that answered 387 of 400 shots, wai-quantum-qpu/tests/clients.rs) and crafted receipts at the rule's edges (kept fewer and more, counts not its sum, of every shot beside one fewer, null). The second verifier reads wasmQ/2 (quantum-wasmq §11.6). receipt_verify.py read a job whose result's format is wai.quantum.wasmq.result/2 as no wasmQ job at all; it now holds it to rules 4, 8, 11, 12 and 30 as that version reads them, and to rule 36, its energy, written from §11 (one reading, SPEC-GAP [W23], noted: rule 11's accuracy by run's method). - Corpus: the six wasmQ/2 jobs the command line seals from the second version's envelopes (jobs/cli-wasmq2-*, with the energy the build host read: OnChipCounter readings of its process), pinned in made.lock.json; twelve crafted from them, each breaking rule 4, 8, 11, 12 or 36 alone or keeping them (the unmetered form, the stabilizer method at 27 qubits). - receipt_differential.py: the rules stage holds both verifiers at each bound of rules 4, 8, 11, 12, 30 and 36 as the second version reads them (the exact method at 26 and 27 qubits; the most shots its fresh state leaves under 2^42 and one more; readings at the floor and one ppm below, of 0 and of 2^53, an estimate, HwShunt, a reading that says more, each callout's figure missing, extra or a reading; the first version's energy and format), and the members-of-another-kind stage covers two second-version jobs. - wasmq_mutants.py: rust-schemata takes several files, numbering across them, and the nightly step weakens engine/wasmq2.rs beside engine/wasmq.rs (its rule 36 and rule 1 checks marked). - quantum-providers §8.4's wasmq_form and quantum-wasmq §11.8 name the second version and its jobs in the corpus. The MCP tool lists carry job-result.v1.json as outputSchema, so docs/local-mcp.json and docs/service-mcp.json are blessed (WAI_QUANTUM_BLESS=1) with the new member. Tested on the build host (macOS arm64): wai-quantum --features full --lib --tests (lib 1587 passed, every integration test, wasmq_verdict's corpus walk over the new jobs among them); wai-quantum-qpu (lib 107 on macOS, 106 elsewhere as pinned; clients 20; providers 12) and clippy --all-targets -D warnings; wai-quantum-cli cargo test --release and the service's mcp:: tests (19); receipts generate.py --check and --self-test, receipt_verify.py --self-test (846 checks); receipt_differential.py against the reference: the 413 receipts agree three ways (manifest, reference, second), 31 868 one-member changes agree, the rules stage's 1467 cases (265 at the bounds of the 36 rules) are as written by both with the same rules stated, the 261 labelled cases as written; each of the 14 plants caught. Weakenings (wasmq_mutants.py), run here for this version's rules: the second verifier's for rules 4, 8, 11, 12, 30, 31 and 36, 83, every one caught; the engine's of engine/wasmq2.rs, 34, 27 caught and 7 listed as equivalent with the reason no input tells each from the text. The first runs left 17 alive: the engine's 7 equivalents, and 10 answered here, by cases at each bound they showed unheld (a reading's ppm and window below 0 or with a fraction, and a window of 1; the result's shots written 64.0; the exact method's work at 2^42 exactly and 8 past it; a second-version envelope of 2^27 bytes and one more) and by replacing a qubit bound of the Python rule 30's own, which no input could tell. Clippy: no finding in provider.rs or wasmq2.rs; wai breaking: no unacknowledged break (the corpus's additions are listed as additions). Rebased on 23e05b143 (the toolchain's release), the tool lists blessed again and the CLI, service, qpu, provider, wasmQ and corpus checks rerun. Changelog entry: wai/changes/2026-11-10-quantum-accepted-shots-and-wasmq2-second-verifier.md Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-10 17:20:36 -05:00
..
llms-full.txt	wai.quantum.provider/1 carries energy-landscape jobs, and verify holds their answers to a form	2026-11-10 15:19:26 -05:00
llms.txt	wai.quantum.provider/1 carries energy-landscape jobs, and verify holds their answers to a form	2026-11-10 15:19:26 -05:00
local-mcp.json	wai-quantum: a provider's result says how many shots its counts are of, and the second receipt verifier reads wasmQ/2	2026-11-10 17:20:36 -05:00
service-mcp.json	wai-quantum: a provider's result says how many shots its counts are of, and the second receipt verifier reads wasmQ/2	2026-11-10 17:20:36 -05:00