pub struct Capability {Show 18 fields
pub capability_id: String,
pub holder: ActorId,
pub effects: Vec<EffectKind>,
pub path_scope: Vec<PathPattern>,
pub write_scope: Vec<PathPattern>,
pub command_scope: Vec<CommandPattern>,
pub network_scope: Vec<NetworkPattern>,
pub max_calls: Option<u32>,
pub expires_at: Option<i64>,
pub may_delegate: bool,
pub risk_budget: Option<RiskBudget>,
pub approval_policy: ApprovalPolicy,
pub session_id: String,
pub authority_epoch: u64,
pub graph_revision: String,
pub node_generation: u32,
pub role: CapabilityRole,
pub parent_capability_id: Option<String>,
}Expand description
A capability: an explicit, attenuable grant of authority (PSP-8 System 7).
Fields§
§capability_id: String§holder: ActorId§effects: Vec<EffectKind>§path_scope: Vec<PathPattern>§write_scope: Vec<PathPattern>Mutation-only path ceiling (PSP-10 system 22): the node’s declared
output_targets. Reads stay governed by path_scope alone; empty
means unrestricted (undeclared targets).
command_scope: Vec<CommandPattern>§network_scope: Vec<NetworkPattern>§max_calls: Option<u32>Remaining call budget q_c. None means unbounded.
expires_at: Option<i64>Expiry τ_c as a unix timestamp. None means no expiry.
may_delegate: boolDelegability d_c.
risk_budget: Option<RiskBudget>§approval_policy: ApprovalPolicy§session_id: String§graph_revision: String§node_generation: u32§role: CapabilityRole§parent_capability_id: Option<String>Implementations§
Source§impl Capability
impl Capability
pub fn new(holder: ActorId, effects: Vec<EffectKind>) -> Self
pub fn with_paths(self, patterns: Vec<&str>) -> Self
pub fn delegable(self) -> Self
pub fn grants(&self, effect: EffectKind) -> bool
Sourcepub fn attenuates(&self, source: &Capability) -> bool
pub fn attenuates(&self, source: &Capability) -> bool
The attenuation preorder c' ⪯ c: a delegated capability may only shrink
effect scope, call budget, expiry, and delegability (PSP-8 System 7).
Sourcepub fn delegate(&self, child: Capability) -> Option<Capability>
pub fn delegate(&self, child: Capability) -> Option<Capability>
Attempt to delegate an attenuated child capability. Returns None if the
source is not delegable or the child does not satisfy the preorder.
Trait Implementations§
Source§impl Clone for Capability
impl Clone for Capability
Source§fn clone(&self) -> Capability
fn clone(&self) -> Capability
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for Capability
impl Debug for Capability
Source§impl PartialEq for Capability
impl PartialEq for Capability
Source§fn eq(&self, other: &Capability) -> bool
fn eq(&self, other: &Capability) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for Capability
Auto Trait Implementations§
impl Freeze for Capability
impl RefUnwindSafe for Capability
impl Send for Capability
impl Sync for Capability
impl Unpin for Capability
impl UnsafeUnpin for Capability
impl UnwindSafe for Capability
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.