Differentiate the three displayed coordinate polynomials symbolically, factor the determinant, then evaluate the map at the three announced rational points using exact arithmetic.

Legacy attempt

Differentiate the three displayed coordinate polynomials symbolically, factor the determinant, then evaluate the map at the three announced rational points using exact arithmetic.

Hypothesis: Not recorded.

Test: Not recorded.

This checks the two decisive facts directly and makes no appeal to model judgment.

• The displayed map has constant Jacobian determinant -2.
• The three displayed rational inputs are distinct and map to (-1/4, 0, 0).

• SymPy exact symbolic determinant
• Exact Rational substitutions

None recorded.

Not provided.

legacy attempt

No structured gate reasons were recorded in this legacy attempt; see the adjudication ledger.

Original model outcome

verified

Public classification

verified

None recorded.

None recorded.

None recorded.

None recorded.

Objective:

First action:

Stop condition:

• Package the script and dependency lock as the calibration certificate.

• https://mathoverflow.net/questions/513387/galois-structure-of-the-new-counterexample-to-the-jacobian-conjecture-an-explic ↗

SymPy exact arithmetic; verification run by Codex for Charlie Krug.

Duration

—s

Review state

credited reproduction

Attempt ID

jacobian-2026-reproduction-001

No human review recorded.