Discard and reset have different types

The equality

consumes the residual's observable interface. A reset returns a specified physical memory state, as in (eq:reset). Reuse across repeated cycles further requires the restoration of resources and apparatus. Those tasks are not specified by the discard equality.