- engine::estimate::count: a program written in Clifford gates, T, z
rotations, Toffolis (one CCZ state each) and measurements; a gate under
several controls goes through clean ancillas (x, y, z, h under c >= 3
controls: 2c - 3 Toffolis and c - 2 ancillas; a phase under c >= 2: 2c
Toffolis and c ancillas); a branching program is counted step by step,
an upper bound. Each rotation is synthesised at its own angle within its
share of the budget's synthesis share, its T count the word's. Counts:
T, Toffolis, rotations and their T, measurements, non-Clifford, rotation
and T depth, total depth, logical qubits with ancillas.
- Ground truth: Bell, T chains, the ripple-carry adder (2n Toffolis), the
QFT (3(n-1) T, 3(n-1)(n-2)/2 rotations), multi-controlled gates; every
ladder held to the gate it replaces on dense unitaries with the
ancillas at |0>; each rotation's T count equal to engine::synth's word.
- engine::estimate::calibration: the gate-based surface code's model
P(d) = a(p/p*)^((d+1)/2) fitted to the memory experiment decoded by exact
matching and by union-find on the same shots (d 3, 5, 7; p 0.002 to
0.005; 100000 shots, 25000 at d = 7; seed 1). The table is in the crate;
a release test measures every point again, a debug one one point, and
the example estimate_calibration prints them.
- engine::estimate::interchange: the logical-counts document and the
routine document (v1), import and export, with the schema's checks
(names, directions, resource types and values, unique siblings,
connections between ports) and a self-made fixture.
- engine::estimate: the planar model on the counts, the headline and the
frontier no estimate beats on both qubits and runtime, each estimate
sealed in the resource-estimate receipt family (a counted program binding
the digest, every count, the budget, the synthesis share and each
rotation's), the frontier's naming the headline's as parent, and the
answer sealed in a job's form; verify re-runs the request. Refusals
carry codes QE02 to QE08.
- The engine feature now carries the resource model and the decoders'
memory experiment; the receipt family compiles with the resource model
and any signing feature.
- CI: wai-quantum-estimate.yml runs the tests in release (the whole
calibration); engine::estimate joins the wasip2 module list (18 passed
under wasmtime on the build host).
Co-Authored-By: Claude Opus 5.5 <[email protected]>
ed1b7e5cd0