Struct FormationBundle 

pub struct FormationBundle {
    pub formation_id: FormationId,
    pub member: String,
    pub launcher: Option<ProcessIdentity>,
    pub entry: bool,
    pub verify_key: FormationVerifyKey,
    pub calls: Vec<(String, FormationToken)>,
}

One member’s credentials, as its channel’s first line carries them:

{"formation_id":"frm_…","member":"coder","launcher":{"pid":4242,"process_start":"…"},"verify_key":"<b64url>","calls":[{"name":"reviewer","token":"mft1.…"}]}

Every field but launcher is required; calls is empty for a member that may call nobody.

Fields

formation_id: FormationId

member: String

launcher: Option<ProcessIdentity>

The launcher that started this member, which the member writes into its running record so mur stop can find the launcher from it. None when the launcher could not read its own start time, and the line then carries no launcher key.

entry: bool

Whether this member is the formation’s entry member, which the member writes into its running record so mur ps can say which member runs the formation’s task. The line carries "entry":true only when it is; a line without the key is a peer’s.

verify_key: FormationVerifyKey

calls: Vec<(String, FormationToken)>

One token per callee, in roster order.

Implementations

impl FormationBundle

pub fn render_line(&self) -> String

The channel’s first line, without its line ending. It carries tokens, and is written to the member’s channel and nowhere else.

pub fn parse_line(line: &str) -> Result<Self, RuntimeError>

Read a first line. Every token must verify under the line’s own key as issued by its member to the callee it is listed for, in its formation.

The error names the field at fault, by position for a call, and never quotes the line.

Trait Implementations

impl Clone for FormationBundle

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 FormationBundle

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

Formats the value using the given formatter.