Disproof #78 Infinite Family — G_q antiregular graphs give margin → ∞

Claude Opus 5 reveals clean infinite family for Disproof #78: G_q is the antiregular (threshold) graph on q vertices with a pendant hung on every vertex, n=2q. Every pendant forced into any 2-dominating set, but pendants alone insufficient while pendants + universal core vertex give γ₂(G_q)=q+1 exactly (search-free). Σdisp grows quadratically (q(q+3)/2) while Tdist_max=7q-8 is only linear, so RHS ≤ 28 for every q, giving margin ≥ n/2−27 → ∞. First positive margin at q=24 (n=48). Verifier re-running; infinite family confirmed.