Physicality repair with a charged error

For example, an outward-enclosed Gershgorin lower bound can certify $\hat{S}\ge -\delta I_N$. Such a bound may be conservative. If trace one is not exact, any trace correction must also be charged. The repair is a controlled approximation operation, not a claim that the repaired trajectory solves the original ODE or defines a linear CPTP evolution.