bloq_graph/verify/
mod.rs

1//! Graph-level logical verification by sampled ZX-diagram contraction.
2//!
3//! A [`LogicalVerifier`] converts an ordinary [`BlockGraph`](crate::BlockGraph)
4//! into one symbolic QuiZX diagram. For a terminal structural source it caches
5//! one such static verifier per reachable projected topology and dispatches by
6//! the evaluated Branch conditions.
7//! Named outcomes determine native spider phase parities, feedback contributes
8//! conditional Pauli spiders, and selective measurements are
9//! concretized after the classical action DAG is evaluated. Accepted nonzero
10//! branches are compared with a caller-supplied expected ZX map up to arbitrary
11//! nonzero scalar.
12
13mod correction;
14mod diagram;
15mod error;
16pub(crate) mod feedback;
17mod parity;
18mod qasm;
19mod replay;
20
21pub use diagram::{
22    BoundaryOrder, BranchAssignment, BranchStatus, LogicalBranch, LogicalVerificationReport,
23    LogicalVerifier, QuizxGraph, verify_logical,
24};
25pub use error::VerifyLogicalError;
26pub(crate) use parity::{MeasurementKey, stabilizer_supports_measurement};
27pub use qasm::{QasmError, parse_qasm};
28pub(crate) use replay::{replay_fill, solve_evolved_correction};
bloq_graph/verify/mod.rs

bloq_graph/verify/
mod.rs
