Function globalize_delete

atomic-core/src/record/workflow/globalize/hunk.rs:499–568

Mark every content vertex for this file as deleted. Delete the specific line vertices identified by `built.deleted_lines`. Proper patch theory: only the targeted vertices are marked deleted. Unaffected lines stay alive as the original vertices. Falls back to whole-file deletion for legacy single-vertex files or when `deleted_lines` is empty (full-file Delete hunk).

(
    ctx: &mut GlobalizeContext<'_, T>,
    built: &BuiltHunk,
    inode: Inode,
    inode_pos: Position<NodeId>,
    local: Local,
    encoding: Option<Encoding>,
)

/// Falls back to whole-file deletion for legacy single-vertex files or
/// when `deleted_lines` is empty (full-file Delete hunk).
fn globalize_delete<T>(
    ctx: &mut GlobalizeContext<'_, T>,
    built: &BuiltHunk,
    inode: Inode,
    inode_pos: Position<NodeId>,
    local: Local,
    encoding: Option<Encoding>,
) -> GlobalizeResult<Vec<GraphOp<Option<Hash>>>>
where
    T: GraphTxnT + TreeTxnT + InodeGraphOps,
{
    if should_use_opaque_generated_vertices(&local.path) {
        let content_vertices = find_content_vertices(ctx.txn(), inode, inode_pos)?;
        let deletion_edges = build_deletion_edges(ctx, &content_vertices)?;
        let deletion = EdgeUpdate {
            edges: deletion_edges,
            inode: position_to_option_hash_resolved(ctx.txn(), inode_pos, None),
        };
        return Ok(vec![GraphOp::Edit {
            change: Atom::EdgeUpdate(deletion),
            local,
            encoding,
        }]);
    }

    let sorted = collect_sorted_content_vertices_cached(ctx, inode, inode_pos)?;

    // Targeted deletion when we have per-line vertices and a specific
    // deleted range.
    if sorted.len() > 1 && !built.deleted_lines.is_empty() {
        let first_deleted = *built.deleted_lines.first().unwrap();
        let last_deleted = *built.deleted_lines.last().unwrap();

        if last_deleted < sorted.len() {
            let to_delete: Vec<GraphNode<NodeId>> =
                (first_deleted..=last_deleted).map(|i| sorted[i]).collect();
            let deletion_edges = build_deletion_edges(ctx, &to_delete)?;

            let deletion = EdgeUpdate {
                edges: deletion_edges,
                inode: position_to_option_hash_resolved(ctx.txn(), inode_pos, None),
            };

            return Ok(vec![GraphOp::Edit {
                change: Atom::EdgeUpdate(deletion),
                local,
                encoding,
            }]);
        }
    }

    // Fallback: whole-file deletion.
    let deletion = match delete_all_content(ctx, inode, inode_pos) {
        Ok(d) => d,
        Err(_) => {
            let global_vertices = find_content_vertices_global(ctx.txn(), inode_pos)?;
            let deletion_edges = build_deletion_edges(ctx, &global_vertices)?;
            EdgeUpdate {