Function render_node_text 

pub fn render_node_text(
    node: &RenderedNode,
    base_indent: usize,
    include_detail: bool,
) -> String

Render any RenderedNode tree as indented text (the building block of render_collapsed_text). With include_detail = false, proof-role-detail clusters are skipped (the clean macro view); with true, they render too.