If primal_status(model) is INFEASIBILITY_CERTIFICATE, then value(x) is a primal unbounded ray (a certificate of dual infeasibility).
I guess I need to add an explicit example of this to the documentation.
(Edit: see [docs] add section on unbounded rays by odow · Pull Request #3945 · jump-dev/JuMP.jl · GitHub)