Re-enable downgrade CI with genuine test-at-floor (allow_reresolve: false) (#4572)

* Re-enable downgrade CI with genuine test-at-floor (allow_reresolve: false)

Re-enables the Downgrade workflow (group InterfaceI, allow_reresolve: false) so
the main package runs at the minimal (downgraded) versions. Raises declared-dep
[compat] lower bounds, and adds [compat] floors on three DECLARED test extras
(Optimization, OptimizationBase, OptimizationOptimJL — all already in [extras])
so the downgrade resolver does not minimize OptimizationBase below 5.1.0, which
BoundaryValueDiffEqCore 2.2 (pulled via the BoundaryValueDiffEqMIRK test dep)
requires. Key bumps: SciMLBase 2.154 (FunctionWrappersWrappers.SingleCacheStorage),
OrdinaryDiffEqCore 3.32 (allows_null_u0), SimpleNonlinearSolve 2.10, ForwardDiff 1,
DiffEqBase 6.213, BipartiteGraphs 0.1.4, OffsetArrays 1.3, plus the BVP/Optimization
test-extra floors. Verified locally on Julia 1.10 (group InterfaceI, fresh registry):
Pkg.test(allow_reresolve=false) passes at the floor with 0 re-resolve.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* Re-trigger CI (prior run hit a 'Set up job' runner-provisioning failure before any step ran)

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>

---------

Co-authored-by: ChrisRackauckas-Claude <accounts@chrisrackauckas.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: 3 people

.github/workflows/Downgrade.yml

@@ -15,8 +15,6 @@ on:
 jobs:
   test:
     name: "Downgrade"
-    # Preserved from the previous bespoke workflow: this job is intentionally disabled.
-    if: false
     uses: "SciML/.github/.github/workflows/downgrade.yml@v1"
     with:
       julia-version: "1.10"

Project.toml

@@ -62,22 +62,23 @@ MTKOrdinaryDiffEqRosenbrockExt = "OrdinaryDiffEqRosenbrock"
 
 [compat]
 ADTypes = "1.14.0"
-BipartiteGraphs = "0.1.2"
+BipartiteGraphs = "0.1.4"
 BlockArrays = "1.9.3"
 BoundaryValueDiffEqAscher = "1.6.0"
-BoundaryValueDiffEqMIRK = "1.7.0"
-Combinatorics = "1"
-CommonSolve = "0.2.4"
-ConstructionBase = "1"
+BoundaryValueDiffEqMIRK = "1.13.0"
+Combinatorics = "1.0.2"
+CommonSolve = "0.2.6"
+ConstructionBase = "1.5.8"
 DataInterpolations = "7, 8"
 DataStructures = "0.18, 0.19"
 DelayDiffEq = "5.61, 6"
-DiffEqBase = "6.210.0, 7"
-DifferentiationInterface = "0.6.47, 0.7"
+DiffEqBase = "6.213.0, 7"
+DiffEqNoiseProcess = "5.25.0"
+DifferentiationInterface = "0.7.13"
 DocStringExtensions = "0.8, 0.9"
 FMIImport = "1"
 FillArrays = "1.13.0"
-ForwardDiff = "0.10.3, 1"
+ForwardDiff = "1"
 Graphs = "1.5.2"
 InteractiveUtils = "1"
 Libdl = "1"
@@ -89,33 +90,36 @@ ModelingToolkitStandardLibrary = "2.20"
 ModelingToolkitTearing = "1.12.1"
 Moshi = "0.3.6"
 NonlinearSolve = "4.3"
-OffsetArrays = "1"
+OffsetArrays = "1.3.0"
+Optimization = "5.5"
+OptimizationBase = "5.1.0"
+OptimizationOptimJL = "0.4.11"
 OrderedCollections = "1, 2"
 OrdinaryDiffEq = "6.82.0, 7"
 OrdinaryDiffEqBDF = "1, 2"
-OrdinaryDiffEqCore = "1.34.0, 2, 3, 4"
+OrdinaryDiffEqCore = "1.34.0, 2, 3.32.0, 4"
 OrdinaryDiffEqDefault = "1.2, 2"
 OrdinaryDiffEqFIRK = "1, 2"
 OrdinaryDiffEqFunctionMap = "1, 2"
 OrdinaryDiffEqNonlinearSolve = "1.5.0, 2"
 OrdinaryDiffEqRosenbrock = "1, 2"
 OrdinaryDiffEqSDIRK = "1, 2"
-PreallocationTools = "0.4.27, 1"
+PreallocationTools = "1.2.0"
 PrecompileTools = "1.2.1"
 REPL = "1"
 Reexport = "0.2, 1"
 RuntimeGeneratedFunctions = "0.5.12"
 SCCNonlinearSolve = "1.8.1"
-SciMLBase = "2.144.0, 3"
+SciMLBase = "2.154.0, 3"
 SciMLPublic = "1.0.0"
 Serialization = "1"
 Setfield = "0.7, 0.8, 1"
-SimpleNonlinearSolve = "0.1.0, 1, 2"
+SimpleNonlinearSolve = "2.10.0"
 SparseArrays = "1"
 StateSelection = "1.9.1"
 StaticArrays = "1.9.14"
 StochasticDiffEq = "6.82.0, 7"
-SymbolicIndexingInterface = "0.3.39"
+SymbolicIndexingInterface = "0.3.46"
 SymbolicUtils = "4.31"
 Symbolics = "7"
 UnPack = "0.1, 1.0"