Method handle_array_drop

nodedb/src/data/executor/dispatch/array/mutate.rs:99–113

`ArrayOp::DropArray` handler — broadcast on `DROP ARRAY` after the Control-Plane catalog mutation. Releases the per-core store and removes the on-disk segment directory so a subsequent `CREATE ARRAY` with the same name (and possibly a different schema) starts from a clean slate. Idempotent: silently succeeds when this core never opened the array.

(
        &mut self,
        task: &ExecutionTask,
        array_id: &ArrayId,
    )

    /// schema) starts from a clean slate. Idempotent: silently
    /// succeeds when this core never opened the array.
    pub(in crate::data::executor) fn handle_array_drop(
        &mut self,
        task: &ExecutionTask,
        array_id: &ArrayId,
    ) -> Response {
        if let Err(e) = self.array_engine.drop_array(array_id) {
            return self.response_error(
                task,
                ErrorCode::Internal {
                    detail: format!("array drop: {e}"),
                },
            );
        }
        encode_count_response(self, task, "dropped", 1)
    }

    pub(in crate::data::executor) fn handle_array_compact(
        &mut self,