Struct CompilationValidator 

pub struct CompilationValidator { /* private fields */ }

Compilation validator

Implementations

impl CompilationValidator

pub const fn new(config: EnhancedCrossCompilationConfig) -> Self

pub fn validate_compilation( &self, source: &SourceCircuit, target_code: &TargetCode, platform: TargetPlatform, ) -> QuantRS2Result<ValidationResult>

pub fn validate_semantics( &self, source: &SourceCircuit, target: &TargetCode, ) -> QuantRS2Result<bool>

Structural semantic-equivalence check between the original source text and the generated target code.

SourceCircuit stores the original program as an opaque, framework-specific source string (Qiskit/Cirq/PennyLane/OpenQASM text, etc.) rather than a parsed representation, so a true unitary/statevector equivalence check is not available at this layer. Instead this compares the gate-name histograms found in both texts (a format-agnostic structural heuristic: real quantum gate mnemonics like h, cx, rz, … appear as identifiers in essentially every textual quantum programming language/IR dump) and accepts the compilation only when the two histograms are similar enough (cosine similarity) to plausibly represent the same circuit.

pub fn validate_resources( &self, target: &TargetCode, platform: TargetPlatform, ) -> QuantRS2Result<bool>

Real resource-capacity check: estimates the number of qubits referenced by the generated target code (from bracketed qubit-index syntax such as q[3], common to QASM/Quil-style output) and compares it against the target platform’s known qubit capacity.

pub fn estimate_fidelity( &self, source: &SourceCircuit, target: &TargetCode, ) -> QuantRS2Result<f64>

Real fidelity estimate derived from the generated target code: the per-gate-type counts extracted from target.code are combined with typical single-/two-qubit gate fidelities published for the target hardware platform (the same style of domain-derived error-rate data used by crate::noise_models::NoiseModel) into a product-model circuit fidelity, then scaled by the source/target structural similarity used in Self::validate_semantics so that a compilation which diverges structurally from its source is never scored as perfectly faithful.