Issues

• maybe_zeros check does not look inside a division, so tearing divides by a parameter expression that is zero (NaN in initialization)

  JuliaComputing/StateSelection.jl#166 · Filter by author mwhincup opened on Oct 15, 2026
  1

• inline_linear_sccs = true inlines a loop with a product of two loop unknowns → "The equations have at least one cycle"

  JuliaComputing/StateSelection.jl#165 · Filter by author jesse-gohl opened on Oct 13, 2026

• shift_discrete_system: substitution rebuilds a + with mismatched shapes (Unknown(2) vs scalar) on MTK 11.37

  JuliaComputing/StateSelection.jl#146 · Filter by author baggepinnen opened on Jul 29, 2026

• state_priority ineffective across alias equations of unequal differentiation depth: singleton-SCC demotion that #103's block merge cannot reach (forced by tier mismatch)

  JuliaComputing/StateSelection.jl#104 · Filter by author baggepinnen opened on Jun 12, 2026

• state_priority ineffective when the prioritized variable's derivative is matched to a differentiated alias equation (singleton SCC forces demotion; singular Cartesian states in a planar arm)

  JuliaComputing/StateSelection.jl#101 · Filter by author baggepinnen opened on Jun 11, 2026

• Inline linear SCC emits an inconsistent runtime system (rank 14/15, ‖Ax−b‖/‖b‖ ≈ 1) at a consistent state — integration goes Unstable

  JuliaComputing/StateSelection.jl#98 · Filter by author baggepinnen opened on Jun 10, 2026
  2

• Inline linear SCCs: 296×296 dense runtime solve for an ~18-unknown core; non-rank-tolerant; symbolic shrinkage intractable — solve sparse+rank-tolerant instead

  JuliaComputing/StateSelection.jl#95 · Filter by author baggepinnen opened on Jun 10, 2026
  6