Qualified scientific core

Qualified scientific core v1¶

This profile names the small public surface whose existing contracts have value/failure boundaries, limitations, and independent validation evidence.

• jaxstro.units is the static-module exception: its qualified contract is ownership/non-ownership, CGS dimensional policy, and scale/conversion/default evidence. It makes no JAX-transform or numerical-failure claim.

• jaxstro.numerics.safeguarded_bracketed_root has public analytical-root and typed-failure validation in tests/validation/test_bracketed_root_algorithms.py.

• jaxstro.numerics.implicit_bracketed_root has derivative validation in tests/validation/test_implicit_root_gradients.py.

• jaxstro.numerics.universal_kepler_step has fixed-route derivative validation in tests/validation/test_kepler_gradients.py.

This profile does not qualify every importable callable, a downstream physical model, automatic differentiation across status or discrete-route changes, or any GPU, TPU, macOS, Windows, or unlisted Python runtime.

jaxstro.quad.fixed and jaxstro.quad.integrate remain experimental and are not promoted by this profile.