Scale, records, and residual instruments

Evolution, scale change, label aggregation, and measurement are distinct maps. This section concerns named finite-dimensional channels, not nonlinear coupling.