Module ir 

Backend-independent lowered representations.

Structs

BoundAffineScalarIr

Immutable dense affine form R(w) = A w + c admitted from scalar SSA.

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.

LocalLinearActionIr

One shape-homogeneous batch of anonymous entity-local linear maps.

ScalarInputOperatorIr

Scalar SSA program whose reads are typed IR-local slots.

ScalarInputSlot

One dense IR-local input slot for component scalarization.

ScalarLinearization

f64 scalar SSA relation fixed at one explicit linearization point.

ScalarObjectiveLinearization

Accepted-point linearization of one scalar objective functional.

ScalarOperatorIr

Compact scalar SSA Operator IR lowered from one residual DAG.

ScalarSymbolCoordinate

One scalar coordinate of a shaped Semantic Model symbol.

Enums

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.

Traits

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.