Enum Request 

pub enum Request {
    Status,
    Log {
        limit: usize,
    },
    Incidents,
    Ask {
        phrase: String,
        choice: Option<usize>,
    },
    Apply {
        change: ChangeId,
        args: BTreeMap<String, Value>,
    },
    SetOverride {
        unit: UnitId,
        until: Until,
        desired: OverrideDesired,
    },
    LiftOverride {
        unit: UnitId,
    },
    HoldRelease {
        unit: UnitId,
        until: Until,
    },
    Stop {
        unit: UnitId,
    },
    Restart {
        unit: UnitId,
    },
    Gc,
    Undo,
    Approve {
        hash: Hash,
    },
    Cancel {
        txn: TxnId,
    },
    Resolve {
        txn: TxnId,
        resolution: Resolution,
    },
    MarkSecurityFloor,
    MarkGood {
        accept_unconfirmed: bool,
    },
    Diagnose {
        unit: UnitId,
        probe: Option<ProbeId>,
    },
    Console,
    ReportBoot,
    Posture,
    GymPropose {
        transition: Transition,
        stale_digest: bool,
        may_change: Option<Vec<UnitId>>,
    },
    GymCompact,
    AgentRun {
        name: String,
        argv: Vec<String>,
    },
    Acknowledge {
        unit: Option<UnitId>,
    },
}

Variants

Status

Log

Fields

limit: usize

Incidents

Ask

ask "<phrase>"; choice picks one of a previous Confirm’s options.

Fields

phrase: String

choice: Option<usize>

Apply

Fields

change: ChangeId

args: BTreeMap<String, Value>

SetOverride

Fields

unit: UnitId

until: Until

desired: OverrideDesired

LiftOverride

Fields

unit: UnitId

HoldRelease

§12d planarian hold release <unit> [--until]: lift a network hold, as an attested override on its hold unit. Administrator authority; a non-administrator’s release asks an administrator.

Fields

unit: UnitId

until: Until

Stop

A StopUnit from the CLI; rewritten to StopAndSuppress { NextBoot } (§14).

Fields

unit: UnitId

Restart

Fields

unit: UnitId

Gc

Undo

Approve

Approve a pending change. Phase A: root at an interactive terminal, the terminal established by the daemon from the peer’s pidfd (§11, B-3); the request carries nothing about it.

Fields

hash: Hash

Cancel

Fields

txn: TxnId

Resolve

Fields

txn: TxnId

resolution: Resolution

MarkSecurityFloor

planarian mark-security-floor: the running generation becomes the security floor (§12e). Administrator only.

MarkGood

Fields

accept_unconfirmed: bool

Diagnose

Fields

unit: UnitId

probe: Option<ProbeId>

Console

Everything the read-only console shows (§16a), in one answer.

ReportBoot

planarian report boot (§16): the last boot report.

Posture

planarian posture (§16, §12d): the posture and timeout in force, and whether a weaker declaration waits for the next boot.

GymPropose

The gym’s VM harness: submit transition as a proposal from the caller, optionally with a stale digest or a narrowed may_change. Answered only by a daemon built with gym-hooks.

Fields

transition: Transition

stale_digest: bool

may_change: Option<Vec<UnitId>>

GymCompact

The gym’s VM harness: compact the journal now. gym-hooks only.

AgentRun

planarian agent run <name> -- <argv> (§11, §16): start an agent as its own principal, in the transient unit planarian-agent-<name> with a dynamic uid. It is granted nothing.

Fields

name: String

argv: Vec<String>

Acknowledge

planarian ack [<unit>]: acknowledge inferred overrides (all, or one unit’s), so they stop being listed (§11, B-11). They still hold.

Fields

unit: Option<UnitId>

Implementations

impl Request

pub fn encode(&self) -> String

Trait Implementations

impl Clone for Request

fn clone(&self) -> Request

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Request

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Request

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Request

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Request

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Request

impl StructuralPartialEq for Request