Skip to main content

FlowDecisionLedger

a3s_code_core::flow_graph

Trait FlowDecisionLedger 

Source 
pub trait FlowDecisionLedger: Send + Sync {

Show 13 methods    // Required methods
    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;
    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 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;

    // Provided methods
    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 { ... }
    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 { ... }
    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 { ... }
    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 { ... }
    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 { ... }
    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 { ... }
    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 { ... }
    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 { ... }
    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 { ... }

}

Required Methods§

Source

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,

Source

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.

Source

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,

Source

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,

Provided Methods§

Source

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.

Source

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.

Custom host ledgers remain source-compatible and report FlowDecisionClaimState::Unavailable until they opt into the inspection contract.

Source

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.

Source

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.

Source

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.

Source

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.

Source

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.

Source

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.

Source

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.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§