Struct SequenceGenerator 

pub struct SequenceGenerator { /* private fields */ }

Per-lifeloop_run_id monotonic sequence counter.

The spec ties sequence to “the strongest available durable session scope”. For a Lifeloop-synthesized receipt, that scope is the lifeloop_run_id (= caller’s harness_run_id). The generator keeps one counter per run id and hands out 1, 2, 3, … within a run.

Sequence is per run, not global: emitting under run A then run B then run A again produces A=1, B=1, A=2.

When the caller supplies no harness_run_id, the emitter sets sequence=None rather than inventing a misleading cross-run order — see the spec’s “required and nullable” rule for sequence.

Implementations

impl SequenceGenerator

pub fn new() -> Self

pub fn next(&self, run_id: &str) -> u64

Allocate the next sequence value for run_id and return it. Counters start at 1 within a run.

pub fn peek(&self, run_id: &str) -> u64

Inspect (without advancing) the current counter for run_id. Returns 0 when the run has not yet emitted.

Trait Implementations

impl Debug for SequenceGenerator

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

Formats the value using the given formatter.

impl Default for SequenceGenerator

fn default() -> SequenceGenerator

Returns the “default value” for a type.