The destructive task clock

This is the I-B/En09-A interface IB,En09, used in the supplied X-Enter-ST. An untouched reference may be conditionally steered; (eq:discard) concerns its unconditional marginal.

A task-conditioned amplitude program can be composed with (eq:clock). Complete histories give path maps $K_h$ with

The completeness identity follows by backwards induction over the finite instruction tree, including every failure branch and every returned quantum register.