Differentiable CO₂ thermodynamic properties in JAX. Pure-JAX Span-Wagner equation of state — JIT-compiled, vmappable, and fully differentiable via jax.grad. Phase-aware solvers robust through the critical point. Allows GPU speedup over CoolProp for CO₂.
