Module verify 

Physical verification: run compiled bloq circuits on the Simulator engine and check them.

The execution kernel itself — the whole-program walk, the flat CircuitExecutor, and the gate table — lives in the crate root, and run_bloq drives a shot batch through it. This module is the verifier’s vocabulary: the report types (VerifyReport and friends), the detector-constancy check, and the logical expectation readouts a per-shot hook scores a non-Clifford output with.

This is the physical counterpart to the graph-level logical verifier (bloq_graph::verify). The layers are intentionally independent: this path drives Simulator over the fully compiled physical circuit, while the graph path contracts symbolic QuiZX maps.

Structs

DetectorReport

Per-detector result across the batch.

FramePairReport

Terminal Pauli-frame sign bits for one output, per shot.

ObservableReport

Per-observable result across the batch.

VerifyReport

The outcome of a verification batch.

Functions

ccz_orbit_signatures

All distinct Pauli-byproduct signatures of CCZ|+++⟩.

ccz_state_signature

Exact Pauli signature of CCZ|+++⟩, prepared by the simulator itself.

logical_bloch

Read a logical Bloch vector, corrected by the supplied (X, Z) frame bits. Use (false, false) to read the uncorrected state. Signed representatives are preserved, including Y_L = i X_L Z_L.

logical_signature

Compute all nonidentity joint Pauli expectations of the live logical outputs.

signatures_match

Whether two Pauli signatures agree entry-wise within a tight tolerance.