Skip to main content

Module types

oxicode_sdk::security::capability

Module types 

Source
Expand description

seL4-style capability types — CSpace, ResourceRef, Rights.

Provides a capability-space abstraction where each agent holds a set of typed capability tokens (rights over named resources). Inspired by seL4’s capability model, simplified for SDK use.

Structs§

CSpace
Capability Space — an agent’s collection of capability tokens.
CSpaceBuilder
Builder for constructing a CSpace with standard templates.
CapabilityEntry
A single capability entry: rights over a resource, optionally with metadata.

Enums§

ResourceRef
Reference to a protected resource.
Rights
Access rights for a capability.