Description
Lowered Rust CPU execution and backend conformance.
Structs§
- Canonical
Event Linearization - One localized canonical event point and its lowered derivatives.
- Canonical
Event Program - Canonical explicit-ODE event group lowered to one differentiable reset.
- Canonical
Root Set - Canonical root callbacks reconstructed in one registration’s proof order.
- CpuExecutor
- Rust CPU conformance executor.
- CpuProgram
- A validated kernel model plus independently lowered scalar Operator IR.
- First
Order Program - Canonical continuous Relation proven to have first-order form
M y_dot = f(t,y). - General
Implicit Program - Canonical continuous Relation proven to require residual-native execution.
- Implicit
Euler Step Linearization - Linearized discrete residual for one accepted implicit-Euler step.