Struct ActionContext 

pub struct ActionContext {
    pub ceiling: Visibility,
}

What a pack action body receives. The ceiling is the framework’s enforcement point: every visibility the body produces is clamped (and the commit path rejects rows that would exceed it), so a pack author cannot stamp wider than the declared min_visibility no matter what the body does (P3: a compile-time AND framework-enforced property).

Fields

ceiling: Visibility

The declared visibility ceiling for this verb.

Implementations

impl ActionContext

pub fn narrow(&self, requested: Visibility) -> Visibility

Clamp a requested visibility to the declared ceiling. Bodies call this when stamping produced memories.

Trait Implementations

impl Clone for ActionContext

fn clone(&self) -> ActionContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ActionContext

impl Debug for ActionContext

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

Formats the value using the given formatter.