Model specification: Compatible transport realization

For a datum with the conditional output of Specification spec:extraction, a transport theorem must supply:

1. Quantum ports and resources. A named message space $M$, with $d=\dim M\ge 2$, source injection, receiver quantum output, admissible local memories, and initial resources independent of the unknown message. The qubit case is the minimal extension of the frozen wire dimensions. Larger messages require their own capacity and implementation statement.

2. Validity and composition. The admissible uses of the $W_e$, their auxiliary extensions, and any classical or quantum wiring between uses. Prove positivity and normalization of the resulting complete maps, including untouched references. Reproducing the frozen classical tests after the declared reductions must be proved, not assumed from similar notation.

3. Carrier correspondence. Source and receiver ports associated with components, or a declared extended event carrier ${\hat{E}}_D$, together with its comparison map. A component containing several laboratories does not choose one of them as a source by itself.

4. Geometric compatibility. Coordinates of the realized ports in the extracted affine carrier, and the relation between realized dependency or influence comparisons and the extracted order. If an extension is used, prove the claimed preservation of old comparisons and the claimed compatibility of its generated cone. Additional ports do not automatically preserve (eq:generated).

5. Execution and calibration. An actual finite execution model for the protocols, with elementary communications, local gates, guards, records, tick conventions, and arrival readings. Its calibration to the chosen extracted coordinates is stated separately from cone selection.

6. Complete comparison interfaces. The declared retained residual systems, classical histories, failure flags, encoders, decoders, and permitted terminal reductions. The receiver decoder may not access the source's remaining message-bearing systems through an undeclared side channel.

7. Evidence and invariance. Exact mathematical premises or actual implementation allowances, their quantifiers, and any statistical coverage. State covariance under permitted operational relabellings and coordinate changes.

None of these clauses is certified for a cone-selecting datum here.