Remove restored Shooting blanket reexports

ChrisRackauckas · ChrisRackauckas · commit 6414a316f415 · 2026-08-02T08:52:24.000-04:00
Restore the focused Shooting API and direct owner imports in docs.

Co-Authored-By: Chris Rackauckas &lt;accounts@chrisrackauckas.com&gt;
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -16,6 +16,7 @@ LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 LinearSolve = "7ed4a6bd-45f5-4d41-b270-4a48e9bafcae"
 OptimizationIpopt = "43fad042-7963-4b32-ab19-e2a4f9a67124"
 OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed"
+OrdinaryDiffEqTsit5 = "b1df2697-797e-41e3-8120-5422d3b24e4a"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 SciMLBase = "0bca4576-84f4-4d90-8ffe-ffa030f20462"
 SimpleBoundaryValueDiffEq = "be0294bd-f90f-4760-ac4e-3421ce2b2da0"
@@ -38,6 +39,7 @@ LinearAlgebra = "1.10"
 LinearSolve = "2.36.2, 3, 4.2, 5.0"
 OptimizationIpopt = "0.2.0, 1.0"
 OrdinaryDiffEq = "7"
+OrdinaryDiffEqTsit5 = "1, 2"
 Plots = "1"
 SciMLBase = "2.60.0, 3"
 SimpleBoundaryValueDiffEq = "1.1.0"
diff --git a/docs/src/solvers/shooting.md b/docs/src/solvers/shooting.md
@@ -7,20 +7,16 @@ using Pkg
 Pkg.add("BoundaryValueDiffEqShooting")
 ```
 
-!!! note "Require OrdinaryDiffEq"
-    
-    Shooting methods require OrdinaryDiffEq.jl loaded to use the ODE solvers
+Shooting algorithms operate on problem definitions and solver functions owned by SciMLBase,
+and require an ODE algorithm from its owning solver package:
 
 ```julia
