Manuscript En02-A@1 · En02-A-v1.tex · remark · bb1319d5
Remark: Inherited and new parts
Resource geometry, ownership, and legal updates › The update grammar · lines 744–750
Manuscript I's :diamond concerns quantum-name disjointness
in the specified concrete calculus. The geometric part of
Proposition prop:diamond is new and needs the footprint and guard
conditions above. It is not a theorem about arbitrary unknown updates
merely because their names are disjoint.