Manuscript VII-F@1 · VII-F.tex · remark · 2d81c03f
Remark: History and observations
Exact finite decoder and reversible implementation › Separate name storage and spectator-independent geometry · lines 1699–1705
History is implementation storage, not a measurement record. Its presence does not enlarge the observation algebra of the geometric rule. Since the present forward map is injective, some of this storage can be removed by a more economical construction; such optimization is irrelevant to existence of the certificate.