Enum Verb 

pub enum Verb {
    Read,
    Write,
    Supersede,
    Delete,
    Erase,
    LoopRun,
    LoopReview,
    LoopApply,
    Admin,
    RunExecute,
    RunRespond,
    RunCancel,
}

One operation class — the unit of granting, GRANT SELECT-style.

The string forms (read, loop.review, …) are the wire/CAL vocabulary; they appear in grant-grain objects and eventually in GRANT statements, so they are frozen once the spec ships.

Variants

Read

Write

Supersede

Delete

Erase

LoopRun

LoopReview

LoopApply

Admin

RunExecute

D5 (governed-agents §6.8): start/resume/fork a workflow run — Control-tier: it spends budgets and executes effects, so it is not plain write.

RunRespond

D5: answer a requires_action Client ask. This IS the approval boundary — Control-tier, and the driver additionally refuses responder == triggering principal on approval asks (separation of duties, mirroring the loop’s self-approval block).

RunCancel

D5: cancel a run. Deliberately LOW-tier and broadly grantable — the brake must never be blocked by missing privilege (the kill-switch SLA depends on it).

Implementations

impl Verb

pub const ALL: [Verb; 12]

Every verb, in canonical display order. Append-only, like error codes: the string forms live in grant grains that replicate.

pub fn as_str(&self) -> &'static str

pub fn parse(s: &str) -> Result<Verb>

Trait Implementations

impl Clone for Verb

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Verb

impl Debug for Verb

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

Formats the value using the given formatter.

impl Display for Verb

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

Formats the value using the given formatter.

impl Eq for Verb

impl Hash for Verb

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Verb

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Verb