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>

Author: ChrisRackauckas

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"

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"