Struct Charter 

pub struct Charter<'a> {

    pub run: RunId,
    pub who: &'a str,
    pub addr: &'a Address,
    pub task: &'a str,
    pub goal: &'a str,
    pub job: &'a Locator,
    pub parent: Option<RunId>,
    pub predecessor: Option<RunId>,
    pub dispatched_by: &'a Who,
    pub skills: &'a [SkillPin],
    pub policy: RunPolicy,
    pub naming: Option<B3Hash>,
    pub opening: Option<Opening>,
    pub effort: Option<Effort>,
    pub agent: Option<&'a AgentRunIdentity>,
}

What run_started records about a run, and whom every line of the run is written as.

Fields

run: RunId

who: &'a str

The resident the run’s lines are written as.

addr: &'a Address

task: &'a str

goal: &'a str

job: &'a Locator

parent: Option<RunId>

predecessor: Option<RunId>

dispatched_by: &'a Who

skills: &'a [SkillPin]

policy: RunPolicy

The run policy run_started records (crates/kernel/Spec.lean §8-77).

naming: Option<B3Hash>

The identity version run_started records (crates/kernel/Spec.lean §8-79).

opening: Option<Opening>

How the run’s first user message was written, which a fork reads back (crates/kernel/Spec.lean §8-82-1); None for a run the city writes no first message for.

effort: Option<Effort>

The effort run_started records (crates/kernel/Spec.lean §8-85): the one the run’s requests froze; None when none was stated, and for a run that sends this city no requests.

agent: Option<&'a AgentRunIdentity>

The ACP agent run_started records for a harness run (crates/kernel/spec/Event/Record.lean §8-87); None for a run this city’s own model loop drives.

Trait Implementations

impl<'a> Clone for Charter<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for Charter<'a>

impl<'a> Debug for Charter<'a>

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

Formats the value using the given formatter.