Struct Cx 

pub struct Cx<'a, C: CapabilitySet = NoCaps> { /* private fields */ }

Capability context threaded through all FrankenSuite operations.

Cx carries:

• A TraceId for distributed tracing across project boundaries.
• A Budget in the tropical semiring (min, +) for resource limits.
• A generic CapabilitySet defining available capabilities.
• Nesting depth for diagnostics.

The lifetime parameter 'a ensures that child contexts cannot outlive their parent scope, enforcing structured concurrency invariants.

Propagation

Child contexts are created via child, which:

• Inherits the parent’s TraceId.
• Takes the minimum of parent and child budgets (tropical min).
• Increments the nesting depth.

Implementations

impl<C: CapabilitySet> Cx<'_, C>

pub fn new(trace_id: TraceId, budget: Budget, capabilities: C) -> Self

Create a root context with the given trace, budget, and capabilities.

pub fn child(&self, capabilities: C, budget: Budget) -> Cx<'_, C>

Create a child context.

The child inherits this context’s TraceId and takes the minimum of this context’s budget and the provided budget.

pub const fn trace_id(&self) -> TraceId

The trace identifier for this context.

pub const fn budget(&self) -> Budget

The remaining budget.

pub fn capabilities(&self) -> &C

The capability set.

pub const fn depth(&self) -> u32

Nesting depth (0 for root contexts).

pub fn consume_budget(&mut self, ms: u64) -> bool

Consume budget from this context in place.

Returns false if insufficient budget remains (budget unchanged).

Trait Implementations

impl<C: CapabilitySet> Debug for Cx<'_, C>

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

Formats the value using the given formatter.