QA: add ExplicitImports.jl checks to the QA group via SciMLTesting run_qa

[ChrisRackauckas-Claude]

Note

Please ignore this PR until it has been reviewed by @ChrisRackauckas.

What

Adds ExplicitImports.jl's six checks to the QA group, wired through SciMLTesting.run_qa's explicit_imports option, and makes them pass.

The six checks:

• no_implicit_imports
• no_stale_explicit_imports
• all_explicit_imports_via_owners
• all_qualified_accesses_via_owners
• all_qualified_accesses_are_public
• all_explicit_imports_are_public

How

SciMLIterators relies on no implicit imports, and all explicit imports / qualified accesses resolve via their owners, so four of the six checks pass with zero changes (FIX/DECLARE were unnecessary for those).

The two public-API checks fail only on dependency names that are genuinely non-public and have no public equivalent, so they are satisfied with a minimal, documented per-check ignore-list (ei_kwargs):

Check	Ignored	Why
all_explicit_imports_are_public	AbstractTimeseriesSolution, DEIntegrator, done	SciMLBase's integrator/solution interface — the entire surface this package iterates over. None are exported or declared public by SciMLBase, and there is no public alternative (verified: every Abstract*Integrator/AbstractTimeseriesSolution/done is non-public in SciMLBase). Per the campaign, the public-API checks here are not gated on a base-lib release declaring these public.
all_qualified_accesses_are_public	SizeUnknown	Base.IteratorSize(::Type) = Base.SizeUnknown(). SizeUnknown is the documented return value of the public Base.IteratorSize, but is itself a non-public Base internal with no public spelling.

No public-API declaration was needed for this package's own names: the failures are all about dependency names being imported, not SciMLIterators' own surface (it already exports tuples, intervals, TimeChoiceIterator).

Other changes in this commit

• The Aqua call moves into run_qa too. deps_compat now passes (the root Project.toml carries full [compat]), so its stale @test_broken is dropped and the check is re-enabled. piracies stays disabled with a single @test_broken marker tracking QA: Aqua/JET findings marked @test_broken pending fix #9 (the two tuples methods extend the RecursiveArrayTools function on SciMLBase-owned argument types — out of scope here).
• JET keeps running, now via run_qa's canonical jet = true (target_modules = (SciMLIterators,), mode = :typo), replacing the deprecated target_defined_modules = true. Verified clean.
• Bumps SciMLTesting compat to 1.4 (the release whose run_qa supports ExplicitImports) in both the root and QA [compat], and adds ExplicitImports = "1.15" to the QA sub-environment.

Verification (local, Julia 1 = 1.12.6)

All six ExplicitImports checks pass with the curated ignore-lists:

no_implicit_imports                    => PASS
no_stale_explicit_imports              => PASS
all_explicit_imports_via_owners        => PASS
all_qualified_accesses_via_owners      => PASS
all_qualified_accesses_are_public      => PASS
all_explicit_imports_are_public        => PASS

ALL 6 EXPLICITIMPORTS CHECKS PASS

Full QA group via GROUP=QA Pkg.test() (as CI runs it):

Test Summary: | Pass  Broken  Total   Time
QA/qa.jl      |   17       1     18  47.2s
     Testing SciMLIterators tests passed

(The 1 Broken is the pre-existing Aqua piracies marker for #9; the 17 passes cover Aqua minus piracies, JET, and all six ExplicitImports checks.)

🤖 Generated with Claude Code