Definition: Append-only record

An append-only record at stage $n$ is $Y_{\le n}=(Y_1,\dots ,Y_n)$. Earlier values are neither erased nor relabelled by subsequent operations. Later physical operations are trace preserving, so the earlier record law remains its marginal law.