Collect-and-invert recovery

Specified continuous gates and their inverses may be admitted as primitives. Discrete-library compilation requires an additional error and workspace budget. This theorem is an achieved bound, not a memory optimum.