Struct JailRelaxation 

pub struct JailRelaxation {
    pub source: &'static str,
    pub detail: &'static str,
}

A single active relaxation of the path jail. Each one widens or disables what tools can reach beyond the project root, so it is surfaced loudly (GH security audit, finding 3): the MCP/HTTP server inherits its process env from the IDE/launchd, so a globally-set LEAN_CTX_ALLOW_PATH / LEAN_CTX_EXTRA_ROOTS / LEAN_CTX_ALLOW_IDE_DIRS (or path_jail = false) silently loosens the boundary with no in-band signal otherwise.

Fields

source: &'static str

The knob that activated it (env var name, config key, or build feature).

detail: &'static str

Human-readable effect of the relaxation.

Trait Implementations

impl Clone for JailRelaxation

fn clone(&self) -> JailRelaxation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for JailRelaxation

impl Debug for JailRelaxation

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

Formats the value using the given formatter.

impl Eq for JailRelaxation

impl PartialEq for JailRelaxation

fn eq(&self, other: &JailRelaxation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for JailRelaxation