“Residual Uncertainty” is the uncertainty that remains after formal verification is complete: the adverse difference between the limit value of a requirement measure and the proven value at the limit of Uncertainty for that same parameter. It is distinct from other uncertainties that exist during the development process.
At that adverse extreme, the requirement must still be met. Residual uncertainty may (at some point in the future) be used for purposes not required at the time of verification.