Separate quantum transport and resource contracts

Cone extraction does not provide a source injection, unknown-message port, quantum receiver output, valid repeated uses, routing model, or physical calibration. These are not present in ${\mathsf{A}}_0$.