Fixed-table stability and its limit

This convergence is not convergence of a finite-qubit field instrument. It does not authorize replacing the exact event guard by a continuous threshold or a rounded report. Proposition prop:no-report-guard remains in force.