Struct Session 

pub struct Session {
    pub id: String,
    pub goal: String,
    pub state: SessionState,
    pub model_turns: u32,
    pub tool_calls: u32,
    pub repair_cycles: u32,
    pub started_at_ms: u64,
}

Fields

id: String

goal: String

state: SessionState

model_turns: u32

tool_calls: u32

repair_cycles: u32

started_at_ms: u64

Implementations

impl Session

pub fn create( store: &mut EventStore, goal: impl Into<String>, ) -> Result<Self, SessionError>

pub fn reconstruct(store: &EventStore, id: &str) -> Result<Self, SessionError>

pub fn create_replacement( store: &mut EventStore, workspace: &Workspace, predecessor_session_id: &str, expected_candidate_sha256: &str, ) -> Result<CreatedReplacementSession, SessionError>

pub fn validate_replacement_resume( &self, store: &EventStore, workspace: &Workspace, ) -> Result<Option<SessionReplacementRecord>, SessionError>

Validate the durable verification-only execution class before runtime or verification.

pub fn transition( &mut self, store: &mut EventStore, next: SessionState, reason: &str, ) -> Result<(), SessionError>

Trait Implementations

impl Clone for Session

fn clone(&self) -> Session

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Session

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Session

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Session

impl PartialEq for Session

fn eq(&self, other: &Session) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Session

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Session