Struct Wal 

pub struct Wal {
    pub header: WalHeader,
    pub records: Vec<WalRecord>,
}

Sealed WAL — the durable read-side counterpart to WalWriter. Produced by Wal::from_writer or Wal::deserialize; consumed by Wal::verify_chain / replay_into.

Fields

header: WalHeader

Header pinned at writer construction.

records: Vec<WalRecord>

Records in append order.

Implementations

impl Wal

pub fn from_writer(w: WalWriter) -> Self

Seal a WalWriter into a read-only Wal.

pub fn serialize(&self) -> Result<Vec<u8>, WalError>

Encode the entire WAL (header + records) as canonical postcard bytes.

pub fn deserialize(bytes: &[u8]) -> Result<Self, WalError>

Decode bytes produced by serialize.

pub fn chain_tip(&self) -> [u8; 32]

Most recent record’s this_chain_hash, or zero if empty.

pub fn verify_chain(&self, world_id: [u8; 32]) -> Result<(), WalError>

Verify every record’s chain hash against the keyed BLAKE3 over (prev_chain_hash || canonical body). When the header pins a verifying_key (Tier 2 — Ed25519), each record’s signature is also checked against the same body bytes. Returns Ok if every check passes.

pub fn verify_chain_anchored( &self, world_id: [u8; 32], anchor: &TrustAnchor, ) -> Result<(), WalError>

Verify the chain AND authenticate it against a caller-supplied TrustAnchor. Use this when the WAL bytes are untrusted (a tampered log or a peer’s snapshot): beyond [verify_chain]’s integrity checks it rejects a tier downgrade below anchor .min_tier, a verifying-key substitution (header key != the anchored key), a manifest_digest mismatch, and a tail truncation (tip != the anchored expected_chain_tip). world_id is supplied by the caller out-of-band — NOT read from the (untrusted) header.

Trait Implementations

impl Debug for Wal

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Wal

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Wal

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.