Why finite precision still proves something

• An approximate Frobenius gives an approximate eigenspace.
• But $\pi(C) \neq 0$ is an open condition.
• Establishing it to finite precision establishes it.
• Every dimension the method removes is removed rigorously: a genuine upper bound at any $N$.

Raising $N$ can only remove more. It never puts a dimension back.