Skip to content

Downgrade: raise Reexport compat floor to 1.2.2#57

Draft
ChrisRackauckas-Claude wants to merge 1 commit into
SciML:mainfrom
ChrisRackauckas-Claude:fix-downgrade-floor
Draft

Downgrade: raise Reexport compat floor to 1.2.2#57
ChrisRackauckas-Claude wants to merge 1 commit into
SciML:mainfrom
ChrisRackauckas-Claude:fix-downgrade-floor

Conversation

@ChrisRackauckas-Claude

Copy link
Copy Markdown
Contributor

Fix MINIMUM-VERSION downgrade resolve failure

The Downgrade workflow fails at the Pkg.test re-resolve step (latest failing run 27089954821) with:

Unsatisfiable requirements detected for package OrdinaryDiffEqLinear [521117fe]

Conflicting pin / why the old floor was impossible

At the downgrade minimum the resolver pins SciMLBase to its 2.84.0 floor. SciMLBase 2.84.0 caps OrdinaryDiffEqLinear to <= 1.4.0, and OrdinaryDiffEqLinear 1.1–1.4 require Reexport = "1.2.2 - 1" (i.e. >= 1.2.2).

The old compat Reexport = "1" let the downgrade manifest lock Reexport at 1.2.0, which is < 1.2.2, so no installable OrdinaryDiffEqLinear version remained → Unsatisfiable. The old floor 1.0.0 was never co-installable with the package's own OrdinaryDiffEq stack at the downgrade minimum.

Fix

Raise the Reexport floor to 1.2.2 — the smallest Reexport that OrdinaryDiffEqLinear 1.1–1.4 accept (and the only valid choice given SciMLBase's 2.84.0 floor). This is a lower-bound raise only; no upper bound or test logic changed.

Resolve verification (local, Julia 1.10 lts floor)

Reproducing the downgrade re-resolve with SciMLBase = "=2.84.0":

  • Reexport = "=1.2.0" (old floor's locked minimum) → Unsatisfiable (reproduces CI)
  • Reexport = "=1.2.2" (new floor) → RESOLVE OK (Reexport 1.2.2, OrdinaryDiffEqLinear 1.4.0, SciMLBase 2.84.0)

Note: the package's regular (latest-versions) test failure on main is a separate, unrelated MacroTools / Base.MethodList.mt issue on Julia pre, not addressed here.


This PR should be ignored until reviewed by @ChrisRackauckas.

🤖 Generated with Claude Code

…le at downgrade minimum)

At the downgrade minimum, SciMLBase is pinned to its 2.84.0 floor, which caps
OrdinaryDiffEqLinear to <=1.4.0. OrdinaryDiffEqLinear 1.1-1.4 require
Reexport >= 1.2.2, but the old floor Reexport = "1" let the resolver lock
Reexport at 1.2.0, leaving no installable OrdinaryDiffEqLinear -> Unsatisfiable.
Reexport 1.2.2 is the smallest version that resolves.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants