gitdir: ../../../.git/modules/immrax/_vendor/jax-verify
