pub struct Opening {
pub task: String,
pub goal: String,
pub at: TimeMs,
pub dispatched_by: Option<Who>,
pub policy: Option<RunPolicy>,
pub effort: Option<Effort>,
pub names: Option<FrozenNames>,
pub parent: Option<RunId>,
}Expand description
How a session began: what the person asked for, in their words.
The rounds start at the first model_called, so without this the
first thing said in a conversation - the task - is the one thing the
answer never carried.
Fields§
§task: String§goal: String§at: TimeMs§dispatched_by: Option<Who>Who dispatched the run, as its run_started records it; None
for a ledger written before the key existed.
policy: Option<RunPolicy>The run policy it was dispatched under - mode, write limit,
admission requirement and landing policy - as its run_started
records it; None for a line written before the key existed.
effort: Option<Effort>The effort the run’s requests froze, as its run_started
records it (crates/kernel/Spec.lean §8-85); None when the
dispatch stated none, and for a line written before the key
existed.
names: Option<FrozenNames>The names the run’s session froze, read back from the version its
run_started names (crates/wire/Spec.lean D17). None for a
line written before the city recorded names, and for a version
the store no longer holds or cannot read: the page then falls
back to the address and the role’s name, never to today’s names.
parent: Option<RunId>The run that dispatched this one, as its run_started records it
(crates/wire/spec/Answer/Sessions.lean D40); None for a run
the User or the city dispatched, and for a line written before
the key existed.