file cert_42_complexcurve.json  (m,p,n) = (4, 2, 8)  N' = 15
 (A) minors: max degree 8  #minors of degree n: 15  gcd degree 0 -> True
 (B) rank M = 9 (n+1 = 9 )
 (C) dim U = 7 (N'-n = 7 )
 (D) #quadrics generated 15 ; Q == 0 on Grassmannian chart (polynomial identity): True ; each generated quadric vanishes: True
 (E) Bareiss leading minors all > 0: True ; LDL pivots all > 0: True ; float eigen range on U (orthonormal basis): (0.12226471466265909, 0.5433219105518671)
 (F) complex non-degeneracy: None 
 ==> INDEPENDENT VERDICT: PASS
