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

Author: ChrisRackauckas

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

@@ -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

@@ -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"