Module download 

Download domain types, events, errors, and traits.

This module contains pure data types and trait definitions for the download system. No I/O, networking, or runtime dependencies allowed.

Structure

• types - Core identifiers and data structures (DownloadId, Quantization, ShardInfo)
• events - Download events and status types (DownloadEvent, DownloadStatus)
• errors - Error types for download operations
• queue - Queue snapshot DTOs (QueueSnapshot, QueuedDownload, FailedDownload)
• completion - Queue run completion tracking types

Re-exports

pub use completion::AttemptCounts;

pub use completion::CompletionDetail;

pub use completion::CompletionKey;

pub use completion::CompletionKind;

pub use completion::QueueRunSummary;

pub use errors::DownloadError;

pub use errors::DownloadResult;

pub use events::DownloadEvent;

pub use events::DownloadStatus;

pub use events::DownloadSummary;

pub use queue::FailedDownload;

pub use queue::QueueSnapshot;

pub use queue::QueuedDownload;

pub use types::DownloadId;

pub use types::Quantization;

pub use types::ShardInfo;

Modules

completion

Queue run completion tracking types.

errors

Download error types.

events

Download events - discriminated union for all download state changes.

queue

Queue DTOs for API responses and snapshots.

types

Core domain types for downloads.