How authoritative state reaches a replica. Invariant: a replica is fully valid at G or known to
be below G, never in between.
A record in one transaction commits with its position, so an interruption rolls back cleanly. A
chunked record writes an intent marker first and clears it with the last chunk; a surviving
marker means the replica must restore (it cannot resume).
How authoritative state reaches a replica. Invariant: a replica is fully valid at G or known to be below G, never in between.
A record in one transaction commits with its position, so an interruption rolls back cleanly. A chunked record writes an intent marker first and clears it with the last chunk; a surviving marker means the replica must restore (it cannot resume).