Struct WalSalt 

pub struct WalSalt {
    pub salt1: u32,
    pub salt2: u32,
}

R858-B19 — the WAL header’s (salt1, salt2), the two 32-bit values SQLite re-rolls on every WAL reset. Stored big-endian at bytes 16..24 of the 32-byte WAL header, and copied verbatim into bytes 8..16 of every frame header written under that header — which is where this crate reads it from, since turso_core::WalState exposes only checkpoint_seq_no and max_frame.

Why the salt and not the sequence: the salt moves in both fold regimes, and the sequence moves in only one.

• WAL recreated by a writer restart: fresh randomness (measured b83c03f5 -> 9ca89e39, unrelated), while checkpoint_seq resets 0 -> 0.
• In-process autocheckpoint: salt1 increments in lockstep with the sequence (measured d492ea8a -> ... -> d492ea92 alongside seq 0 -> 8).

Fields

salt1: u32

salt2: u32

Trait Implementations

impl Clone for WalSalt

fn clone(&self) -> WalSalt

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for WalSalt

impl Debug for WalSalt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for WalSalt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for WalSalt

impl PartialEq for WalSalt

fn eq(&self, other: &WalSalt) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for WalSalt