Readonly
Detached caller-owned records; changing these cannot edit publication/checkpoints.
Idempotent. Before commit discards work; after commit relinquishes rollback.
Exact synchronous live-overlay AND operation-input fence. Linear in their size.
Detached caller-owned records; changing these cannot edit publication/checkpoints.