Module ir

Description

Backend-independent lowered representations.

Structs§

BoundAffineScalarIr: Immutable dense affine form R(w) = A w + c admitted from scalar SSA.
ComponentLinearization: Point-bound real differential of shaped real or complex residuals.
ComponentScalarRow: One deterministic scalar residual row lowered from a shaped root.
ComponentScalarization: Operator-lowering proof that shaped residuals mean componentwise zero.
ConstantSymbolJacobian: Dense row-major Jacobian proven constant by scalar SSA structure.
DenseOutputLinearization: Accepted-point values with output-row-major state and Parameter Jacobians.
LocalLinearActionIr: One shape-homogeneous batch of anonymous entity-local linear maps.
ScalarInputSlot: One dense IR-local input slot for component scalarization.
ScalarLinearization: f64 scalar SSA relation fixed at one explicit linearization point.
ScalarOperatorIr: Compact scalar SSA Operator IR lowered from one residual DAG.
ScalarSymbolCoordinate: One scalar coordinate of a shaped Semantic Model symbol.

BoundAffineFailure: Reason a bound affine scalar form could not be admitted.
DifferentiationRole: Role of one lowered operator input in a particular differentiation.
RelationCotangent: Requested projection of a relation VJP.
RelationTangent: Selected tangent in the direct sum of unknown and parameter spaces.
SymbolicLinearityFailure: Reason a constant selected-symbol Jacobian could not be proven.

DiscreteStepLinearization: One accepted discrete step with an explicit previous-state/model-Parameter direct-sum layout.
LinearizedOutput: One immutable linearization of a selected output projection y = O(w, p).
LinearizedRelation: One immutable linearization of a residual relation.