Enum DumpEvent 

pub enum DumpEvent {
    Triggered {
        id: String,
    },
    Polling {
        elapsed_secs: u64,
        status: DumpStatus,
    },
    Downloading,
    Done {
        bytes: u64,
    },
    Adopting {
        id: String,
    },
    Deleting {
        id: String,
    },
    ProbeCreated {
        id: String,
    },
    DiscardingOtherProjectDump {
        id: String,
        project_iri: String,
    },
}

A progress event during a dump run, passed from the action layer to the ProgressReporter (stderr only).

DumpEvent::Done is consumed only by the ProgressReporter (stderr); it never reaches the Renderer. The final byte count reaches the renderer via DumpOutcome.bytes.

Variants

Triggered

The dump was successfully triggered on the server.

Fields

id: String

Server-assigned dump ID.

Polling

A polling tick while waiting for the dump to complete.

Fields

elapsed_secs: u64

Logical elapsed time in seconds (explicit accumulator, not wall clock). The first Polling event has elapsed_secs = 0.

status: DumpStatus

Current task status as reported by the server.

Downloading

The dump is complete on the server and download has started.

Done

The download finished. Consumed only by the ProgressReporter; the renderer receives the byte count via DumpOutcome.bytes instead.

Fields

bytes: u64

Number of bytes received from the server.

Adopting

An existing completed or in-progress dump was found and is being adopted (idempotent re-download, default mode).

Fields

id: String

The existing dump’s server-assigned ID.

Deleting

An existing dump is being deleted before a fresh one is triggered (--replace mode).

Fields

id: String

The dump ID being deleted.

ProbeCreated

--delete was requested but no completed/failed dump existed; the create_project_dump probe created a new in-progress dump. The dump will complete server-side without being downloaded.

Fields

id: String

The ID of the newly-created in-progress dump.

DiscardingOtherProjectDump

--replace --discard-other-project is discarding an existing dump that belongs to a different project to free the single server-wide dump slot.

Fields

id: String

The foreign dump’s id being discarded.

project_iri: String

The IRI of the project that dump belongs to (server-reported value).