Struct SessionOpened 

pub struct SessionOpened {
    pub from: Option<Origin>,
    pub carried: bool,
}

session_opened: a new session began at this address.

The room is the subject rather than the run, because what changed is what the next run there is governed by: the model and the effort the previous session froze are gone, and whether the summary it left travels with this one is the one thing the caller chose. A replay reads the answer to “why did this run start fresh” from here; neither fact is visible in the room’s files afterwards, because both were removals.

Fields

from: Option<Origin>

What the session branched from, when it is a branch.

#[serde(default)] and absent when there is none, so a line written before this key existed reads as a session that began without one - which is what it was.

carried: bool

Whether the previous session’s handoff travelled with it.

The room itself is the record’s own addr field, not a copy here: a line that belongs to an address says so in the envelope, and a payload copy would be a second place the same address is spelled (crates/kernel/spec/Event.lean §8-4).

Trait Implementations

impl Clone for SessionOpened

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionOpened

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SessionOpened

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SessionOpened

impl PartialEq for SessionOpened

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SessionOpened

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 SessionOpened