Normally, a nonzero Jacobian determinant means the map is locally invertible. Near each individual point, it behaves like a reversible coordinate change. The conjecture claimed that for complex polynomial maps, this local condition should force a single global polynomial inverse. The proposed map shows how local sheets could overlap globally: (0,0,−1/4),(1,−3/2,13/2),(−1,3/2,13/2) are separate points, each with a perfectly nonsingular local neighborhood, but all three neighborhoods map around the same target point. A rough analogy is the complex exponential map, which has nonzero derivative everywhere but wraps many points onto the same output. The exponential is not polynomial, and the Jacobian conjecture was essentially asserting that this type of global wrapping cannot happen for polynomial self-maps of complex affine space.

Docker feels too heavy weight for this. Npx can easily run outside of docker, so I just went with that.