QA: run_qa v1.6 form + ExplicitImports

[ChrisRackauckas-Claude]

Ignore until reviewed by @ChrisRackauckas.

Converts the hand-rolled test/qa/qa.jl (manual Aqua.test_all + JET.report_package with @test_broken placeholders) onto SciMLTesting 1.6.0's run_qa, and enables the ExplicitImports checks (explicit_imports = true).

Preserved tracked-broken findings (issue #70)

• Aqua undefined_exports (symbolic_steady_states) -> aqua_broken = (:undefined_exports,)
• Aqua stale_deps (ReactionNetworkImporters, PolynomialRoots, ModelingToolkit, SBMLToolkit) -> aqua_broken = (:stale_deps,)
• Aqua deps_compat extras (Pkg missing [compat]) -> preserved as the non-broken aqua_kwargs tweak deps_compat = (check_extras = false,); the deps/weakdeps/julia compat checks still run and pass
• JET report-mode + @test_broken -> jet_broken = true. Verified locally the finding still reproduces (14 reports) only with the original invocation (target_defined_modules = true, no target_modules narrowing); jet_kwargs therefore overrides the run_qa default to drop target_modules so the genuine reports are surfaced as Broken rather than filtered out.

ExplicitImports findings (6 checks, vs released SciMLTesting 1.6.0)

• no_stale_explicit_imports — FIXED. using PrecompileTools: @setup_workload, @compile_workload was imported but never used (no @compile_workload block exists anywhere in the package). Removed the import and dropped PrecompileTools from root [deps]/[compat].
• no_implicit_imports — ei_broken. The package usings several large dependencies (Catalyst, Oscar, JuMP, Graphs, DynamicPolynomials, Satisfiability, ...) and relies on ~75 of their exported names implicitly. Making each explicit is a large, risky refactor; tracked in issue QA: Aqua/JET findings marked @test_broken pending fix #70 as ei_broken = (:no_implicit_imports,) (auto-flags once addressed).
• all_qualified_accesses_via_owners / all_qualified_accesses_are_public — ignore-listed. Non-public names accessed from other packages via Mod.name: BasicSymbolic (SymbolicUtils, via Symbolics), Library (CDDLib), Optimizer (HiGHS), assemble_oderhs/cycles/get_networkproperties/symmap_to_varmap (Catalyst), n_positive_roots (Hecke). Each ignore documents its source package.
• all_explicit_imports_via_owners / all_explicit_imports_are_public — pass.

Deps

test/qa/Project.toml: SciMLTesting compat -> "1.6"; dropped unused SafeTestsets; kept Aqua (the ambiguities sub-check spawns a child process that needs Aqua as a direct dep) and JET (jet_broken runs). ExplicitImports stays transitive via SciMLTesting (not added as a direct dep).

Local verification (Julia 1.10, released SciMLTesting 1.6.0, [sources] = ../..)

Test Summary:     | Pass  Broken  Total     Time
Quality Assurance |   13       4     17  5m05.1s

0 Fail, 0 Error. The 4 Broken are the preserved tracked findings: undefined_exports, stale_deps, jet_broken (14 reports), no_implicit_imports.

🤖 Generated with Claude Code