-solve(prob::BVProblem, alg; kwargs...)
-solve(prob::TwoPointBVProblem, alg; kwargs...)
-```
-
-Shooting methods should be use together with ODE solvers:
+using BoundaryValueDiffEqShooting: MultipleShooting, Shooting
+using OrdinaryDiffEqTsit5: Tsit5
+using SciMLBase: BVProblem, TwoPointBVProblem, solve
 
-```
-BoundaryValueDiffEqShooting.Shooting
-BoundaryValueDiffEqShooting.MultipleShooting
+# `prob` is a BVProblem or TwoPointBVProblem defined with SciMLBase.
+sol = solve(prob, Shooting(Tsit5()))
 ```
 
 ## Full List of Methods
diff --git a/lib/BoundaryValueDiffEqShooting/src/BoundaryValueDiffEqShooting.jl b/lib/BoundaryValueDiffEqShooting/src/BoundaryValueDiffEqShooting.jl
@@ -37,71 +37,6 @@ using OrdinaryDiffEqTsit5: Tsit5
 using PrecompileTools: @compile_workload, @setup_workload
 using Preferences: Preferences
 
-# The public API that BoundaryValueDiffEqShooting re-exports (see the second `export`
-# below), so that `using BoundaryValueDiffEqShooting` on its own is enough to pick an AD
-# backend, build a `BVProblem`, choose the inner nonlinear solver, and inspect the
-# solution. These names stay owned and documented by ADTypes, BoundaryValueDiffEqCore and
-# SciMLBase; the set is the one the previous `@reexport using ADTypes,
-# BoundaryValueDiffEqCore, SciMLBase` made public.
-using ADTypes: AbstractADType, AbstractColoringAlgorithm, AbstractSparsityDetector,
-    AutoChainRules, AutoDiffractor, AutoEnzyme, AutoFastDifferentiation, AutoFiniteDiff,
-    AutoFiniteDifferences, AutoGTPSA, AutoHyperHessians, AutoModelingToolkit, AutoMooncake,
-    AutoMooncakeForward, AutoPolyesterForwardDiff, AutoReactant, AutoReverseDiff,
-    AutoSparseFastDifferentiation, AutoSparseFiniteDiff, AutoSparseForwardDiff,
-    AutoSparsePolyesterForwardDiff, AutoSparseReverseDiff, AutoSparseZygote, AutoSymbolics,
-    AutoTapir, AutoTaylorDiff, AutoTracker, AutoZygote, NoAutoDiff, NoAutoDiffSelectedError,
-    column_coloring, hessian_sparsity, jacobian_sparsity, row_coloring, symmetric_coloring
-using SciMLBase: AbstractAnalyticalProblem, AddVector, AffineOperator, AllObserved,
-    AnalyticalProblem, BVPFunction, BatchIntegralFunction, BlockDiagonalOperator,
-    CallbackSet, CheckInit, Clocks, ContinuousCallback, ConvexOptimizationProblem,
-    DAEFunction, DAEProblem, DAESolution, DDEFunction, DDEProblem, DiagonalOperator,
-    DiscreteCallback, DiscreteFunction, DiscreteProblem, DynamicalBVPFunction,
-    DynamicalDDEFunction, DynamicalDDEProblem, DynamicalODEFunction, DynamicalODEProblem,
-    DynamicalSDEFunction, DynamicalSDEProblem, EigenvalueProblem, EigenvalueSolution,
-    EigenvalueTarget, EnsembleAnalysis, EnsembleContext, EnsembleDistributed,
-    EnsembleProblem, EnsembleSolution, EnsembleSplitThreads, EnsembleSummary,
-    EnsembleTestSolution, FunctionOperator, HomotopyNonlinearFunction, HomotopyProblem,
-    IdentityOperator, ImplicitDiscreteFunction, ImplicitDiscreteProblem,
-    IncrementingODEFunction, IncrementingODEProblem, IntegralFunction, IntegralProblem,
-    IntegralSolution, IntervalNonlinearFunction, IntervalNonlinearProblem,
-    InvertibleOperator, LinearAliasSpecifier, LinearProblem, LinearSolution, MatrixOperator,
-    MultiObjectiveOptimizationFunction, NoiseProblem, NonlinearLeastSquaresProblem,
-    NonlinearProblem, NonlinearSolution, NullOperator, ODEAliasSpecifier, ODEFunction,
-    ODEInputFunction, ODESolution, OptimizationFunction, OptimizationProblem,
-    OptimizationSolution, PDENoTimeSolution, PDEProblem, PDETimeSeriesSolution,
-    RODEFunction, RODEProblem, RODESolution, ReturnCode, SCCNonlinearProblem, SDDEFunction,
-    SDDEProblem, SDEFunction, SDEProblem, SampledIntegralProblem, ScalarOperator,
-    SciMLOperators, SecondOrderBVProblem, SecondOrderDDEProblem, SecondOrderODEProblem,
-    SplitFunction, SplitODEProblem, SplitSDEFunction, SplitSDEProblem, StaticWOperator,
-    SteadyStateProblem, SteadyStateSolution, TensorProductOperator, TensorSumOperator,
-    TimeDomain, TwoPointBVPFunction, TwoPointDynamicalBVPFunction,
-    TwoPointSecondOrderBVProblem, VectorContinuousCallback, WOperator, add_saveat!,
-    add_tstop!, addat!, addat_non_user_cache!, addsteps!, auto_dt_reset!, cache_operator,
-    change_t_via_interpolation!, check_error, check_keywords, concretize, deleteat!,
-    deleteat_non_user_cache!, derivative_discontinuity!, discretize, du_cache, first_tstop,
-    full_cache, get_dt, get_du, get_du!, get_proposed_dt, get_rng, get_tmp_cache,
-    has_adjoint, has_concretization, has_exp, has_expmv, has_expmv!, has_ldiv, has_ldiv!,
-    has_mul, has_mul!, has_rng, has_tstop, init, is_discrete_time_domain, iscached, isclock,
-    isconstant, iscontinuous, isconvertible, isdiscrete, islinear, issolverstepclock,
-    issquare, kronsum, pop_tstop!, rand_cache, ratenoise_cache,
-    reeval_internals_due_to_modification!, reinit!, resize_non_user_cache!, savevalues!,
-    set_abstol!, set_proposed_dt!, set_reltol!, set_rng!, set_t!, set_u!, step!,
-    supports_solve_rng, symbolic_discretize, terminate!, u_cache, u_modified!,
-    update_coefficients, update_coefficients!, user_cache, warn_compat
-using BoundaryValueDiffEqCore: AbsNormSafeBestTerminationMode, AbsNormSafeTerminationMode,
-    AbsNormTerminationMode, AbsTerminationMode, ArcLengthContinuation, BVPVerbosity,
-    DEFAULT_VERBOSE, DampedNewtonDescent, DefectControl, DescentResult, Dogleg,
-    EisenstatWalkerForcing2, FastShortcutNLLSPolyalg, GaussNewton,
-    GeneralizedFirstOrderAlgorithm, GeodesicAcceleration, GlobalErrorControl,
-    HOErrorControl, HomotopyPolyAlgorithm, HomotopySweep, HybridErrorControl,
-    KantorovichHomotopy, LevenbergMarquardt, NewtonDescent, NewtonRaphson, NoErrorControl,
-    NonlinearSolveBase, NonlinearSolveFirstOrder, NonlinearSolvePolyAlgorithm,
-    NonlinearVerbosity, NormTerminationMode, PseudoTransient, REErrorControl,
-    RadiusUpdateSchemes, RelNormSafeBestTerminationMode, RelNormSafeTerminationMode,
-    RelNormTerminationMode, RelTerminationMode, RobustMultiNewton, SequentialErrorControl,
-    SteepestDescent, TraceAll, TraceMinimal, TraceWithJacobianConditionNumber, TrustRegion,
-    integral
-
 const DI = DifferentiationInterface
 
 include("algorithms.jl")
