Route solver warnings through DEVerbosity instead of verbose !== false

DiffEqBase v7 passes `verbose` as a `DEVerbosity` object. Even silent
modes like `DEVerbosity(None())` are not `===false`, so the prior
`verbose !== false` guard always admitted warnings and ignored the
caller's silence request.

- Route every compat warning (unsupported kwargs, explicit t-gradient /
  Jacobian on stiff solvers, compat-chart link) through `@SciMLMessage`.
  `@SciMLMessage` handles both `Bool` (true→WarnLevel, false→Silent)
  and `AbstractVerbositySpecifier` (reads the named toggle), so v6
  callers and v7 callers are both honored.
- Use the `:mismatched_input_output_type` toggle from `DEVerbosity`,
  which is the right bucket for "input the GeometricIntegrators solver
  cannot honor" messages.
- Inline the `check_keywords` loop since the SciMLBase helper always
  `@warn`s and can't be parameterized by verbosity.
- Add `SciMLLogging` as a direct dep for `@SciMLMessage`.

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

Author: ChrisRackauckas

Project.toml

@@ -8,13 +8,15 @@ DiffEqBase = "2b5f629d-d688-5b77-993f-72d75c75574e"
 GeometricIntegrators = "dcce2d33-59f6-5b8d-9047-0defad88ae06"
 Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 SciMLBase = "0bca4576-84f4-4d90-8ffe-ffa030f20462"
+SciMLLogging = "a6db7da4-7206-11f0-1eab-35f2a5dbe1d1"
 
 [compat]
 DiffEqBase = "6.62, 7"
 ExplicitImports = "1.14.0"
 GeometricIntegrators = "0.15, 0.16"
 Reexport = "0.2, 1"
 SciMLBase = "2, 3"
+SciMLLogging = "1"
 julia = "1.10"
 
 [extras]

src/GeometricIntegratorsDiffEq.jl

@@ -2,7 +2,8 @@ module GeometricIntegratorsDiffEq
 
 using Reexport: Reexport, @reexport
 @reexport using DiffEqBase: DiffEqBase
-using SciMLBase: SciMLBase, ReturnCode, check_keywords, warn_compat
+using SciMLBase: SciMLBase, ReturnCode
+using SciMLLogging: @SciMLMessage
 
 using GeometricIntegrators: GeometricIntegrators, CrankNicolson, Crouzeix,
     ExplicitEuler, ExplicitMidpoint, Gauss, Heun2, Heun3, ImplicitEuler,

src/solve.jl

@@ -15,30 +15,53 @@ function DiffEqBase.__solve(
         error("dt required for fixed timestep methods.")
     end
 
-    # DiffEqBase v7 passes `verbose` as a `DEVerbosity` object instead of a Bool.
-    # Treat anything that is not literally `false` as "show warnings".
-    verbose_bool = verbose !== false
-
     isstiff = !(
         alg isa Union{
             GIImplicitEuler, GIImplicitMidpoint,
             GISRK3, GIGLRK, GIRadauIA, GIRadauIIA,
         }
     )
 
-    if verbose_bool
-        warned = !isempty(kwargs) && check_keywords(alg, kwargs, warnlist)
-        if !(prob.f isa DiffEqBase.AbstractParameterizedFunction) && isstiff
-            if DiffEqBase.has_tgrad(prob.f)
-                @warn "Explicit t-gradient given to this stiff solver is ignored."
-                warned = true
-            end
-            if DiffEqBase.has_jac(prob.f)
-                @warn "Explicit Jacobian given to this stiff solver is ignored."
-                warned = true
-            end
+    # `verbose` may be a `Bool` (DiffEqBase v6) or a `DEVerbosity` / other
+    # `AbstractVerbositySpecifier` (DiffEqBase v7+). Route each warning through
+    # `@SciMLMessage` so a silent spec (e.g. `DEVerbosity(None())`) actually
+    # suppresses it — a `verbose !== false` guard can't, since a silent
+    # `DEVerbosity` is not `false`. The `:mismatched_input_output_type` toggle
+    # is the right DEVerbosity bucket for these: every message here reports an
+    # input the GeometricIntegrators solver cannot honor. For `Bool` verbose,
+    # `@SciMLMessage` ignores the toggle name and just maps true→WarnLevel,
+    # false→Silent.
+    warned = false
+    for (kw, val) in kwargs
+        if kw in warnlist && val !== nothing
+            @SciMLMessage(
+                string("The ", kw, " argument is ignored by ", alg, "."),
+                verbose, :mismatched_input_output_type
+            )
+            warned = true
+        end
+    end
+    if !(prob.f isa DiffEqBase.AbstractParameterizedFunction) && isstiff
+        if DiffEqBase.has_tgrad(prob.f)
+            @SciMLMessage(
+                "Explicit t-gradient given to this stiff solver is ignored.",
+                verbose, :mismatched_input_output_type
+            )
+            warned = true
         end
-        warned && warn_compat()
+        if DiffEqBase.has_jac(prob.f)
+            @SciMLMessage(
+                "Explicit Jacobian given to this stiff solver is ignored.",
+                verbose, :mismatched_input_output_type
+            )
+            warned = true
+        end
+    end
+    if warned
+        @SciMLMessage(
+            "https://docs.sciml.ai/DiffEqDocs/stable/basics/compatibility_chart/",
+            verbose, :mismatched_input_output_type
+        )
     end
 
     if callback !== nothing