file cc24_simple_cert.json  (m,p,n) = (2, 4, 8)  N' = 15
 (A) minors: max degree 8  #minors of degree n: 1  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.09570934911041536, 0.7000223243487158)
 (F) complex non-degeneracy: None 
 ==> INDEPENDENT VERDICT: PASS
