Struct ScalarOperatorIr 

pub struct ScalarOperatorIr { /* private fields */ }

Compact scalar SSA Operator IR lowered from one residual DAG.

Implementations

§

impl ScalarOperatorIr

Signature links:ScalarOperatorIr

pub fn lower(expression: &ExprDag) -> Result<ScalarOperatorIr, Diagnostic>

Signature links:lowerExprDagResultScalarOperatorIrDiagnostic

Lower a canonical expression DAG into dense symbol slots and scalar instructions without changing operation order.

Errors

Returns EQ0701 if an operand/root index is inconsistent with the DAG contract.

pub fn symbols(&self) -> &[SymbolRef]

Signature links:symbolsSymbolRef

Dense symbol order expected by Self::evaluate.

pub fn instruction_count(&self) -> usize

Signature links:instruction_countusize

Number of scalar SSA instructions.

pub fn residual_count(&self) -> usize

Signature links:residual_countusize

Number of residual roots produced by this program.

pub fn constant_symbol_jacobian( &self, variables: &[SymbolRef], ) -> Result<ConstantSymbolJacobian, SymbolicLinearityFailure>

Signature links:constant_symbol_jacobianSymbolRefResultConstantSymbolJacobianSymbolicLinearityFailure

Prove and extract a residual Jacobian that is constant with respect to every other expression symbol.

This is a structural proof over the SSA program, not a numerical probe. Expressions with state-dependent coefficients or nonlinear dependence on any selected variable fail closed. The returned rows follow residual root order and columns follow variables order.

Errors

Returns the first structural reason that a constant Jacobian cannot be proven, or reports a repeated selected variable.

pub fn bind_affine( &self, selected_symbols: &[SymbolRef], bindings: &[(SymbolRef, f64)], ) -> Result<BoundAffineScalarIr, BoundAffineFailure>

Signature links:bind_affineSymbolRefSymbolReff64ResultBoundAffineScalarIrBoundAffineFailure

Bind every non-selected symbol and prove an exact affine residual form.

The returned form satisfies R(w) = A w + c: rows retain residual-root order, columns retain selected_symbols order, and coefficient/offset arithmetic follows the original SSA instruction order. This admission is structural; it performs no numerical probing or finite differences. Extra bindings are permitted, but every supplied binding is validated.

Errors

Fails closed for repeated selected symbols, duplicate or non-finite bindings, binding a selected symbol, an unbound symbol read by the IR, nonlinear selected-symbol dependence, non-finite affine arithmetic, or an invalid SSA value reference.

pub fn evaluate(&self, inputs: &[f64]) -> Result<Vec<f64>, Diagnostic>

Signature links:evaluatef64ResultVecf64Diagnostic

Evaluate residual roots with values matching Self::symbols.

Errors

Returns EQ0702 for the wrong input count and EQ0505 for a non-finite intermediate result.

pub fn linearize( &self, inputs: &[f64], roles: &[DifferentiationRole], ) -> Result<ScalarLinearization<'_>, Diagnostic>

Signature links:linearizef64DifferentiationRoleResultScalarLinearizationDiagnostic

Bind one finite point and explicit input roles into an immutable differentiable residual relation.

Errors

Returns EQ0704 when point/role cardinality differs from the dense symbol order or the point contains a non-finite value.

Trait Implementations

§

impl Clone for ScalarOperatorIr

Signature links:CloneScalarOperatorIr

§

fn clone(&self) -> ScalarOperatorIr

Signature links:cloneScalarOperatorIr

Returns a duplicate of the value.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for ScalarOperatorIr

Signature links:DebugScalarOperatorIr

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for ScalarOperatorIr

Signature links:PartialEqScalarOperatorIr

§

fn eq(&self, other: &ScalarOperatorIr) -> bool

Signature links:eqScalarOperatorIrbool

Tests for self and other values to be equal, and is used by ==.

§

fn ne(&self, other: &Rhs) -> bool

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ScalarOperatorIr