Arrival records and complete attempts

This is an unconditional complete-attempt bound. It is not a normalized postselected channel guarantee on accepted trials. The instrument and availability of the decoded output at the claimed arrival must themselves be supplied by the realization.