Function render

pub fn render(
    shadow: bool,
    wrapper: Wrapper,
    level: CompressionLevel,
    tool_profile: &ToolProfile,
) -> String

Expand description

Render lean-ctx rules for a given wrapper, shadow mode, compression level, and tool profile (#756).

shadow — when true, tool-mapping sections (BULLETS, NEVER, CRITICAL banner, “## Tool Mapping” header) are omitted.
wrapper — selects the profile (FULL / COMPACT) and wrapping style.
level — selects the output-style compression prompt (Lite / Standard / Max) which is appended to the body. Off omits it.
tool_profile — filters tool references in dynamic sections so agents only see tools they can actually call.

render