Struct MemoryFlowDecisionLedger 

pub struct MemoryFlowDecisionLedger { /* private fields */ }

Implementations

impl MemoryFlowDecisionLedger

pub fn new() -> Self

Trait Implementations

impl Debug for MemoryFlowDecisionLedger

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

Formats the value using the given formatter.

impl Default for MemoryFlowDecisionLedger

fn default() -> MemoryFlowDecisionLedger

Returns the “default value” for a type.

impl FlowDecisionLedger for MemoryFlowDecisionLedger

fn claim<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, owner_id: &'life3 str, now_ms: u64, lease_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<FlowDecisionClaimOutcome>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

fn renew<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, owner_id: &'life3 str, now_ms: u64, lease_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<bool>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Extend a pending claim only while it is still owned by owner_id. Returns false after completion, takeover, release, or identity conflict.

fn inspect<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, ) -> Pin<Box<dyn Future<Output = Result<FlowDecisionClaimState>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Inspect a claim without revealing its owner token.

fn inspect_with_identity<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, identity: &'life3 ExecutionIdentityV1, ) -> Pin<Box<dyn Future<Output = Result<FlowDecisionClaimState>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Inspect a claim while validating its canonical execution identity.

fn complete<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, owner_id: &'life3 str, completed_at_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

fn complete_with_identity<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, identity: &'life3 ExecutionIdentityV1, owner_id: &'life4 str, completed_at_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait,

Complete a pending claim only when its canonical execution identity still matches the record that was admitted. The default keeps custom host ledgers source-compatible; built-in ledgers persist and fence the identity together with the owner and lease checks.

fn release<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, owner_id: &'life3 str, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

fn claim_with_identity<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, identity: &'life3 ExecutionIdentityV1, owner_id: &'life4 str, now_ms: u64, lease_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<FlowDecisionClaimOutcome>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait,

Claim a decision while binding its canonical execution identity. The default preserves source compatibility for host ledgers; built-in ledgers persist and fence on the identity.

fn renew_with_identity<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, identity: &'life3 ExecutionIdentityV1, owner_id: &'life4 str, now_ms: u64, lease_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<bool>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait,

Renew only when both the legacy request key and canonical identity still belong to the admitted worker.

fn complete_with_receipt<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, identity: &'life3 ExecutionIdentityV1, owner_id: &'life4 str, receipt: &'life5 ExecutionResultReceiptV1, completed_at_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait, 'life5: 'async_trait,

Complete with a bounded digest-only result receipt. The default keeps third-party ledgers source-compatible but cannot persist the receipt.

fn release_with_identity<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>( &'life0 self, decision_id: &'life1 str, request_hash: &'life2 str, identity: &'life3 ExecutionIdentityV1, owner_id: &'life4 str, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait,

Release only when the canonical identity also matches. Legacy ledgers fall back to their existing request/owner fence.

fn completed_receipt<'life0, 'life1, 'async_trait>( &'life0 self, decision_id: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionResultReceiptV1>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Return a terminal receipt when the ledger supports result persistence.

fn prune_completed<'life0, 'async_trait>( &'life0 self, before_ms: u64, ) -> Pin<Box<dyn Future<Output = Result<usize>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Remove completed receipts older than the host’s retention cutoff.