aidens-runner 0.1.0

Run and turn executor — provider, tools, governance, memory, receipts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

//! Replay and receipt-log path helpers.
//!
//! Replay records here are local execution evidence paths. Canonical replay
//! authority remains with the verification/control owner crates.

use super::*;
use std::sync::atomic::{AtomicU64, Ordering};

static PLAN_ACT_VERIFY_RECEIPT_LOG_SEQ: AtomicU64 = AtomicU64::new(1);

pub(super) fn default_plan_act_verify_receipt_log_config() -> CanonicalEventLogConfig {
    let sequence = PLAN_ACT_VERIFY_RECEIPT_LOG_SEQ.fetch_add(1, Ordering::Relaxed);
    CanonicalEventLogConfig::for_root(format!(
        "target/aidens-receipts/plan-act-verify-loop/process-{}-{sequence}",
        std::process::id()
    ))
}

pub(super) fn default_runner_receipt_log_config(app_id: &str) -> CanonicalEventLogConfig {
    let sanitized = app_id
        .chars()
        .map(|ch| {
            if ch.is_ascii_alphanumeric() || ch == '-' || ch == '_' {
                ch
            } else {
                '-'
            }
        })
        .collect::<String>();
    let nonce = SystemTime::now()
        .duration_since(UNIX_EPOCH)
        .map(|duration| duration.as_nanos())
        .unwrap_or(0);
    CanonicalEventLogConfig::for_root(format!(
        "target/aidens-receipts/runner/{sanitized}/process-{}-{nonce}",
        std::process::id()
    ))
}