Function format_tool_result 

pub fn format_tool_result(
    receipt: &ToolReceipt,
    command: &str,
    cwd: &str,
) -> String

The result text sent back to Formal AI: the shell envelope its tool-result reader parses (Command/Directory/Output/Error/Exit Code), wrapped as untrusted context because the output is file data, not instructions.