The remaining 9 graphs are a genuine real-vs-complex gap. Their rigid-frame edge ideal does NOT reduce to [1] over QQ (Groebner and modular Groebner both fail to collapse within budget; for K_{1,3,3}, verified the ideal is positive-dimensional), i.e. the complex variety is non-empty, while the real variety is empty (distance-geometry stress bounded away from 0 over hundreds of restarts). Consistently, the degree-2 (level-1) sum-of-squares / moment relaxation is FEASIBLE for all of them (LMI margins about -0.15 to -0.24 < 0, so no degree-2 Positivstellensatz certificate exists). Deciding them rigorously requires a level>=2 real-infeasibility certificate, which was not obtained here.