Status

P.6 Partial. execution_pass true; claim_status partial; scope: pole level, one loop, ${\kappa }^3$. Next: evanescent $s_0$-exactness of the ghost-row remainder; h h c row; ${\kappa }^3$ counterterm domain, defect, counterterm solve and ${\sigma }_0$ closure.