a3s-effect 0.1.0

Effect-style actor runtime for projecting an A3S Code harness from an immutable event log
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

//! Actor framework for the A3S Code harness.
//!
//! The shape follows an immutable event log: a component folds facts into a
//! view and the transitions that view enables, and the runtime runs those
//! transitions until the fold enables nothing. Resuming a thread replays the
//! log instead of restoring process-local waits.
//!
//! The description of a transition follows the Effect v4 onboarding
//! philosophy, expressed in Rust. An [`Effect`] is a value that names its
//! success, its expected error, and the services it requires. Operators add
//! retries, timeouts, structured concurrency, resource release, and spans.
//! [`Effect::run`] is the only place a description executes.

pub mod actor;
pub mod coding;
pub mod compose;
pub mod effect;
pub mod error;
pub mod exit;
pub mod fact;
pub mod log;

pub use actor::{component, ingest, resume, Actor, ErasedComponent, Settlement, Transition};
pub use coding::{
    answer_fact, coding_actor, coding_scheduler, confirm_fact, ingest_coding, merge_coding_view,
    message_fact, resume_coding, CodingPhase, CodingServices, CodingView, Compactor, Completion,
    CompletionRequest, HarnessConfig, ModelDecision, PendingConfirmation, PendingQuestion,
    ToolCall, ToolRunner, ToolSpec,
};
pub use compose::{
    budget, compact, compose_coding_actor, infer, mount, namespace_transitions, system, tools,
    with_key_namespace, HarnessGraph, HarnessPartId, HarnessView, MetaHarnessSpec,
};
pub use effect::{Effect, Schedule, TraceEvent};
pub use error::ActorError;
pub use exit::Exit;
pub use fact::{cut_log, parse_fact_json, Fact, LogCut, NewFact};
pub use log::{FileLog, LogStore, MemoryLog};