Method walk_backward

atomic-core/src/change/provenance_graph/mod.rs:430–451

Walk backward from a node through its causal chain. Returns node IDs in reverse-causal order: the target node first, then its causes, then their causes, etc. Useful for answering "why did this change happen?" Stops at the graph boundary (goal nodes or nodes with no incoming edges). Avoids cycles (though the graph should be acyclic by construction).

(&self, start_node_id: &str)

    /// Stops at the graph boundary (goal nodes or nodes with no incoming edges).
    /// Avoids cycles (though the graph should be acyclic by construction).
    pub fn walk_backward(&self, start_node_id: &str) -> Vec<String> {
        let mut result = Vec::new();
        let mut visited = std::collections::HashSet::new();
        let mut queue = std::collections::VecDeque::new();

        queue.push_back(start_node_id.to_string());
        visited.insert(start_node_id.to_string());

        while let Some(node_id) = queue.pop_front() {
            result.push(node_id.clone());

            // Find all edges pointing TO this node (its causes)
            for edge in &self.edges {
                if edge.to == node_id && !visited.contains(&edge.from) {
                    visited.insert(edge.from.clone());
                    queue.push_back(edge.from.clone());
                }
            }
        }

        result
    }
}

impl fmt::Display for ProvenanceGraph {