A locally invertible Wolfram model rule that merges branches (a "discrete Jacobian" collision)

This July, the 87-year-old Jacobian conjecture fell: there is an explicit polynomial map C^3 -> C^3 whose differential is invertible at *every point*, yet which globally maps three distinct points to one. Local invertibility everywhere; global information los…