Module external_tool 

Shared path resolution and bounded execution of external tools.

Structs

ToolError

Captured tool failure whose category survives added invocation context.

Enums

ToolFailureKind

Distinguishes tool execution limits from errors in the supplied design.

Functions

kill_process_group

Terminates a tool’s process group and reaps the direct child.

resolve_executable

Resolves a tool name or explicit path before a caller changes directory.

run_checked

Runs a tool with file-backed diagnostics and a wall-clock timeout.

run_checked_detailed

Runs a tool while preserving resource-failure categories for its caller.

run_with_timeout

Captures a bounded tool invocation, including an unsuccessful exit status.

run_with_timeout_detailed

Captures a tool without converting timeout/resource errors into strings.

set_process_group

Gives a tool its own Unix process group before spawning it.