Module writes_slot 

A writes slot’s body codec, inner-write identities and ordering checks (D9).

Constants

HEAD_LEN

The body’s head: the slot header frame, then how many inner writes follow.

Functions

check_write

Check one authenticated inner header’s device, causal prefix and increasing number within a writes slot.

decode_head

Decode exactly a body’s head: its slot header and positive write count.

decode_write_length

Decode an inner write’s length field, refusing an empty write or one longer than the remaining body bytes after the field.

encode_head

Encode the head of a body holding count inner writes, at least one.

encode_write_length

The length field before each inner write.

identity

Exact crypto identity of an inner write, independent of its containing slot.