Module verify 

Graph-level logical verification by sampled ZX-diagram contraction.

A LogicalVerifier converts an ordinary BlockGraph into one symbolic QuiZX diagram. For a terminal structural source it caches one such static verifier per reachable projected topology and dispatches by the evaluated Branch conditions. Named outcomes determine native spider phase parities, feedback contributes conditional Pauli spiders, and selective measurements are concretized after the classical action DAG is evaluated. Accepted nonzero branches are compared with a caller-supplied expected ZX map up to arbitrary nonzero scalar.

Structs

BoundaryOrder

Ordered open boundaries of a logical map.

LogicalBranch

Classical values and status for one branch.

LogicalVerificationReport

Aggregate result of randomized branch verification.

LogicalVerifier

Reusable symbolic ZX verifier for one static graph or a bounded family of reachable terminal-branch projections.

Enums

BranchStatus

Result category for one sampled assignment.

QasmError

Errors in the supported OpenQASM subset.

VerifyLogicalError

An error raised while building, sampling, or contracting a logical ZX map.

Functions

parse_qasm

Parses the unitary part of an unconditional circuit.

verify_logical

Builds and fuzzes a verifier in one call.

Type Aliases

BranchAssignment

Caller-chosen measurement outcomes and external Boolean inputs.

QuizxGraph

The concrete QuiZX graph type used for logical maps.