A separable transition with a persistent prefix and immutable local inputs.
Each owner's complete input vector is declared in logical owner order. The
same typed assignment semantics serve gradient and non-gradient equations.
A dependency on a remote statistic cannot be hidden in this representation:
it requires a different composition with an explicit communication edge.
17family IndependentStateSystem : Type 0
18parameter erased independentSlots : Nat
19constructor IndependentStateSystemOf
20field unrestricted independentPersistent : Nat
21field unrestricted independentProgram : (family StdList (family PointwiseAssignment StdU64 independentSlots))
22field unrestricted independentInitial : (family StdList (family StdList StdU64))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.