Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 67b52900b4 wai-quantum-qpu: native-turns on its service's published API, a fifth basis gpi gpi2 ms, noise seeds, shot records with their leakage, cancel and a bounded estimate ... The native-turns client read only a backend's qubits, sent zz to noise models whose devices run only an MS gate, sent no noise seed, rebuilt counts from probabilities where the service gives shot records, and could neither cancel nor estimate. Each is fixed and tested against a fake built from the service's published OpenAPI document (version 0.4), corrected where a read-only positive control of the service (2026-11-12) answered otherwise (tests/fake_turns/): it refuses every member and value the API does not allow, answers the paths as the service did, runs the gates by the service's own printed matrices, and answers in each published result format and bit order. - The backend from GET /backends/{backend}, which the service answers for simulator and for qpu.-prefixed processors (bare names are not found, the published enum notwithstanding): status available or refused, degraded stated, the simulator's noise models bounding the one sent, characterization_id as the calibration, a processor's pairs from its characterization; the list only for a noise model's device. - Placement: device_target from a processor's characterization through the engine's backend-characterization import; an ms backend now reads as gpims exactly there. - Gates: zz only where the backend lists it, else ms; under a noise model the modelled device's gates and qubits (the list's entry, else the published models). A program in another gate set, or a noise model on a processor, is refused before anything is sent. - Basis::GpiMs (gpims): gpi, gpi2 and ms(phi0, phi1, theta), the first phase the first qubit's, theta 0 to 1/4 turn; each cz ms(0, 0, 1/4) between gpi2(1/4) and gpi2(3/4), every program the prx rz xx program gate for gate. Proved by the engine's equivalence check (the cz, frames into ms's phases, the phase order, whole programs); seven native vectors pinned and proved, gpizz among them for the first time. In the open protocol within version 1: schema, reference --basis gpims, an ms-past-a-quarter-turn refusal vector. - The published matrices pinned: gpi2(0) is Rx(pi/2) and gpi2(1/2) Rx(-pi/2), as the matrix says and the prose does not. - noise.seed from the job's seed (1 when none), sealed as /noise/seed in the receipt's execution and held to the seed the service says it ran. - Results from shot records, else the service's counts, else probabilities, qubit 0 first in v2 bitstrings and bit arrays; records and counts must agree. Leaked shots are counted as read and sealed in a new optional member, leakage (quantum-providers 8.1, 8.4, both verifiers). - Cancel (PUT /jobs/{id}/status/cancel, canceled read as cancelled); GET /jobs/{id}/cost after a run. - Estimate: a gate-priced job is the rate card's figure for exactly its gates and shots, its minimum included, rounded up to the cent, admitted by a cost ceiling only where the service's own estimate is no higher; compute-time prices (the service's own: credits by the compute-second), estimates above the card, amounts in no currency or another currency meet no ceiling. The simulator is free and not asked (the service estimates processors only). - Spec 4, 5.1, 8.1, 8.3, 8.4, 10; receipt corpus: five new made receipts and twelve crafted ones; crafted-kind-turns-shots is now valid. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-11 21:09:57 -05:00
..
provider-v1.json	wai-quantum-qpu: native-turns on its service's published API, a fifth basis gpi gpi2 ms, noise seeds, shot records with their leakage, cancel and a bounded estimate	2026-11-11 21:09:57 -05:00