Tasks, references, and claim contracts

The direct-sum output in (eq:algebra-target) is embedded in $\mathcal{B}(K)$. It contains the sector label and the quantum state within each sector. It does not retain cross-sector coherences.