| Filename | Latest commit message | Latest commit date |
|---|---|---|
2615e98cd3
A reader and writer for the circuit text and the detector error model text that keep every instruction's tag, its arguments as written and every kind of target (records, Pauli targets, inverted results, sweep bits, products), blocks as blocks. The frame simulator now reads through it: tags reach the mechanisms their noise makes, observables take Pauli targets in sampling and in the model, detectors keep their coordinates. A model is written with its coordinates, tags and each decomposed mechanism's parts, and read back to the same model, blocks unrolled and detector shifts applied. A conformance set of circuits and models the crate writes and of hand-written ones, each held to its counts, its model and a byte-for-byte round trip, with the refusals. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| circuits | ||
| models | ||
| refuse | ||
| README.md | ||
| vectors.json | ||
qec-text
The error-correction text formats, as the engine reads and writes them: noisy
Clifford circuits with detectors and observables (circuits/), and detector
error models (models/). The reader and writer are
wai_quantum::quantum_qec_text; the circuits' meaning, sampling and models
are wai_quantum::quantum_frame.
Every file here is in the writer's layout (NAME[tag](a, b) t1 t2, a block's
body four spaces in), so each must come back from reading and writing byte for
byte. vectors.json pins, for each:
| field | what |
|---|---|
qubits, measurements, detectors, observables |
the circuit's counts after its blocks are unrolled |
tags |
the tags its instructions carry, each once, in order |
text_blake3 |
BLAKE3 of the file |
model, model_blake3, mechanisms |
the file holding the circuit's detector error model, as the engine writes it (coordinates, tags, decompositions), and its hash and size |
generator |
for a circuit the crate writes, the call that writes it: the file must be what the code writes today |
A model's vector gives its detectors, observables and mechanisms after its
repeat blocks are unrolled and shift_detectors applied, how many are
decomposed (parts joined by ^) and how many tagged.
The files:
surface_z_d3_r3,surface_z_d5_r1: the rotated surface-code memory experiment, Z basis, every noise knob atp.bb72_z_c2,bb72_x_c1: the[[72,12,6]]bivariate-bicycle memory, its depth-8 syndrome cycle, in each basis.tagged: written by hand. Tags on a gate, on noise and on aREPEAT; Pauli-target observables (OBSERVABLE_INCLUDE(1) X0 X1 X2on a three-qubit cat state,OBSERVABLE_INCLUDE(0) rec[-1] Z2beside a measurement record); an inverted measurement target (M !0 1); coordinates shifted bySHIFT_COORDS. A tag on a noise instruction is the tag of every mechanism it makes, and mechanisms with one symptom set but different tags stay apart.models/decomposed.dem: written by hand. Decomposed errors, a tagged one, arepeatblock withshift_detectors, detector coordinates and a declared observable no error flips.
refuse/ holds text the engine must refuse, each with its line and the words
of its refusal in vectors.json: an instruction it does not implement (T,
and a Pauli product measurement it reads but does not run), an observable
that is random without noise, a record before the first measurement, a tag
left open, an empty part of a decomposed error, and an unknown model
instruction.
The test is wai/wai-quantum/tests/qec_text_conformance.rs:
cargo test --release --features full --test qec_text_conformance
WAI_QUANTUM_BLESS=1 cargo test --release --features full --test qec_text_conformance # rewrite the generated files