Corollary: Resource-fitting nonempty realization

If the retained permissions admit the listed local gates and wires, and the existing reserve satisfies

with (eq:timefit), then this is a nonempty two-readout, two-route host realization.

Its explicit quantum peak is $2p+2$. It uses two clock qubits cumulatively, two register SWAPs, and one delivered classical control copy. An external $r$-qubit reference costs $r$ on the separate external ledger.

Proof. Initially both clocks and both payload slots are live, giving $2p+2$. Clock destruction only decreases that count. No unpriced synthesis ancilla is required when the listed gates are the admitted finite primitives. The four retained record bits are the stated ones. Theorem thm:route and the timetable prove the location and duration fit.