Skip to main content

Session

Struct Session 

Source
pub struct Session {
    pub conversation: ConversationHistory,
    pub model_id: String,
    pub reasoning: ReasoningLevel,
    pub safety_mode: SafetyMode,
    pub last_token_usage: Option<TokenUsageTotals>,
    pub cumulative_token_usage: TokenUsageTotals,
    pub context_usage: Option<ContextUsageSnapshot>,
    pub is_subagent: bool,
    pub agent_preamble: Option<String>,
    pub plan: Option<PlanState>,
    pub scratchpad: Option<PathBuf>,
}
Expand description

Persistent conversational state that survives across turns.

“Session” here means the user-visible chat session, not the tokio runtime or the TCP connection to the provider. One chat = one Session = one on-disk ConversationHistory file.

Fields§

§conversation: ConversationHistory§model_id: String§reasoning: ReasoningLevel§safety_mode: SafetyMode

Live safety mode for this session. Initialized from config.safety.mode, then mutated in-session by Shift+Tab / /safety (session-scoped — never written back to the config file). The reducer threads this into Cmd::ExecuteTool so the policy gate enforces the current mode, not the startup snapshot.

§last_token_usage: Option<TokenUsageTotals>

Token usage for the most recent completed provider request. None means the provider did not report usage for that turn.

§cumulative_token_usage: TokenUsageTotals

Prompt/completion/total API usage accumulated for this session.

§context_usage: Option<ContextUsageSnapshot>

Latest model-visible context snapshot. This may be an estimate while a request is in flight and is replaced by provider-reported usage when available.

§is_subagent: bool

True when this session IS a subagent (a child reducer driven by SubagentTool). system_prompt_for_state appends the subagent contract (final message = the report returned to the parent) when set. Never true for a user-facing session.

§agent_preamble: Option<String>

Agent-type system-prompt block (e.g. the Explore type’s “read-only reconnaissance” charter), appended after the subagent contract. Only ever Some on subagent sessions.

§plan: Option<PlanState>

Some while the session is in plan mode (see PlanState). Never Some on subagent sessions — children explore, they don’t plan.

§scratchpad: Option<PathBuf>

Per-session scratch directory, once the effect layer has materialized it on disk (Cmd::EnsureScratchpad -> Msg::ScratchpadReady). None until then, and reset whenever the conversation id changes (/clear, /load, rewind fork) — the reducer re-emits EnsureScratchpad at those points. The reducer stamps this onto Cmd::ExecuteTool so tools see it via ExecContext::scratchpad. Runtime-only, never persisted.

Implementations§

Source§

impl Session

Source

pub fn snapshot_conversation(&self) -> ConversationHistory

Clone the conversation with the live meters + safety mode overlaid, so a saved file carries the full restorable state. These fields live on Session (which is NOT serialized — only conversation is), so every Cmd::SaveConversation snapshots them in and seed_conversation hydrates them back on resume.

Source

pub fn messages(&self) -> &[ChatMessage]

The committed message log. All messages visible in the chat widget live here; partial in-flight content lives in TurnState::Generating.

Source

pub fn append(&mut self, msg: ChatMessage, now: DateTime<Local>)

Append a committed assistant/user/tool message. Mutation happens through here so the reducer has one chokepoint to update the conversation’s updated_at and derived title.

now is the reducer’s injected clock (state.now). It stamps both the message’s commit timestamp and updated_at — the wall-clock stamp ChatMessage::new put on the message at construction is deliberately overwritten with the deterministic one, so update() is a pure function and --replay recommits identical messages.

Trait Implementations§

Source§

impl Clone for Session

Source§

fn clone(&self) -> Session

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Session

Source§

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

Formats the value using the given formatter. 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<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> 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> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
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> 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> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + 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: Sized + 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> 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> 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<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