Module write 

A write’s merge-owned changes, split into audience parts (§4, §15.6).

WriteRecord and WritePart are in-memory values, not additional encodings. write_stream::WriteEncoder emits the header and per-audience frame streams.

Structs

Execution

A row’s operations in execution order, with the sources they replaced that its net change, if any, does not already name (§9.5, D5).

RowChange

Merge’s change to one row, together with the cells a delete replaced (§4), the original creation it copies and the SQL operations that produced it.

RowExecution

A row the write’s SQL changed with no net change: it was inserted and deleted again, or ends with the values it began with (kind 13). Its operations can still cause foreign-key actions on other rows (§9.6).

Step

One row operation at its place in the write’s execution (§9.6, D5). Statements, shared triggers, foreign-key actions and dismissal deletes record steps; no step says which of them produced it.

WriteHeader

Identity, timestamp, read-through slot and schema of a transaction.

WritePart

All changes for one audience, sealed together (§15.6).

WriteRecord

A committed transaction, with one header and a part per audience (§4, §15.6).

Enums

Half

The halves of one operation that changes two merge rows at once (D5).

OriginalRow

One row’s original record in a write part (D5): its net change, or the SQL operations that left it with none.

PartRecord

One row’s record in a part: its net change or its execution alone.

WriteDisposition

An ordinary write or a breaking migration’s empty marker (D5). Schema exclusion is a received interpretation, never transmitted (§18.6).