Proof of the $d=1/2$ case of Theorem 2.1. At each four-adic degree scale, a maximal peeling sequence is pruned in reverse order to form a comb. If no block has the required size, strong induction on the degree bound, together with $(a+b)^2\leq 2a^2+2b^2$, yields the sparse alternative.