Expand description
Download manager port definition.
This port defines the public interface for the download subsystem.
It abstracts away all implementation details (Python subprocess,
cancellation tokens, HuggingFace client) behind a clean async API.
§Design
- Only core download domain types in signatures
- No Python types,
CancellationToken, or HF types leak through - Consistent with other ports (
HfClientPort,McpServerRepository)
Structs§
- Download
Manager Config - Configuration for creating a download manager.
- Download
Request - Request to queue a new download.