areev-run-core 1.9.1

Pure, deterministic scheduler core for the Areev agent runtime: graph walk with re-entry generations, journal keys, budgets, and the sans-IO step function. No clock, no randomness, no IO — the driver feeds events, this crate returns commands.
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
39
40
41
42
43
44
45
46
47
48
49
50

//! # areev-run-core — the pure scheduler of `areev run`
//!
//! Sans-IO by construction (governed-agents proposal §4): this crate cannot
//! observe the world. It exports [`step`] — a pure function from
//! `(plan, env, state, events)` to `(commands, state)` — and the vocabulary
//! around it. The driver crate (`areev-run`) owns the store, the clock, the
//! executors, and the journal; it materializes journal lookups into
//! [`EventIn`]s and performs [`Command`]s. Replay IS this function: feed the
//! journaled events back in and assert the same commands come out.
//!
//! Purity is enforced mechanically, not aspirationally: the dependency tree
//! carries no clock/rand/net crate (CI checks `cargo tree`), and this
//! crate's `clippy.toml` disallows `SystemTime::now`/`Instant::now`.
//! Scheduler state uses `Vec`/`BTreeMap` exclusively — hash-iteration order
//! is the classic silent replay-divergence source and has no business here.

/// The scheduler's replay generation (#288).
///
/// Bumped EXACTLY when a change makes an existing journal replay differently
/// — the #251 class, where 1.8.3's dotted-tool fix meant a run recorded by
/// 1.8.2 no longer verifies and no fix was possible without keeping the
/// defect alive behind a per-run epoch. A verifier holding such a run needs
/// to be able to tell tampering from "written by an older scheduler", and
/// the version string alone cannot say that: most releases change nothing
/// here.
///
/// Every bump gets a CHANGELOG line. A run whose pinned epoch differs from
/// this one is refused on `resume` (RUN-E026) and labelled — not silently
/// accepted — on `verify`.
pub const SCHEDULER_EPOCH: u32 = 1;

pub mod cond;
pub mod error;
pub mod plan;
pub mod state;
pub mod step;
pub mod types;

pub use error::{BudgetAxis, Result, RunError};
pub use plan::{PlanEdge, PlanGraph};
pub use state::{
    EdgeRes, FoldInFlight, NodeState, PendingAsk, Phase, SchedulerState, Spent,
};
pub use step::{
    bound_tool_content, flow_key, step, StepEnv, StepOutcome, DEFAULT_MAX_EFFECTS_PER_ATTEMPT,
};
pub use types::{
    Ask, Budgets, Command, DecisionRecord, EdgeOutcome, EffectKind, EffectOutcome, EventIn,
    FailCause, JournalKey, NodeExecutor, OfferedTool, RunOutcome, INBOX, PARKED_ASKS,
};