Complete destructive-clock instrument

This reproduces the relevant I-B/En09-A interface with a complete residual, rather than just an outcome law IB,En09.

Choose distinct history labels $t_k$ and a finite dictionary $k\mapsto (i(k),t_k,\text{table report})$. At a fixed readout event these are programme/history labels, unless an additional event-time promise holds.