A write knows
where it belongs.
Expected branch heads make stale writes visible. A batch either applies together or keeps the prior state. Put inserts or replaces a complete value; it does not silently merge fields.
The transaction foundation