QA: run_qa v1.6 form + ExplicitImports (root + sublibs)

[ChrisRackauckas-Claude]

Please ignore until reviewed by @ChrisRackauckas.

Converts every QA environment in the monorepo (root + both lib/ sublibraries) to the SciMLTesting v1.6 run_qa form with ExplicitImports enabled.

Per QA env the old hand-rolled @testset "Aqua" Aqua.test_all(Mod) becomes run_qa(Mod; explicit_imports = true, ...), which runs Aqua (unchanged) plus the six ExplicitImports checks behind one dispatcher. SciMLTesting compat is bumped to 1.6 in each test/qa/Project.toml; ExplicitImports is pulled transitively (not added to [deps]). The [sources]/develop wiring for the sublibs is left exactly as is. No JET is run in any of these envs (none ran it before; QA lanes only run on lts/1, so the prerelease-JET crash class does not apply).

ExplicitImports findings per env

root Corleone — verified locally on released SciMLTesting 1.6.0, Julia 1.10: Quality Assurance | 16 Pass, 1 Broken, 0 Fail.

• no_implicit_imports: package uses bare using for all deps -> large implicit-import surface; marked ei_broken and tracked in the issue below (auto-flags an Unexpected Pass once fixed).
• all_qualified_accesses_via_owners: ignore :ADTypes (reached via SciMLBase.ADTypes.AbstractADType; ADTypes is not a direct dep).
• all_qualified_accesses_are_public: ignore deliberate Base/stdlib/SciML internal names (Fix1, Fix2, tail, front, OneTo, Splat, canonicalize, Tunable, setup, initialparameters, ...).
• remaining checks pass.

lib/CorleoneOED — verified locally: EI part 5 Pass, 1 Broken, 0 Fail.

• no_implicit_imports: same bare-using pattern -> ei_broken (tracked).
• all_qualified_accesses_are_public: ignore Base/SciML internals plus CorleoneOED's own as-yet-unexported helpers reached through Corleone.* (get_bounds, get_block_structure, shooting_constraints, ...).
• remaining checks pass.

lib/OptimalControlBenchmarks — verified locally: EI part 6 Pass, 0 Fail, 0 Broken (no broken markers needed).

• no_implicit_imports / no_stale_explicit_imports: the module is unanalyzable (dynamic include in problem_registry.jl), so allow_unanalyzable = (OptimalControlBenchmarks,).
• all_explicit_imports_via_owners / all_explicit_imports_are_public: ignore :inputs (re-exported by ModelingToolkit from ModelingToolkitBase).
• all_qualified_accesses_are_public: ignore :default_rng (Random), :initialstates (LuxCore).

Pre-existing Aqua failures (NOT introduced here)

The lib/CorleoneOED [QA] and lib/OptimalControlBenchmarks [QA] lanes are already red on master (SublibraryCI run #101) from genuine Aqua failures: CorleoneOED has method ambiguities, an unbound type param, undefined export CorleoneOED.Variable, stale deps, a missing Pkg extras-compat entry, and type piracy; OptimalControlBenchmarks has stale deps and missing deps/extras compat entries. This PR runs the same Aqua.test_all as before with no new disables — it does not mask those failures with aqua_broken, and does not make them worse. They need a separate real fix and are out of scope for this QA-form conversion.

Sublibs converted: 2 (CorleoneOED, OptimalControlBenchmarks), plus the root QA env.

🤖 Generated with Claude Code

Tracking issue for the no_implicit_imports broken markers: #103.

[ChrisRackauckas-Claude]

Rebased onto main (now at #108, 4036eea), which had already fixed the sublibrary QA (Aqua) and Downgrade reds at the source. Conflict resolution:

• lib/CorleoneOED/test/qa/Project.toml: union — kept Fix sublibrary QA (Aqua) and Downgrade CI red lanes #108's Corleone/CorleoneOED = "0.0.5" floors + this PR's SciMLTesting = "1.6".
• lib/OptimalControlBenchmarks/Project.toml: the PR's standalone ModelingToolkit = "11.2" floor-bump commit is now subsumed by Fix sublibrary QA (Aqua) and Downgrade CI red lanes #108's stricter 11.2.0 (+ the rest of Fix sublibrary QA (Aqua) and Downgrade CI red lanes #108's downgrade floors), so that commit dropped out of the rebase as empty. Net PR diff is now purely the QA-env conversion (3 × qa.jl → run_qa(...; explicit_imports=true) + SciMLTesting="1.6" compat).

Validated locally on Julia 1.12.6 (CI's julia 1 lane):

• CorleoneOED QA group: 16 pass / 1 broken (expected ei_broken=no_implicit_imports) / 0 fail.
• OptimalControlBenchmarks QA group: 17 pass / 0 fail.

CI after rebase: all QA/Downgrade/Core/Examples lanes green (24 pass). The sole red lane, Documentation / Build and Deploy, is a pre-existing main failure (fails identically on the #108 merge commit 4036eea and every prior main push): the docs/ env is unsatisfiable resolving Corleone 0.0.5 against CorleoneOED — "no compatible versions left with CorleoneOED". This PR does not touch docs/ and cannot fix it; it needs a separate docs/Project.toml compat change.

Ignore until reviewed by @ChrisRackauckas.