55. Correction, dimension, and admissibility

A residual describes a failure relative to a stated equation. A correction map describes the changes that are allowed to address that failure. These are separate pieces of data. Their separation prevents the phrase “the obstruction” from concealing an unstated choice of permissible operations.