Skip to main content

Agent

Struct Agent 

Source
pub struct Agent {
    pub config: DecisionConfig,
    pub persist: bool,
    /* private fields */
}
Expand description

The orchestrator.

The trait objects carry Send + Sync because scema-daemon shares one Arc<Agent> across connection threads. Constructing an agent per request would reload the Deep Q* checkpoint every time, and a Mutex would serialise every observation behind whichever request is currently walking a large tree. Every implementation in this workspace is already thread-safe — they hold plain data and take no locks.

Fields§

§config: DecisionConfig§persist: bool

When false, cycle computes and returns everything but writes nothing. The default for scema simulate, which is explicitly a counterfactual and must not leave a trace that reads like a decision the agent made.

Implementations§

Source§

impl Agent

Source

pub fn new(root: impl Into<PathBuf>, dqstar_checkpoint: Option<String>) -> Self

An agent rooted at a state directory, with the default observers and evaluators.

dqstar_checkpoint is the sniper’s scematica-nn-agent.json when there is one. A missing file is not an error — the evaluator reports it through its applicability, which is where an operator will actually see it.

Source

pub fn memory(&self) -> &MemoryStore

Source

pub fn records(&self) -> &RecordStore

Source

pub fn observers(&self) -> &[Box<dyn Observer + Send + Sync>]

Source

pub fn evaluators(&self) -> &[Box<dyn Evaluator + Send + Sync>]

Source

pub fn observe(&self, locator: &str) -> Result<WorldState>

Perceive an environment.

Source

pub fn hypothesize(&self, world: &WorldState, goal: &Goal) -> Vec<Hypothesis>

Propose branches from every hypothesiser, in a stable order.

Duplicate ids are dropped, first proposer wins. Two hypothesisers arriving at the same branch is a real occurrence — a memory of a procedure that a signal rule would also propose — and ranking the same branch twice would inflate its apparent support.

Source

pub fn cycle(&self, locator: &str, goal: Goal) -> Result<Cycle>

Run one full pass.

Source

pub fn cycle_over(&self, world: WorldState, goal: Goal) -> Result<Cycle>

Run a pass over a world that was already observed.

Split out so the CLI can observe once and simulate several goals against the same world, and so a test can drive the loop over a constructed world without a filesystem.

Auto Trait Implementations§

§

impl !RefUnwindSafe for Agent

§

impl !UnwindSafe for Agent

§

impl Freeze for Agent

§

impl Send for Agent

§

impl Sync for Agent

§

impl Unpin for Agent

§

impl UnsafeUnpin for Agent

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more