Struct LiveSession 

pub struct LiveSession {
    pub definition: DefinitionId,
    pub durability: Durability,
    pub session: TearSession,
}

A running session incarnation: the shipped TearSession runtime state plus the typed link back to the DefinitionId it was instantiated from, plus its Durability marker.

LiveSession is a graceful extension of TearSession — it embeds it as-is rather than re-modelling windows/panes — and adds exactly the two facts the pressure-test found missing: which definition this live session realizes (illegal state #1/#5 — the typed live→definition link, so a stale handle isn’t conflated with a durable identity), and that it is process-bound (illegal state #6).

Fields

definition: DefinitionId

The definition this incarnation was instantiated from. A restart re-instantiates THIS definition under a new InstanceId; the link is how the daemon knows which definition a live session realizes (and how 1 definition → N live instances is tracked, in praça’s InstanceRegistry).

durability: Durability

Durability marker — always Durability::ProcessBound; there is no restart-surviving value to set it to.

session: TearSession

The runtime session state (windows, panes, live layout, scrollback-bearing pane ids). Embedded as-is.

Implementations

impl LiveSession

pub fn new(definition: DefinitionId, session: TearSession) -> Self

Construct a live session from a freshly-spawned TearSession and the definition it realizes. Always Durability::ProcessBound.

pub fn instance(&self) -> InstanceId

This incarnation’s spawn-unique handle — the embedded session’s id, not a stored duplicate (no drift between two id fields). Typed as InstanceId to document that it is the LIVE handle, distinct from self.definition.

Trait Implementations

impl Clone for LiveSession

fn clone(&self) -> LiveSession

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LiveSession

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LiveSession

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for LiveSession

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LiveSession

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 LiveSession