Skip to main content

ReasoningConfig

Struct ReasoningConfig 

Source
pub struct ReasoningConfig {
Show 13 fields pub enabled: bool, pub extract_provider: ProviderName, pub distill_provider: ProviderName, pub top_k: usize, pub store_limit: usize, pub max_messages: usize, pub max_message_chars: usize, pub context_budget_tokens: usize, pub min_messages: usize, pub extraction_timeout_secs: u64, pub distill_timeout_secs: u64, pub self_judge_window: usize, pub min_assistant_chars: usize,
}
Expand description

ReasoningBank: distilled reasoning strategy memory configuration (#3342).

When enabled = true, each completed agent turn is evaluated by a self-judge LLM call. Successful and failed reasoning chains are compressed into short, generalizable strategy summaries. At context-build time, top-k strategies are retrieved by embedding similarity and injected into the prompt preamble.

All LLM work (self-judge, distillation) runs asynchronously — never on the turn thread.

§Example

[memory.reasoning]
enabled = true
extract_provider = "fast"
distill_provider = "fast"
top_k = 3
store_limit = 1000

Fields§

§enabled: bool

Enable the reasoning-bank pipeline. Default: false.

§extract_provider: ProviderName

Provider name from [[llm.providers]] for the self-judge step. Falls back to the primary provider when empty. Default: "".

§distill_provider: ProviderName

Provider name from [[llm.providers]] for the distillation step. Falls back to the primary provider when empty. Default: "".

§top_k: usize

Number of strategies retrieved per turn for context injection. Default: 3.

§store_limit: usize

Maximum stored strategies; oldest unused are evicted when limit is reached. Default: 1000.

§max_messages: usize

Maximum number of recent messages passed to the self-judge LLM. Default: 6.

§max_message_chars: usize

Per-message content truncation limit (chars) before building the judge transcript. Default: 2000.

§context_budget_tokens: usize

Maximum token budget for injected reasoning strategies in context. Default: 500.

§min_messages: usize

Minimum number of messages required before self-judge fires. Default: 2.

§extraction_timeout_secs: u64

Timeout in seconds for the self-judge LLM call. Default: 30.

§distill_timeout_secs: u64

Timeout in seconds for the distillation LLM call. Default: 30.

§self_judge_window: usize

Maximum number of recent messages passed to the self-judge evaluator. Narrowing to the last user+assistant pair improves classification accuracy. Default: 2.

§min_assistant_chars: usize

Minimum characters in the assistant response to trigger self-judge. Short or trivial responses are skipped. Default: 50.

Trait Implementations§

Source§

impl Clone for ReasoningConfig

Source§

fn clone(&self) -> ReasoningConfig

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for ReasoningConfig

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for ReasoningConfig

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl<'de> Deserialize<'de> for ReasoningConfig

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Serialize for ReasoningConfig

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

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<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromRef<T> for T
where T: Clone,

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> IntoRequest<T> for T

Source§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,