Struct Capability 

pub struct Capability {
    pub id: CapabilityId,
    pub name: String,
    pub schubert_class: SchubertClass,
    pub requires: Vec<CapabilityId>,
    pub conflicts: Vec<CapabilityId>,
}

A capability in ShaperOS: an incidence condition on namespaces

Capabilities represent access rights that can be granted to namespaces. Each capability corresponds to a Schubert class, representing the geometric condition that a namespace must satisfy to have that capability.

Contracts

• The Schubert class must be valid for the given Grassmannian
• Dependencies form a DAG (no cycles)
• Conflicts are symmetric (if A conflicts with B, B should conflict with A)

Fields

id: CapabilityId

Unique identifier

name: String

Human-readable name

schubert_class: SchubertClass

Schubert class representing the incidence condition “Namespaces with this capability” = Schubert variety σ_λ

requires: Vec<CapabilityId>

Dependencies: must have these capabilities first

conflicts: Vec<CapabilityId>

Conflicts: cannot coexist with these

Implementations

impl Capability

pub fn new( id: impl Into<String>, name: impl Into<String>, partition: Vec<usize>, grassmannian: (usize, usize), ) -> EnumerativeResult<Self>

Create a new capability

Contract

requires: partition fits in Grassmannian box
ensures: result.codimension() == partition.iter().sum()

pub fn requires(self, cap_id: CapabilityId) -> Self

Add a dependency (builder pattern)

pub fn requires_all( self, cap_ids: impl IntoIterator<Item = CapabilityId>, ) -> Self

Add multiple dependencies

pub fn conflicts_with(self, cap_id: CapabilityId) -> Self

Add a conflict (builder pattern)

pub fn conflicts_with_all( self, cap_ids: impl IntoIterator<Item = CapabilityId>, ) -> Self

Add multiple conflicts

pub fn codimension(&self) -> usize

Codimension of this capability’s Schubert class

Contract

ensures: result == self.schubert_class.codimension()

pub fn has_dependencies(&self) -> bool

Check if this capability has any dependencies

pub fn has_conflicts(&self) -> bool

Check if this capability has any conflicts

Trait Implementations

impl Clone for Capability

fn clone(&self) -> Capability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Capability

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

Formats the value using the given formatter.