Method insert_change

atomic-repository/src/repository/insert.rs:1649–1967

Insert a change into the current view. This is the high-level method for inserting a single change into the repository. It loads the change from the change store, validates dependencies, applies atoms to the graph, and updates the view state. # Arguments `hash` - The hash of the change to insert `options` - Options controlling insertion behavior # Returns An `InsertOutcome` containing the new

(
        &self,
        hash: &Hash,
        options: InsertOptions,
    )

    /// println!("New state: {}", result.new_state.to_base32());
    /// ```
    pub fn insert_change(
        &self,
        hash: &Hash,
        options: InsertOptions,
    ) -> Result<InsertOutcome, RepositoryError> {
        let trace_insert = std::env::var_os("ATOMIC_TRACE_INSERT").is_some();
        let t0 = std::time::Instant::now();

        // Load the change from the store
        let change = self.load_change(hash)?;

        if trace_insert {
            eprintln!(
                "[insert_change] hash={} load_change elapsed={:?} hunks={} deps={}",
                &hash.to_base32()[..12],
                t0.elapsed(),
                change.hunks().len(),
                change.dependencies().len(),
            );
        }

        // Get write transaction
        let mut txn = self
            .pristine
            .write_txn()
            .map_err(|e| RepositoryError::Database(e.to_string()))?;

        // Check if the change's edges are already in the global GRAPH.
        //
        // A change is "already in the global graph" when it is registered
        // (has a NodeId) AND at least one of its vertices exists in the
        // GRAPH B-tree.  `has_change_in_graph` performs a single O(log N)
        // range scan — far cheaper and more reliable than the previous
        // approach of loading the Change file and probing individual hunks.
        //
        // This correctly handles:
        //   - Changes recorded on a Draft view (edges in GRAPH only)
        //     → returns false, so hunks are re-applied to the global GRAPH
        //   - Changes already inserted into a Shared view (edges in GRAPH)
        //     → returns true, so redundant hunk application is skipped
        //   - Changes with only EdgeUpdate hunks (no FileAdd/DirAdd)
        //     → correctly detected via the range scan
        let t_check = std::time::Instant::now();
        let already_in_graph = if let Some(node_id) = txn
            .get_internal(hash)
            .map_err(|e| RepositoryError::Database(e.to_string()))?
        {
            let in_graph = txn
                .has_change_in_graph(node_id)
                .map_err(|e| RepositoryError::Database(e.to_string()))?;
            log::debug!(
                "insert_change: hash={} node_id={:?} already_in_graph={}",
                hash.to_base32(),
                node_id,
                in_graph
            );
            in_graph
        } else {