Expand description
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.
Re-exports§
pub use actor::component;pub use actor::ingest;pub use actor::resume;pub use actor::Actor;pub use actor::ErasedComponent;pub use actor::Settlement;pub use actor::Transition;pub use coding::answer_fact;pub use coding::coding_actor;pub use coding::coding_scheduler;pub use coding::confirm_fact;pub use coding::ingest_coding;pub use coding::merge_coding_view;pub use coding::message_fact;pub use coding::resume_coding;pub use coding::CodingPhase;pub use coding::CodingServices;pub use coding::CodingView;pub use coding::Compactor;pub use coding::Completion;pub use coding::CompletionRequest;pub use coding::HarnessConfig;pub use coding::ModelDecision;pub use coding::PendingConfirmation;pub use coding::PendingQuestion;pub use coding::ToolCall;pub use coding::ToolRunner;pub use coding::ToolSpec;pub use compose::budget;pub use compose::compact;pub use compose::compose_coding_actor;pub use compose::infer;pub use compose::mount;pub use compose::namespace_transitions;pub use compose::system;pub use compose::tools;pub use compose::with_key_namespace;pub use compose::HarnessGraph;pub use compose::HarnessPartId;pub use compose::HarnessView;pub use compose::MetaHarnessSpec;pub use effect::Effect;pub use effect::Schedule;pub use effect::TraceEvent;pub use error::ActorError;pub use exit::Exit;pub use fact::cut_log;pub use fact::parse_fact_json;pub use fact::Fact;pub use fact::LogCut;pub use fact::NewFact;pub use log::FileLog;pub use log::LogStore;pub use log::MemoryLog;