Enum Role 

pub enum Role {
    Author,
    Checker,
    Verifier,
    Unspecified,
}

The caller-declared ROLE a mutation was performed in (agent-trust plan 13) — a closed vocabulary recorded immutably alongside every mutation (commit trailer / ledger field). Caller-declared but tamper-evident: bound to specific operations in append-only history, so it cannot be edited after the fact and identities can be cross-checked across operations — which no self-written metadata field can provide. Unspecified is legal forever: old clients, casual sessions, and humans at the CLI are never refused for not declaring; absence is recorded as absence (no trailer), and downstream gates treat it as “cannot confirm”, never as any specific role.

Variants

Author

Checker

Verifier

Unspecified

Implementations

impl Role

pub const DECLARABLE: &'static [&'static str]

The declared-role wire vocabulary — what a role parameter accepts. unspecified is deliberately NOT declarable: it is the recorded absence of a declaration, not a value.

pub fn as_trailer(&self) -> Option<&'static str>

Trailer/wire form. None for Unspecified — absence is recorded as absence (no Role: trailer, no ledger field).

pub fn from_wire(s: &str) -> Option<Self>

Parse a caller-declared role. Returns None for anything outside Self::DECLARABLE — the surface refuses typed with the vocabulary named rather than defaulting.

Trait Implementations

impl Clone for Role

fn clone(&self) -> Role

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Role

impl Debug for Role

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

Formats the value using the given formatter.

impl Default for Role

fn default() -> Role

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Role

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Role

impl PartialEq for Role

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Role

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 Role