Method format_change_ledger

atomic-cli/src/commands/change/command.rs:575–649

Format the change ledger (causal decision DAG) for display. Displays the structured provenance graph stored in the `.provenance` file: goals, tool executions, explorations, commitments, and patch proposals that led to this change.

(&self, change_hash: &Hash, repo: &Repository)

    /// file: goals, tool executions, explorations, commitments, and patch
    /// proposals that led to this change.
    fn format_change_ledger(&self, change_hash: &Hash, repo: &Repository) -> String {
        let mut output = String::new();

        let graphs = match repo.find_provenance_for_change(change_hash) {
            Ok(g) if !g.is_empty() => g,
            Ok(_) => {
                output.push_str(&format!(
                    "{}\n",
                    hint("No provenance graph found for this change.")
                ));
                return output;
            }
            Err(e) => {
                output.push_str(&format!(
                    "{}\n",
                    hint(&format!("Failed to load provenance: {}", e))
                ));
                return output;
            }
        };

        for (_graph_hash, graph) in &graphs {
            output.push_str(&format!("{}\n", emphasis("=== Change Ledger ===")));
            output.push_str(&format!("  Session: {}\n", info(&graph.session_id)));
            output.push_str(&format!(
                "  Agent:   {} ({})\n",
                info(&graph.agent_display_name),
                hint(&graph.agent_vendor)
            ));
            output.push_str(&format!(
                "  Nodes:   {}  Edges: {}  Changes: {}\n",
                graph.node_count(),
                graph.edge_count(),
                graph.change_count()
            ));
            output.push('\n');

            // Display nodes
            for node in &graph.nodes {
                let kind_str = format!("{}", node.kind);
                let kind_styled = format!("{}", style(&kind_str).bold().cyan());
                let duration = node
                    .duration_ms
                    .map(|ms| format!(" ({}ms)", ms))
                    .unwrap_or_default();
                let tool = node.tool_name.as_deref().unwrap_or("");
                let tool_str = if tool.is_empty() {
                    String::new()
                } else {
                    format!(" {}", hint(&format!("[{}]", tool)))
                };

                // Extract a one-line detail string from the structured detail JSON
                let detail_str = node
                    .detail
                    .as_ref()
                    .and_then(|d| format_node_detail(d))
                    .map(|s| format!("\n      {}", hint(&s)))