Remark: One-loop power counting

Every frozen interaction vertex carries ${\kappa }^{\mathrm{legs}-2}$, with antifield sources counted as legs. A one-loop graph is then ${\kappa }^E$ with $E$ external legs. The one-loop identity at ${\kappa }^2$ uses only $E=2$ and $E=1$. A mechanical enumeration reproduces the frozen ${\kappa }^2$ inventory exactly, nine graphs out of nine (D01–D06, D11, D12, D13), and the three graphs of the one-point row. The enlarge rule is not triggered: there is no one-loop three-point sector at ${\kappa }^2$.