Function collect_zombie_context

atomic-core/src/apply/edge.rs:327–367

Collect zombie context when deleting content. If we're deleting content that has children or parents from unknown changes (not in our dependencies), those become zombies. A zombie is content that: - We want to delete - But has live connections from changes we don't know about # Arguments `txn` - Transaction for graph queries `workspace` - Workspace to track zombies `change` - Current change fo

(
    txn: &T,
    workspace: &mut Workspace,
    change: &Change,
    edge: &NewEdge<Option<Hash>>,
    change_id: NodeId,
)

/// * `edge` - The deletion edge
/// * `change_id` - Internal ID of current change
fn collect_zombie_context<T: GraphTxnT>(
    txn: &T,
    workspace: &mut Workspace,
    change: &Change,
    edge: &NewEdge<Option<Hash>>,
    change_id: NodeId,
) -> Result<(), LocalApplyError> {
    // Get the target position range
    let start_pos = resolve_position(txn, &edge.to.start_pos(), change_id)?;
    let end_pos = resolve_position(txn, &edge.to.end_pos(), change_id)?;

    // Find all vertices in the target range
    let mut pos = start_pos;
    while let Ok(node) = txn.find_block(pos) {
        // Check for non-deleted edges that we don't know about
        check_vertex_for_zombies(txn, workspace, change, node, change_id)?;

        // Move to next span in range
        if node.end < end_pos.pos {
            let next_pos = if node.end == node.start {
                // Empty vertex (e.g., inode marker) — skip past it
                ChangePosition::new(node.end.get() + 1)
            } else {
                node.end
            };
            if next_pos <= pos.pos {
                // Safety: avoid infinite loop if we can't advance
                log::warn!(
                    "collect_zombie_context: pos not advancing at {:?}, breaking",
                    pos
                );
                break;
            }
            pos.pos = next_pos;
        } else {
            break;
        }
    }

    Ok(())
}

/// Check a single span for zombie conflicts.
///