Correct dependency floors blocking the pending base and solver releases (#4084)

* Correct dependency floors blocking the pending base and solver releases

Six floors on master permit dependency versions that lack symbols the code
references. AutoMerge has been rejecting the OrdinaryDiffEqBDF 2.4.1 and
OrdinaryDiffEqSDIRK 2.8.2 registrations since 2026-07-29 for two of them.

DiffEqBase floors (Core, Differentiation, NonlinearSolve)

  All three require SciMLBase = "3.40", but the first DiffEqBase permitting
  SciMLBase 3.40 is 7.10.0. With a DiffEqBase floor of "7"/"7.8" the resolver
  has no solution at all — `Pkg.instantiate()` on any of the three fails with
  an unsatisfiable DiffEqBase. Raised to "7.10".

OrdinaryDiffEqBDF and OrdinaryDiffEqFIRK -> OrdinaryDiffEqCore "4.12"

  Both read integrator.is_disco_step and integrator.disco_checkpoint. Those
  ODEIntegrator fields arrived with the DISCO work merged 2026-07-29 (#3720)
  and are not in any released Core; the first to carry them is 4.12.0. Against
  Core 4.11.0 BDF fails to load with

    FieldError: type OrdinaryDiffEqCore.ODEIntegrator has no field `is_disco_step`

  FIRK's master tree already diverges from the registered 2.5.0 (which predates
  the field use), so it is bumped to 2.5.1 to make the corrected floor
  releasable.

OrdinaryDiffEqSDIRK -> OrdinaryDiffEqNonlinearSolve "2.6"

  Imports can_smooth_est, added in #3823. The version carrying it was never
  registered (ONLS goes 2.5.0 -> master 2.6.0), so against any released ONLS
  SDIRK fails to load with

    UndefVarError: `can_smooth_est` not defined in `OrdinaryDiffEqSDIRK`

Audit method, since this class keeps recurring (#2600, #4078, #4079)

  Diffed the ODEIntegrator struct between the registered Core 4.11.0 tree and
  master for added fields, then grepped every sublibrary for accesses to them;
  and cross-referenced every qualified access and explicit import name against
  the registered OrdinaryDiffEqCore 4.11.0 and OrdinaryDiffEqNonlinearSolve
  2.5.0 trees. No sublibrary references a Core *name* absent at 4.11.0 — the
  only Core gaps are the two struct fields — and can_smooth_est is the only
  NonlinearSolve gap.

Verified locally: SDIRK loads against the in-tree ONLS, and BDF loads and
solves (FBDF on a scalar decay problem returns 0.36790983175798864).

Metadata-only apart from the FIRK version bump.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ZqxphdTA1MydR1WXye9Jc

* Also floor Differentiation and NonlinearSolve on Core 4.12 / Differentiation 3.6

Same rule as the DiffEqBase floors in the previous commit, applied to the
sibling dependencies rather than DiffEqBase: a package requiring
SciMLBase = "3.40" cannot resolve against any sibling version whose own compat
caps SciMLBase below 3.40.

  OrdinaryDiffEqDifferentiation -> OrdinaryDiffEqCore "4.12"
  OrdinaryDiffEqNonlinearSolve  -> OrdinaryDiffEqCore "4.12"
  OrdinaryDiffEqNonlinearSolve  -> OrdinaryDiffEqDifferentiation "3.6"

The released Core tops out at 4.11.0, which declares SciMLBase = "3.39", and the
released Differentiation at 3.5.0. With the old "4" / "4.6" / "3" floors both
packages are unresolvable:

  Unsatisfiable requirements detected for package OrdinaryDiffEqCore:
    restricted to versions 4 by OrdinaryDiffEqDifferentiation, leaving 4.0.0 - 4.11.0
    restricted by compatibility requirements with SciMLBase to versions: uninstalled

Exactly four packages on master require SciMLBase 3.40 — DiffEqBase,
OrdinaryDiffEqCore, OrdinaryDiffEqDifferentiation, OrdinaryDiffEqNonlinearSolve
— so only their sibling floors need this treatment. Packages that still allow
SciMLBase 3.39 resolve fine against the older siblings and are left alone.

This fixes the release order: DiffEqBase 7.10.0 (registered), then
OrdinaryDiffEqCore 4.12.0, then OrdinaryDiffEqDifferentiation 3.6.0, then
OrdinaryDiffEqNonlinearSolve 2.6.0, then the blocked BDF and SDIRK.

Verified locally: Core 4.12.0 with [sources] stripped resolves against
registry-only dependencies (picking DiffEqBase 7.10.0) and loads; ONLS and
Differentiation instantiate and load in-tree. Their registry-only check has to
wait until Core 4.12.0 is actually registered.

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

---------

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

Author: 3 people

lib/OrdinaryDiffEqBDF/Project.toml

@@ -63,7 +63,7 @@ OrdinaryDiffEqDifferentiation = "3.3"
 OrdinaryDiffEqSDIRK = "2.5"
 TruncatedStacktraces = "1.4"
 SciMLBase = "3.39"
-OrdinaryDiffEqCore = "4.11"
+OrdinaryDiffEqCore = "4.12"
 ArrayInterface = "7.28"
 Enzyme = "0.13.180"
 Preferences = "1.5.0"

lib/OrdinaryDiffEqCore/Project.toml

@@ -57,7 +57,7 @@ Adapt = "4.5.2"
 ArrayInterface = "7.28"
 BinaryHeaps = "1"
 CommonSolve = "0.2.6"
-DiffEqBase = "7.8"
+DiffEqBase = "7.10"
 DiffEqDevTools = "3"
 DifferentiationInterface = "0.7.18"
 DocStringExtensions = "0.9.5"

lib/OrdinaryDiffEqDifferentiation/Project.toml

@@ -25,7 +25,7 @@ LinearSolve = "5.1"
 ConstructionBase = "1.5.8"
 LinearAlgebra = "1.10"
 SciMLBase = "3.40"
-OrdinaryDiffEqCore = "4"
+OrdinaryDiffEqCore = "4.12"
 OrdinaryDiffEqBDF = "2"
 OrdinaryDiffEqRosenbrock = "2"
 OrdinaryDiffEqSDIRK = "2"
@@ -38,7 +38,7 @@ StaticArraysCore = "1.4.3"
 SparseMatrixColorings = "0.4.23"
 julia = "1.10"
 ADTypes = "1.22.0"
-DiffEqBase = "7"
+DiffEqBase = "7.10"
 SafeTestsets = "0.1.0"
 SciMLOperators = "1.24.4"
 

lib/OrdinaryDiffEqFIRK/Project.toml

@@ -48,7 +48,7 @@ LinearSolve = "5.1"
 LinearAlgebra = "1.10"
 OrdinaryDiffEqDifferentiation = "3.3"
 SciMLBase = "3.39"
-OrdinaryDiffEqCore = "4.4"
+OrdinaryDiffEqCore = "4.12"
 GenericSchur = "0.5"
 julia = "1.10"
 ADTypes = "1.22.0"

lib/OrdinaryDiffEqNonlinearSolve/Project.toml

@@ -61,14 +61,14 @@ MuladdMacro = "0.2.4"
 LinearSolve = "5.2"
 LineSearches = "7.5.1"
 LinearAlgebra = "1.10"
-OrdinaryDiffEqDifferentiation = "3.3"
+OrdinaryDiffEqDifferentiation = "3.6"
 OrdinaryDiffEqBDF = "2"
 OrdinaryDiffEqFIRK = "2"
 OrdinaryDiffEqRosenbrock = "2"
 OrdinaryDiffEqSDIRK = "2"
 Statistics = "1.10.0"
 SciMLBase = "3.40"
-OrdinaryDiffEqCore = "4.6"
+OrdinaryDiffEqCore = "4.12"
 SimpleNonlinearSolve = "2.11.1"
 FastClosures = "0.3.2"
 SparseArrays = "1"
@@ -80,7 +80,7 @@ ADTypes = "1.22.0"
 RecursiveArrayTools = "4.2.0"
 ODEProblemLibrary = "1"
 PreallocationTools = "1.1.2"
-DiffEqBase = "7"
+DiffEqBase = "7.10"
 SafeTestsets = "0.1.0"
 SciMLOperators = "1.24.4"
 SparseConnectivityTracer = "1"

lib/OrdinaryDiffEqSDIRK/Project.toml

@@ -59,7 +59,7 @@ julia = "1.10"
 ADTypes = "1.22.0"
 CommonSolve = "0.2.6"
 RecursiveArrayTools = "4.2.0"
-OrdinaryDiffEqNonlinearSolve = "2"
+OrdinaryDiffEqNonlinearSolve = "2.6"
 DiffEqBase = "7"
 Reexport = "1.2.2"
 SafeTestsets = "0.1.0"