file cert_25_nice_int.json  (m,p,n) = (2, 5, 10)  N' = 21
 (A) minors: max degree 10  #minors of degree n: 20  gcd degree 0 -> True
 (B) rank M = 11 (n+1 = 11 )
 (C) dim U = 11 (N'-n = 11 )
 (D) #quadrics generated 35 ; 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.05759181592435565, 1.8222753069170678)
 (F) complex non-degeneracy: True dim ker M = 10, degree 5, rank mod 2147483587 = 2002 of 2002
 ==> INDEPENDENT VERDICT: PASS
