Struct StabilizerGenerators 

pub struct StabilizerGenerators {
    pub zx_graph: ZXGraph,
    pub generators: Vec<StabilizerGenerator>,
    /* private fields */
}

Stabilizer state for a ZX graph: a stable public presentation plus private algebraic rank completion.

Fields

zx_graph: ZXGraph

The ZX graph the generators were derived from.

generators: Vec<StabilizerGenerator>

Stable public readable/fixing rows. This presentation need not span the full output projection by itself.

Implementations

impl StabilizerGenerators

pub fn new(zx_graph: ZXGraph, generators: Vec<StabilizerGenerator>) -> Self

Builds a public generator set with no internal rank-completion rows.

pub fn prepare_readouts( &mut self, dag: &ActionDag, limits: ModuleCertificationLimits, ) -> Result<bool, RuntimeBasisError>

Freeze physical named-readout choices after action analysis and C0 certification. The DAG must belong to this generator set’s graph. Returns whether new recipes require rebuilding the action dependencies.

Errors

Returns an error if a causal readout is unavailable or exceeds limits.

pub fn len(&self) -> usize

Returns the number of public generator rows.

pub fn is_empty(&self) -> bool

Returns whether there are no public generator rows.

pub fn validate_selective_decoupling(&self) -> Result<(), StabilizerError>

Checks that fixing rows do not couple independent selective sites.

Errors

Returns StabilizerError::SelectiveFixingRowsCoupled for coupled sites.

pub fn validate_measurements_close_before_outputs( &self, ) -> Result<(), RuntimeBasisError>

Requires an output-free representative for every measurement in every reachable selective branch. Pure ZX analysis may retain output frames.

Errors

Returns an unavailable-surface, output-support, or resource-limit error.

pub fn validate_measurements_close_before_outputs_with_limits( &self, limits: ModuleCertificationLimits, ) -> Result<(), RuntimeBasisError>

Certifies C0 with explicit selective-domain, Boolean, and matrix limits.

Errors

Returns an unavailable surface, an output-supported measurement, or a resource-limit error if the proof cannot finish within these limits.

Panics

Panics if internally stored generator rows and roles have different lengths.

Trait Implementations

impl Clone for StabilizerGenerators

fn clone(&self) -> StabilizerGenerators

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StabilizerGenerators

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.