Exact simulation once geometry is provided

This is a channel-network simulation statement. It is comparable with En02-C's reference-preserving soundness CheungEn02C, but does not assert availability or compilation of arbitrary payload instruments over a hardware library.