Enum State 

pub enum State {
    None,
    Active(Arc<Rights>),
    Unavailable(String),
}

The rights in force for one call.

Variants

None

No session profile: the Instance’s own rules apply.

Active(Arc<Rights>)

A valid session profile.

Unavailable(String)

A profile is configured but unusable: everything is refused.

Implementations

impl State

pub fn is_active(&self) -> bool

pub fn check_write(&self, target: &Path) -> Result<(), String>

Whether this session may write target (absolute or relative to the process’s working directory).

pub fn check_tool_as(&self, name: &str, canonical: &str) -> Result<(), String>

The refusal for calling tool name, if any. canonical is the name of the handler an alias runs (the shell alias runs ctx_shell): a denied tool stays denied under every name.

pub fn check_tool(&self, name: &str) -> Result<(), String>

State::check_tool_as for a tool that is its own handler.

pub fn check_bash( &self, command: &str, cwd: &Path, env_keys: &[&str], ) -> Result<(), String>

Whether a shell command may run: every write it names must pass the write decision relative to cwd, and anything shell cannot analyse is refused with its rule. env_keys are the names the caller will add to the child’s environment (ctx_shell’s env argument); they are judged like a leading KEY=value assignment and seen by the git merge rule.

pub fn check_code( &self, language: &str, code: &str, cwd: &Path, ) -> Result<(), String>

Whether code given to a LeanCTX runner (ctx_execute) may run: shell code is analysed like a command line, any other language is refused under a profile because what it writes cannot be seen.

pub fn check_native_tool( &self, tool: &str, input: &Value, cwd: &Path, ) -> Result<(), String>

The decision for a host’s native tool call (a PreToolUse hook): Edit/Write/MultiEdit/NotebookEdit by their target path, apply_patch by the files its patch names, Bash by its command line, a known read-only tool passes, every other tool is refused. cwd is the session’s working directory from the hook payload.

Trait Implementations

impl Clone for State

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for State

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

Formats the value using the given formatter.