workspace interface
The interface as realized, for the dispatcher's benefit, by each workspace individually.
