Module snapshot 

Snapshots stream a header, eleven ordered sections and an end marker (§16.1). The caller stages records and supplies the applied write metadata to merge.

Modules

section

Each record section’s place in the stream, and its count’s in the header (D7).

Structs

LastClaim

A device’s last included claim and its complete-slot digest.

SnapshotDecoder

Decodes a snapshot without retaining its rows or write history. The caller stages records and commits only after finish succeeds. Its oracle must describe the causally closed applied writes recorded by this snapshot. Populate that oracle from section 1. Loss records add no oracle metadata; the consumer validates active losses against merge rows. Only the header, counts and previous record identities are retained between frames. The database consumer checks cross-section completeness, SQL schema rules and app-row visibility; merge’s removal computation checks which removal rules actually hold.

SnapshotEncoder

Encodes bounded frames, retaining only the header, counts and previous identity.

SnapshotHeader

Snapshot metadata assembled from its plaintext header and sealed prefix.

Enums

SnapshotRecord

One bounded record in a snapshot, using the owners’ logical identities.

Constants

SECTIONS

The number of record sections (D7).

Traits

WriteSlots

Published-write locations from the snapshot’s staged metadata and history.

Functions

frame_section

The section a snapshot’s frame holds a record of; none for its header and end frames.