Consumption is an access statement

This does not exclude recovery of information from a separately declared code in the surviving system or another accessible factor. For example, a record-controlled inverse of (eq:spectral-recorded-channel) recovers its encoded system input. That is not a return of the consumed clock names, and it does not invert ${\mathcal{M}}_C$ on the full input space.