We prove that a specific comb-core graph H on 7 vertices, while avoiding all power-of-twocycle lengths, becomes C4-saturated relative to its degree-deficit vertices. This saturationproperty implies that every edge-completion of H achieving minimum degree δ ≥ 3 mustcontain a 4-cycle. We provide explicit 3-path witnesses as checkable certificates for thesaturation claim.
Jonas Jakob Gebendorfer (2026) studied this question.