22. The geometry of exact realization

A categorical space of realizations does not come with a numerical distance by default. In a declared linear model, the compatibility equations become a bounded operator. Closed range, holonomy, and conditioning then determine what small residuals actually guarantee.