Independent stock-prepared sessions

A finite convoy is a new model with payloads $L_1,\dots ,L_N$, independent resource factors $H_i{E}_i{F}_i$, specified unitary devices, declared release interfaces, and fresh decoder workspaces. The payloads themselves need not be independent: they may be mutually entangled and entangled with one external reference.