@@ -173,68 +108,4 @@ end
 
 export Shooting, MultipleShooting
 
-# Re-exported ADTypes / BoundaryValueDiffEqCore / SciMLBase public API; approved via
-# `reexports_allow` in test/qa/qa.jl.
-export ADTypes, AbsNormSafeBestTerminationMode, AbsNormSafeTerminationMode,
-    AbsNormTerminationMode, AbsTerminationMode, AbstractADType, AbstractAnalyticalProblem,
-    AbstractBoundaryValueDiffEqAlgorithm, AbstractColoringAlgorithm,
-    AbstractSparsityDetector, AddVector, AffineOperator, AllObserved, AnalyticalProblem,
-    ArcLengthContinuation, AutoChainRules, AutoDiffractor, AutoEnzyme,
-    AutoFastDifferentiation, AutoFiniteDiff, AutoFiniteDifferences, AutoForwardDiff,
-    AutoGTPSA, AutoHyperHessians, AutoModelingToolkit, AutoMooncake, AutoMooncakeForward,
-    AutoPolyesterForwardDiff, AutoReactant, AutoReverseDiff, AutoSparse,
-    AutoSparseFastDifferentiation, AutoSparseFiniteDiff, AutoSparseForwardDiff,
-    AutoSparsePolyesterForwardDiff, AutoSparseReverseDiff, AutoSparseZygote, AutoSymbolics,
-    AutoTapir, AutoTaylorDiff, AutoTracker, AutoZygote, BVPFunction, BVPJacobianAlgorithm,
-    BVPVerbosity, BVProblem, BatchIntegralFunction, BlockDiagonalOperator,
-    BoundaryValueDiffEqCore, CallbackSet, CheckInit, Clocks, ContinuousCallback,
-    ConvexOptimizationProblem, DAEFunction, DAEProblem, DAESolution, DDEFunction,
-    DDEProblem, DEFAULT_VERBOSE, DampedNewtonDescent, DefectControl, DescentResult,
-    DiagonalOperator, DiscreteCallback, DiscreteFunction, DiscreteProblem, Dogleg,
-    DynamicalBVPFunction, DynamicalDDEFunction, DynamicalDDEProblem, DynamicalODEFunction,
-    DynamicalODEProblem, DynamicalSDEFunction, DynamicalSDEProblem, EigenvalueProblem,
-    EigenvalueSolution, EigenvalueTarget, EisenstatWalkerForcing2, EnsembleAnalysis,
-    EnsembleContext, EnsembleDistributed, EnsembleProblem, EnsembleSerial, EnsembleSolution,
-    EnsembleSplitThreads, EnsembleSummary, EnsembleTestSolution, EnsembleThreads,
-    FastShortcutNLLSPolyalg, FunctionOperator, GaussNewton, GeneralizedFirstOrderAlgorithm,
-    GeodesicAcceleration, GlobalErrorControl, HOErrorControl, HomotopyNonlinearFunction,
-    HomotopyPolyAlgorithm, HomotopyProblem, HomotopySweep, HybridErrorControl,
-    IdentityOperator, ImplicitDiscreteFunction, ImplicitDiscreteProblem,
-    IncrementingODEFunction, IncrementingODEProblem, IntegralFunction, IntegralProblem,
-    IntegralSolution, IntervalNonlinearFunction, IntervalNonlinearProblem,
-    InvertibleOperator, KantorovichHomotopy, LevenbergMarquardt, LinearAliasSpecifier,
-    LinearProblem, LinearSolution, MatrixOperator, MultiObjectiveOptimizationFunction,
-    NewtonDescent, NewtonRaphson, NoAutoDiff, NoAutoDiffSelectedError, NoErrorControl,
-    NoiseProblem, NonlinearFunction, NonlinearLeastSquaresProblem, NonlinearProblem,
-    NonlinearSolution, NonlinearSolveBase, NonlinearSolveFirstOrder,
-    NonlinearSolvePolyAlgorithm, NonlinearVerbosity, NormTerminationMode, NullOperator,
-    ODEAliasSpecifier, ODEFunction, ODEInputFunction, ODEProblem, ODESolution,
-    OptimizationFunction, OptimizationProblem, OptimizationSolution, PDENoTimeSolution,
-    PDEProblem, PDETimeSeriesSolution, PseudoTransient, REErrorControl, RODEFunction,
-    RODEProblem, RODESolution, RadiusUpdateSchemes, RelNormSafeBestTerminationMode,
-    RelNormSafeTerminationMode, RelNormTerminationMode, RelTerminationMode, ReturnCode,
-    RobustMultiNewton, SCCNonlinearProblem, SDDEFunction, SDDEProblem, SDEFunction,
-    SDEProblem, SampledIntegralProblem, ScalarOperator, SciMLBase, SciMLOperators,
-    SecondOrderBVProblem, SecondOrderDDEProblem, SecondOrderODEProblem,
-    SequentialErrorControl, SplitFunction, SplitODEProblem, SplitSDEFunction,
-    SplitSDEProblem, StaticWOperator, SteadyStateProblem, SteadyStateSolution,
-    SteepestDescent, TensorProductOperator, TensorSumOperator, TimeDomain, TraceAll,
-    TraceMinimal, TraceWithJacobianConditionNumber, TrustRegion, TwoPointBVPFunction,
-    TwoPointBVProblem, TwoPointDynamicalBVPFunction, TwoPointSecondOrderBVProblem,
-    VectorContinuousCallback, WOperator, _process_verbose_param, add_saveat!, add_tstop!,
-    addat!, addat_non_user_cache!, addsteps!, auto_dt_reset!, cache_operator,
-    change_t_via_interpolation!, check_error, check_keywords, column_coloring, concretize,
-    deleteat!, deleteat_non_user_cache!, derivative_discontinuity!, discretize, du_cache,
-    first_tstop, full_cache, get_dt, get_du, get_du!, get_proposed_dt, get_rng,
-    get_tmp_cache, has_adjoint, has_concretization, has_exp, has_expmv, has_expmv!,
-    has_ldiv, has_ldiv!, has_mul, has_mul!, has_rng, has_tstop, hessian_sparsity, init,
-    integral, is_discrete_time_domain, iscached, isclock, isconstant, iscontinuous,
-    isconvertible, isdiscrete, isinplace, islinear, issolverstepclock, issquare,
-    jacobian_sparsity, kronsum, pickchunksize, pop_tstop!, rand_cache, ratenoise_cache,
-    reeval_internals_due_to_modification!, reinit!, remake, resize_non_user_cache!,
-    row_coloring, savevalues!, set_abstol!, set_proposed_dt!, set_reltol!, set_rng!, set_t!,
-    set_u!, solve, solve!, step!, supports_solve_rng, symbolic_discretize,
-    symmetric_coloring, terminate!, u_cache, u_modified!, update_coefficients,
-    update_coefficients!, user_cache, warn_compat
-
 end # module BoundaryValueDiffEqShooting
