Struct OperationIdGenerator 

pub struct OperationIdGenerator { /* private fields */ }

Generates deterministic operation IDs using blake2b hashing.

The ID is generated by hashing the parent ID (or execution ARN for root) combined with the step counter value. This ensures:

• Same inputs always produce the same ID
• Different step counts produce different IDs
• IDs are unique within an execution

Implementations

impl OperationIdGenerator

pub fn new(base_id: impl Into<String>) -> Self

Creates a new OperationIdGenerator with the given base ID.

Arguments

• base_id - The base identifier to use for hashing (typically execution ARN or parent ID)

pub fn with_counter(base_id: impl Into<String>, initial_counter: u64) -> Self

Creates a new OperationIdGenerator with a specific starting counter value.

Arguments

• base_id - The base identifier to use for hashing
• initial_counter - The initial value for the step counter

pub fn next_id(&self) -> String

Generates the next operation ID.

This method atomically increments the step counter and generates a deterministic ID based on the base ID and counter value.

Returns

A unique, deterministic operation ID string.

Memory Ordering

Uses Ordering::Relaxed because the step counter only needs to provide unique values - there’s no synchronization requirement with other data. Each call gets a unique counter value, and the hash function ensures deterministic ID generation regardless of ordering between threads.

Requirements: 4.1, 4.6

pub fn id_for_counter(&self, counter: u64) -> String

Generates an operation ID for a specific counter value without incrementing.

This is useful for testing or when you need to generate an ID for a known counter value.

Arguments

• counter - The counter value to use for ID generation

Returns

A deterministic operation ID string.

pub fn current_counter(&self) -> u64

Returns the current counter value without incrementing.

Memory Ordering

Uses Ordering::Relaxed because this is an informational read that doesn’t need to synchronize with other operations. The value may be slightly stale in concurrent scenarios, but this is acceptable for debugging/monitoring use.

Requirements: 4.1, 4.6

pub fn base_id(&self) -> &str

Returns the base ID used for generation.

pub fn create_child(&self, parent_operation_id: impl Into<String>) -> Self

Creates a child generator with a new base ID.

The child generator starts with counter 0 and uses the provided parent operation ID as its base.

Arguments

• parent_operation_id - The operation ID to use as the base for the child

Trait Implementations

impl Clone for OperationIdGenerator

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperationIdGenerator

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

Formats the value using the given formatter.