Searching protocol for "lineax"
Unified linear solvers across backends.
JAX+Equinox numerics, standardized.