From 2134ed0c50fdf95808d3562695a3510934ee26a8 Mon Sep 17 00:00:00 2001 From: ChrisRackauckas-Claude Date: Tue, 23 Jun 2026 17:38:11 -0400 Subject: [PATCH] Raise DataDrivenLux Distributions floor to 0.25.123 for downgrade CI The Downgrade Sublibraries lane for lib/DataDrivenLux fails at the Pkg.test sandbox resolution with "Unsatisfiable requirements detected for ModelingToolkitBase": ModelingToolkitBase restricted by ModelingToolkit to 1.30.0+ (requires SymbolicUtils >= 4.23.1), but at --min the Distributions = "0.25" floor pins Distributions to 0.25.88, whose transitive constraints cap SymbolicUtils at <= 4.21.0 -> no versions left. The root DataDrivenDiffEq compat floors ModelingToolkit at 11.21.0, and the lowest MTK satisfying that (11.21.0) already requires MTKBase >= 1.30 -> SymbolicUtils >= 4.23.1. Distributions 0.25.123 is the lowest Distributions 0.25.x whose transitive graph admits SymbolicUtils >= 4.23.1 (bisected: 0.25.122 UNSAT, 0.25.123 OK with MTK 11.21.0). The upper bound is unchanged (0.25.123 means >=0.25.123,<0.26), so non-downgrade CI keeps picking the latest 0.25.x. Verified locally on Julia 1.10.11 in a clean depot: julia-downgrade-compat@v2 downgrade.jl (Resolver.jl --min, alldeps merged mode) resolves successfully, and the Pkg.test sandbox resolution that previously threw UNSAT now succeeds (resolves ModelingToolkitBase and SymbolicUtils at versions >= the floors that were impossible before). Co-Authored-By: Chris Rackauckas Co-Authored-By: Claude Opus 4.8 (1M context) --- lib/DataDrivenLux/Project.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/DataDrivenLux/Project.toml b/lib/DataDrivenLux/Project.toml index 05357723..07591e38 100644 --- a/lib/DataDrivenLux/Project.toml +++ b/lib/DataDrivenLux/Project.toml @@ -1,6 +1,6 @@ name = "DataDrivenLux" uuid = "47881146-99d0-492a-8425-8f2f33327637" -version = "0.2.3" +version = "0.2.4" authors = ["JuliusMartensen "] [deps] @@ -41,7 +41,7 @@ ComponentArrays = "0.15" ConcreteStructs = "0.2.3" DataDrivenDiffEq = "1.15" Distributed = "1.10" -Distributions = "0.25" +Distributions = "0.25.123" DistributionsAD = "0.6" DocStringExtensions = "0.9.3" ForwardDiff = "0.10, 1"