retraction audit: PASS
basis: (t^2 F, t^2 x4*d4F, t^4)
energy: (1, 0, 1/2)
cyclic stationarity: (4, -1, 0)
fourth stationarity: (0, 3, -1)
-12/7 energy + 3/7 cyclic + 1/7 fourth = (0, 0, -1)
the proposed leading obstruction is exactly a constraint

Numerical-route status:
- A first SCS run reported an inaccurate candidate.
- Independent equality reconstruction found a residual above 5,000.
- Clarabel did not produce a feasible point.
- No numerical output is used as mathematical evidence.
