Module record 

What a logged occurrence is, and what one weighs on the wire.

The types a log engine stores, without the engine. beck-rt’s log holds the substrates — redb, SQLite, Postgres, memory — and the contract they keep; what they keep it about is here, because a browser tab holds a log too (docs/17-playground.md §17.2) and an envelope must mean the same thing in both.

Structs

Envelope

A durably logged occurrence. The fields are §3.7’s, and actor is a stable identity — never the live Session capability or a token (F5).

Instant

Wall-clock instant, milliseconds since the Unix epoch, captured at ingress as data.

Pending

A validated event on its way to the log, before seq exists.

Snapshot

A snapshot of the durable fold: the accumulator plus the position it was taken at.

Type Aliases

Seq

Position in the total order. One totally-ordered log per application (§3.7 v1 semantics).