Skip to content

Raise Mooncake compat floor to 0.5.36 (fix Downgrade resolution)#338

Closed
ChrisRackauckas-Claude wants to merge 1 commit into
SciML:masterfrom
ChrisRackauckas-Claude:raise-mooncake-floor-0.5.36
Closed

Raise Mooncake compat floor to 0.5.36 (fix Downgrade resolution)#338
ChrisRackauckas-Claude wants to merge 1 commit into
SciML:masterfrom
ChrisRackauckas-Claude:raise-mooncake-floor-0.5.36

Conversation

@ChrisRackauckas-Claude

Copy link
Copy Markdown
Contributor

What

Raise the Mooncake [compat] floor from 0.5.6 to the latest registered Mooncake (0.5.36) in the root Project.toml — the only Project.toml in the repo that declares a Mooncake compat entry.

Why

The old floor (0.5.6) let the Downgrade CI min-resolution pin an ancient Mooncake, which fed the Resolver.jl-capacity Unsatisfiable wall. Limiting to the latest Mooncake stops the downgrade from selecting an old version.

Raised floors

File Old floor New floor
Project.toml 0.5.6 0.5.36

Also bumped the package version 5.4.2 -> 5.4.3 (compat narrowing = patch-level change).

Verification (resolves_at_min = true)

Reproduced the downgrade min-resolution on Julia 1.12.6 using julia-actions/julia-downgrade-compat's downgrade.jl (mode=alldeps, the same merged [extras]+[targets].test path CI uses). Result:

[ Info: Running resolver on merged project (extras) for . with --min=@alldeps
[ Info: Successfully resolved minimal versions for . (with extras)
  • Resolution SUCCEEDS — no Unsatisfiable, exit code 0.
  • Mooncake resolved to exactly 0.5.36 in the manifest (the new floor).

So the floor-raise alone fixes the Downgrade Unsatisfiable wall for this repo; the Resolver-capacity blocker (#52) is not hit here.


Please ignore until reviewed by @ChrisRackauckas.

The old Mooncake floor (0.5.6) let the Downgrade CI min-resolution pin an
ancient Mooncake, which fed the Resolver.jl-capacity Unsatisfiable wall.
Raise the floor to the latest registered Mooncake (0.5.36) so the min
resolution picks a modern version.

Verified on Julia 1.12 with julia-actions/julia-downgrade-compat
downgrade.jl (mode=alldeps): the merged min-resolution now resolves
successfully with Mooncake pinned at 0.5.36 (no Unsatisfiable).

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

Copy link
Copy Markdown
Contributor Author

Closing. Verified locally (ran the action's own downgrade.jl on the identical commit CI failed on) that raising the Mooncake compat floor does NOT fix the Downgrade lane. The failure is julia-downgrade-compat@v2 merged mode promoting all ~13 weakdep AD backends (Mooncake, Zygote, ForwardDiff, DifferentiationInterface, …) to hard deps and running Resolver.jl --min on the joint graph — which is registry-snapshot-dependent (flips UNSAT↔SAT as those packages release) and independent of Mooncake's version. This PR also unnecessarily narrows Mooncake compat. Real fix is julia-actions/julia-downgrade-compat#52 (do not promote weakdeps in merged resolution). Superseded — closing.

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