Struct RunStarted 

pub struct RunStarted {
    pub task: String,
    pub goal: String,
    pub job: Option<Locator>,
    pub parent: Option<RunId>,
    pub predecessor: Option<RunId>,
    pub skills: Vec<SkillPin>,
    pub dispatched_by: Option<Who>,
    pub policy: Option<RunPolicy>,
    pub naming: Option<B3Hash>,
    pub opening: Option<Opening>,
    pub effort: Option<Effort>,
    pub agent: Option<AgentRunIdentity>,
}

run_started: the work a run was given, and where it came from.

Every field defaults, because the golden fixtures hold a run_started whose payload is {} and a projection that refused it would refuse a ledger this repository ships.

Fields

task: String

What the person asked for, in their words.

goal: String

What finishing looks like, in their words.

job: Option<Locator>

The job this dispatch came out of. Absent only in a record written before the key existed.

parent: Option<RunId>

The run that forked this one, when one did.

predecessor: Option<RunId>

The run this one replaced, when it is a successor. Spelled the same way here and on checkpoint_committed, because it is one fact with one spelling.

skills: Vec<SkillPin>

Written even when empty, and deliberately: a key that comes and goes is a shape a reader has to guess at, and “this building admits no skills” is a fact worth recording rather than an absence to infer.

dispatched_by: Option<Who>

Who dispatched this run: the person, the city’s own desk (a plan, the schedule, an arrival), or the resident that delegated, succeeded itself or knocked. The line’s author cannot say it, because the city’s desk writes every run_started. Absent only in a record written before the key existed.

policy: Option<RunPolicy>

The run policy this run was dispatched under (crates/kernel/spec/Model.lean §8-77). Absent in a record written before the policy was recorded; the six mode words before it never reached a typed payload, so there is no older shape to read.

naming: Option<B3Hash>

The identity version this run’s session froze: the key a page reads the names the request carried back by, through the content store (crates/kernel/spec/Event/Record.lean §8-79). Absent in a record written before the key existed, which a page answers with the address rather than with today’s names.

opening: Option<Opening>

How the run’s first user message was written (crates/kernel/spec/Event/Record.lean §8-82-1): what a fork reads to rebuild that message the way the mother sent it. Absent in a record written before the key existed, and on a harness run, whose first words are the harness’s own prompt.

effort: Option<Effort>

The effort the run’s requests froze (crates/kernel/spec/Event/Record.lean §8-85): the session’s, which no turn may change. Absent when the dispatch stated none and the provider chooses - which is not Effort::None, asking it not to think - on a harness run, and in a record written before the key existed.

agent: Option<AgentRunIdentity>

The ACP agent that took this harness run (crates/kernel/spec/Event/Record.lean §8-87). Absent on a run this city’s own model loop drives, and in a record written before the key existed.

Trait Implementations

impl Clone for RunStarted

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 RunStarted

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

Formats the value using the given formatter.

impl Default for RunStarted

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RunStarted

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RunStarted

impl PartialEq for RunStarted

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RunStarted

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 RunStarted