Definition: Compiled-instrument interface

A compiled-instrument interface consists of:

1. a finite Enter program and declared classical and quantum outputs;

2. a dependency graph recording classical inputs to operations and order constraints imposed by shared quantum resources;

3. complete selective maps at its boundary;

4. a certificate of the exact composition, exchange, or implementation identities claimed.

Correctness concerns the complete selective maps, not only outcome effects. Existence of a physical implementation certificate is additional data; no general external-apparatus compiler theorem is asserted.