Events and fresh inputs

The process has encoding events $E_1,E_2$, storage events $S_1,\dots ,S_T$, a query-generation event $Q_{\mathrm{gen}}$, a decoder event $D$, and a scoring event $A$.

The declared temporal order is

A joint encoder may replace $E_1,E_2$. The order specifies a finite experiment, not a physical spacetime geometry.