diff --git a/lib/BoundaryValueDiffEqShooting/src/algorithms.jl b/lib/BoundaryValueDiffEqShooting/src/algorithms.jl
@@ -43,7 +43,8 @@ boundary conditions.
 ## Examples
 
 ```julia
-using BoundaryValueDiffEqShooting, OrdinaryDiffEqTsit5
+using BoundaryValueDiffEqShooting: Shooting
+using OrdinaryDiffEqTsit5: Tsit5
 
 alg = Shooting(Tsit5())
 ```
@@ -131,7 +132,8 @@ it is generally more stable than [`Shooting`](@ref).
 ## Examples
 
 ```julia
-using BoundaryValueDiffEqShooting, OrdinaryDiffEqTsit5
+using BoundaryValueDiffEqShooting: MultipleShooting
+using OrdinaryDiffEqTsit5: Tsit5
 
 alg = MultipleShooting(8, Tsit5(); grid_coarsening = true)
 ```
diff --git a/lib/BoundaryValueDiffEqShooting/test/qa/qa.jl b/lib/BoundaryValueDiffEqShooting/test/qa/qa.jl
@@ -2,27 +2,12 @@ using SciMLTesting
 using BoundaryValueDiffEqShooting
 using Test
 
-const DOCS_SRC = normpath(joinpath(@__DIR__, "..", "..", "..", "..", "docs", "src"))
-# `SHOOTING_REEXPORTS` is the audited set of ADTypes / BoundaryValueDiffEqCore /
-# SciMLBase names that BoundaryValueDiffEqShooting deliberately re-exports; it is kept
-# in sync with the re-export `export` block in src/BoundaryValueDiffEqShooting.jl.
-include(joinpath(@__DIR__, "..", "..", "..", "..", "test", "qa", "reexports.jl"))
-
 run_qa(
     BoundaryValueDiffEqShooting;
     aqua_kwargs = (; persistent_tasks = false),
     ei_kwargs = (;
-        # All external internals with no public replacement:
-        #   - StandardBVProblem: SciMLBase-owned BVP problem type, not public.
-        #   - overloaded_input_type: DifferentiationInterface internal.
-        #   - pickchunksize: ForwardDiff internal.
         all_explicit_imports_are_public = (;
-            ignore = (:StandardBVProblem, :overloaded_input_type, :pickchunksize),
+            ignore = (:overloaded_input_type, :pickchunksize),
         ),
     ),
-    reexports_allow = SHOOTING_REEXPORTS,
-    api_docs_kwargs = (;
-        docs_src = DOCS_SRC, ignore = SHOOTING_REEXPORTS,
-        rendered_ignore = SHOOTING_REEXPORTS,
-    ),
 )
