From 4bcf692b3a307da9035c99af898e0aa55b3b186e Mon Sep 17 00:00:00 2001
From: ChrisRackauckas-Claude <accounts@chrisrackauckas.com>
Date: Thu, 4 Jun 2026 08:20:23 -0400
Subject: [PATCH] Re-enable downgrade CI with genuine test-at-floor
 (allow_reresolve: false)

Raise minimal declared-dep compat floors so Pkg.test(allow_reresolve=false)
passes at the floor with 0 re-resolve on Julia 1.10:

- ADTypes: 1 -> 1.14.0 (OrdinaryDiffEqDifferentiation 1.5+ in the
  forced 6.91-6.101 band requires ADTypes 1.14)
- DiffEqBase: 6.119 -> 6.176.0 (OrdinaryDiffEq subpackages Verner/Core/
  Extrapolation/BDF/Differentiation at the forced band require >=6.176)
- PrecompileTools: 1 -> 1.2.1 (OrdinaryDiffEqRosenbrock 1.5-1.14 require
  PrecompileTools 1.2.1; 1.2.0 forced Rosenbrock >=1.15)
- SteadyStateDiffEq: 2.3 -> 2.5.0 (2.4.x imports
  AbstractNonlinearTerminationMode from DiffEqBase, which 6.176 removed;
  2.5.0 imports it from NonlinearSolveBase)

Verified locally: Pkg.test(allow_reresolve=false) -> tests passed,
0 "Could not use exact versions", Utils 13/13 + Layers 1538/1538.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
---
 .github/workflows/Downgrade.yml | 2 +-
 Project.toml                    | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/Downgrade.yml b/.github/workflows/Downgrade.yml
index 1c49e47c..1cf594dd 100644
--- a/.github/workflows/Downgrade.yml
+++ b/.github/workflows/Downgrade.yml
@@ -13,10 +13,10 @@ on:
 
 jobs:
   downgrade:
-    if: false  # Disabled: waiting on SciML ecosystem updates. See #193 for details.
     name: "Downgrade"
     uses: "SciML/.github/.github/workflows/downgrade.yml@v1"
     with:
       julia-version: "1.10"
       skip: "Pkg,TOML"
+      allow-reresolve: false
     secrets: "inherit"
diff --git a/Project.toml b/Project.toml
index 6add1dc2..8f643e58 100644
--- a/Project.toml
+++ b/Project.toml
@@ -22,12 +22,12 @@ Static = "aedffcd0-7271-4cad-89d0-dc628f76c6d3"
 SteadyStateDiffEq = "9672c7b4-1e72-59bd-8a11-6ac3964bc41f"
 
 [compat]
-ADTypes = "1"
+ADTypes = "1.14.0"
 Aqua = "0.8"
 ChainRulesCore = "1"
 CommonSolve = "0.2"
 ConcreteStructs = "0.2"
-DiffEqBase = "6.119, 7.0"
+DiffEqBase = "6.176.0, 7.0"
 Documenter = "1"
 ExplicitImports = "1"
 FastClosures = "0.3"
@@ -46,13 +46,13 @@ NonlinearSolve = "4"
 NonlinearSolveBase = "1.5, 2"
 OrdinaryDiffEq = "6.74, 7"
 Pkg = "1.10"
-PrecompileTools = "1"
+PrecompileTools = "1.2.1"
 Random = "1.10"
 SciMLBase = "2, 3.3"
 SciMLSensitivity = "7.43"
 StableRNGs = "1"
 Static = "1"
-SteadyStateDiffEq = "2.3"
+SteadyStateDiffEq = "2.5.0"
 Test = "1.10"
 Zygote = "0.7"
 julia = "1.10"