Fix master CI: JET undefined-var, CSTR init over-determination, downgrade compat floors

Project.toml

@@ -7,8 +7,8 @@ version = "1.0.0"
 ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
 
 [compat]
-DifferentialEquations = "7"
-ModelingToolkit = "9"
+DifferentialEquations = "7.16"
+ModelingToolkit = "9.60"
 SafeTestsets = "0.1"
 SciMLTesting = "1"
 Test = "1"

src/base/base_components.jl

@@ -123,13 +123,11 @@ end
         ΔE(t), [description = "added/removed heat or work"]          #, unit=u"J/s"]
         V(t), [description = "volume", bounds = (0, Inf)]             #, unit=u"m^3"]
     end
-    reactive ?
-        append!(
-            vars, @variables begin
-                ΔnR(t)[1:ms.N_c], [description = "molar holdup change by reaction"]     #, unit=u"mol"])
-                ΔHᵣ(t), [description = "enthalpy of reaction"]                #, unit=u"J/s"]
-            end
-        ) : nothing
+    reaction_vars = @variables begin
+        ΔnR(t)[1:ms.N_c], [description = "molar holdup change by reaction"]     #, unit=u"mol"])
+        ΔHᵣ(t), [description = "enthalpy of reaction"]                #, unit=u"J/s"]
+    end
+    reactive ? append!(vars, reaction_vars) : nothing
 
     eqs = [
         ΔH ~ sum([c.h * c.n for c in mcons]),

test/simple_cstr.jl

@@ -77,19 +77,32 @@ u0 = [
     cstr.cv.nᵢ[1, 4] => 0.0,
     inlet.m => m0_inlet,
     cstr.cv.T => 297.0,
+]
+
+# `cstr.cv.c2` (outlet) and `outlet.m` are fixed by the algebraic flow balances,
+# not independent initial states. Pinning them in `u0` over-determines MTK's
+# initialization system (4 algebraic residuals, 0 free unknowns -> InitialFailure).
+# They must be supplied as initialization guesses instead.
+guesses = [
     cstr.cv.c2.n => 0.0,
     outlet.m => 0.0,
 ]
 
 flowsheet, idx = structural_simplify(flowsheet_, (first.(inp), []))
 
-prob = ODEProblem(flowsheet, u0, (0, 2) .* 3600.0, vcat(inp)) #; guesses = [outlet.m => -m0_inlet])
+prob = ODEProblem(flowsheet, u0, (0, 2) .* 3600.0, vcat(inp); guesses = guesses)
 sol = solve(prob, QNDF(), abstol = 1.0e-6, reltol = 1.0e-6)
 
 (Tmax, iTmax) = findmax(sol[cstr.cv.T])
 
 @test Tmax ≈ 356.149 atol = 1.0e-3
-@test sol.t[iTmax] ≈ 2823.24 atol = 1.0e-2
+# The peak temperature sits on a flat plateau: across the ~4 s solver steps
+# bracketing the maximum, T varies by < 0.002 K. The `findmax` argmax therefore
+# lands on whichever sampled step is highest, and that step shifts by one solver
+# step (~0.02 s) with the Julia/solver version (1.10: 2823.2427 s, 1.12:
+# 2823.2227 s) even though Tmax itself is identical to 6 figures. atol = 0.1
+# (relative 3.5e-5) still pins the peak time tightly while tolerating that shift.
+@test sol.t[iTmax] ≈ 2823.24 atol = 0.1
 
 if isinteractive()
     # Plots