Enum RecoveryHints 

pub enum RecoveryHints {
    Off,
    Minimal,
    Full,
}

Controls the reactive recovery footer surfaced on compressed tool output (ctx_read, archive/firewall/spill handles, ctx_shell tee).

The proactive RECOVER rule teaches the vocabulary once in the system prompt; this knob governs the per-output reminder that names the concrete file path / handle at point-of-need:

• Minimal (default) — a single, non-MCP-first line on the first compressed view of a file/handle per session.
• Full — the richer ladder (mode=full · raw=true · ctx_retrieve · ctx_expand); used by the exploration/review profiles.
• Off — suppresses the footer entirely (the proactive rule still ships, so reversibility is never undiscoverable).

Variants

Off

Minimal

Full

Implementations

impl RecoveryHints

pub fn parse(s: &str) -> Option<Self>

Parse a config/env token. Returns None for unrecognized input so a typo falls back to the default rather than silently disabling the feature.

pub fn from_env() -> Option<Self>

Reads the recovery-hint tier from LEAN_CTX_RECOVERY_HINTS (ops/test override). Unset or unrecognized yields None (use the configured value).

pub fn label(self) -> &'static str

Stable lowercase label (config display, schema, /status).

Trait Implementations

impl Clone for RecoveryHints

fn clone(&self) -> RecoveryHints

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RecoveryHints

impl Debug for RecoveryHints

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

Formats the value using the given formatter.

impl Default for RecoveryHints

fn default() -> RecoveryHints

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RecoveryHints

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RecoveryHints

impl PartialEq for RecoveryHints

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RecoveryHints

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RecoveryHints