Terminal CI classification for head afc906e5bb: 8 checks succeeded, 3 were skipped, and 125 failed.

No package test body failed on this PR. Excluding Runic, all 124 failures stopped in resolution, source development, dependency installation, or package build before the workflow test step:

• 57 julia-downgrade-compat resolver failures;
• 38 julia-buildpkg failures, including every OrdinaryDiffEqDefault lane;
• 15 root in-repo source-development failures;
• 12 downstream integration jobs, each inspected and each reporting the SciMLBase unsatisfiable requirement before Pkg.test;
• 1 Default in-repo source-development failure;
• 1 documentation dependency-install failure.

The 67 non-downgrade failures all explicitly report the current SciMLBase 3.39/3.40 resolver boundary. The 57 downgrade jobs stop inside the downgrade resolver with Unsatisfiable; the corresponding lanes succeed on focused prerequisite #4066. The remaining failure is whole-tree Runic, whose log lists only disco.jl, controllers.jl, and disco_tests.jl, the clean-master formatting debt isolated in #4064; neither changed Default file appears.

Local validation on the exact implementation plus validation-only #4066 remains green: Default Core 46/46, JET 1/1, Aqua/ExplicitImports 19/19, and changed-file Runic. No CI-only workaround or unrelated prerequisite is being folded into this focused PR.

Added the packaging correction in 528e9b0858: OrdinaryDiffEqDefault now requires OrdinaryDiffEqCore = "4.11".

Local verification on the exact updated tree:

• GROUP=OrdinaryDiffEqDefault_Core: Default Solver Tests 46/46, package tests passed;
• GROUP=OrdinaryDiffEqDefault_QA: JET 1/1 and Aqua/ExplicitImports 19/19, package tests passed;
• clean registered dependency graph pinned to Core 4.10: resolution succeeds, then precompilation reproduces UndefVarError: lorenz_pref not defined in OrdinaryDiffEqCore through the registered Tsit5 workload;
• the same clean registered graph with Core 4.11: package precompiles and the Default algorithm solve/retcode/endpoint checks pass 5/5.

The temporary registered-graph checkout was restored and removed after the test. The branch is clean and matches pushed head 528e9b085851c01a542ce2839bbc3389b7c49ba0.

One-hour terminal CI audit for corrected head 528e9b0858: 8 checks succeeded, 3 were skipped, and 125 failed. No hosted job reached a failure in the Default helper localization or the new Core 4.11 floor.

Exact breakdown:

• all 10 triggered sublibrary failures (five OrdinaryDiffEqDefault, five DelayDiffEq) were checked and contain the same SciMLBase unsatisfiable requirement before tests;
• all 44 root test jobs stopped before tests (29 in julia-buildpkg, 15 developing in-repo sources) at that compatibility boundary;
• all 12 external downstream failure logs were checked individually and contain the same SciMLBase resolver failure;
• documentation stopped at the same boundary;
• 56 sublibrary downgrade jobs and the root downgrade job stopped inside the downgrade resolver before tests;
• Runic lists only the three inherited DISCO files owned by Run Runic on the disco-optimizations files #4064. The changed Default source and QA files are explicitly marked green in the hosted Runic log.

The resolver boundary is fixed separately by rebased #4066 (661bd35c64). Exact local evidence on this head remains green: Default Core 46/46, JET 1/1, Aqua/ExplicitImports 19/19, registered Core 4.11 solve checks 5/5; the Core 4.10 registered control reproduces the lorenz_pref precompile failure. No CI-only workaround is needed in #4074.