Struct RuntimeStabilizerBasis 

pub struct RuntimeStabilizerBasis { /* private fields */ }

The live stabilizer basis of a ZX graph, tracking the generators and the selective nodes whose runtime basis choice can still update it.

This is the state that dynamic (selective) fills mutate as each selective is resolved, and the source of derived measurement and output surfaces.

Implementations

impl RuntimeStabilizerBasis

pub fn zx_graph(&self) -> &ZXGraph

The live ZX graph backing this basis.

pub fn generators(&self) -> &[PauliString]

The Pauli-string generators of this basis, in row order.

pub fn with_t_nodes_as_ports(self) -> Self

Demotes every T node to a plain Port. Used when selective filling treats prepared T states as open inputs.

pub fn into_generators(self) -> StabilizerGenerators

Consumes this live basis and materializes its current rows against its current ZX graph.

pub fn from_block_graph(graph: &BlockGraph) -> Result<Self, RuntimeBasisError>

Builds the runtime basis by converting graph to a ZX graph first.

Errors

Returns a RuntimeBasisError if conversion or basis derivation fails.

pub fn from_zx_graph(zx_graph: ZXGraph) -> Result<Self, RuntimeBasisError>

Builds the runtime basis from an existing ZX graph.

Errors

Returns a RuntimeBasisError if the stabilizer basis cannot be derived.

pub fn from_zx_graph_with_limits( zx_graph: ZXGraph, limits: ModuleCertificationLimits, ) -> Result<Self, RuntimeBasisError>

Builds a runtime basis under explicit stabilizer-search limits.

Errors

Returns a basis-derivation or resource-limit error.

pub fn from_generators(stabilizers: &StabilizerGenerators) -> Self

Builds the runtime basis directly from already-canonicalized StabilizerGenerators, reusing their rows and row kinds verbatim instead of re-deriving the canonical stabilizer table from the ZX graph.

The nth runtime generator is the nth input generator, so the row ordinals downstream code keys on stay identity-stable. This exists so a caller that already holds the graph’s StabilizerGenerators avoids paying for another canonicalization pass, which is otherwise what from_zx_graph would re-run.

pub fn for_source_readouts( stabilizers: &StabilizerGenerators, ) -> Result<Self, RuntimeBasisError>

Builds linear X/Z source-outcome coordinates on the complete signed basis.

Public row roles do not define these coordinates: a named anchor can also occur in a logical or private completion row. This basis is used to freeze causal readouts and to remove those same named components from frames. Crossing-node and Y readouts require the ordinary readout convention.

Errors

Returns an error if a named source measurement lacks a concrete readable row.

pub fn apply_selective_fill( &self, pos: IVec3, chosen: PauliBasis, ) -> Result<RuntimeStabilizerBasis, RuntimeBasisError>

Resolves the selective node at pos to the chosen basis and returns the evolved basis. Readable provenance stays internal to that basis.

Errors

Returns a RuntimeBasisError if pos is not a live selective, the basis is not allowed for its kind, or the computation is not Clifford.

pub fn apply_selective_fills( &self, fills: &[(IVec3, PauliBasis)], ) -> Result<RuntimeStabilizerBasis, RuntimeBasisError>

Resolves one known assignment with the usual ordered basis transitions, but fills the graph only once.

Errors

Returns RuntimeBasisError when a requested fill is invalid.

Panics

Panics if validated selective metadata is internally inconsistent.

pub fn apply_selective_fill_assignments( &self, assignments: &[Vec<(IVec3, PauliBasis)>], ) -> Result<Vec<RuntimeStabilizerBasis>, RuntimeBasisError>

Resolves several assignments while sharing their common fill prefixes. Assignments with different site order use the ordinary independent path.

Errors

Returns the same validation or fill errors as Self::apply_selective_fills.

Panics

Panics if validated selective metadata is internally inconsistent.

pub fn derive_measurement_surface( &self, mvar: &str, deadline: i64, ) -> Result<DerivedSurface, RuntimeBasisError>

Derives the stabilizer surface that witnesses measurement variable mvar, projected to what is decidable by time layer deadline. Preserves the evolved readout identity after selective fills and prefers an output-safe representative when one exists.

Errors

Returns RuntimeBasisError::UnknownMeasurement if mvar is not a live measurement variable.

pub fn derive_causal_measurement_surface( &self, mvar: &str, deadline: i64, ) -> Result<DerivedSurface, RuntimeBasisError>

Selects an output-free readout using only resolved selective choices.

Errors

Returns an error if mvar is unknown or no causal representative exists.

pub fn derive_output_correction_rows( &self, outputs: &[IVec3], ) -> Result<Vec<OutputCorrectionRow>, RuntimeBasisError>

Derives the compact terminal output-correction rows consumed by crate::solve_output_correction_symbolic.

Errors

Returns a RuntimeBasisError if an output is unknown or cannot be supported.

pub fn derive_output_correction_surfaces( &self, outputs: &[IVec3], ) -> Result<Vec<(OutputCorrectionRow, Stabilizer)>, RuntimeBasisError>

Derives compact output rows together with their full stabilizer surfaces. Consumers that must account for effects outside readable generator provenance, such as feedback on auxiliary directions, use the materialized surface.

Errors

Returns an error if an output is unknown or cannot be supported.

pub fn into_output_correction_surfaces( self, outputs: &[IVec3], ) -> Result<Vec<(OutputCorrectionRow, Stabilizer)>, RuntimeBasisError>

Consumes this basis while deriving output corrections, moving its dense rows and provenance into the solve instead of cloning them.

Errors

Returns an error if an output is unknown or cannot be supported.

Trait Implementations

impl Clone for RuntimeStabilizerBasis

fn clone(&self) -> RuntimeStabilizerBasis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuntimeStabilizerBasis

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

Formats the value using the given formatter.