Remark: An error-budget repair

The regulator allowance $b$ already compares complete channels in diamond distance. It is not multiplied by $d$. Moreover, applying finite recovery first and then lifting the decoder gives $\sqrt{2de}+b$, rather than putting that comparison allowance inside the square root. Neither expression estimates $e$ from dynamics.