Type Alias EditorUiEvent

EditorUiEvent:
    | { kind: "export-downloaded"; settings: ExportSettings }
    | {
        kind: "export-released";
        outputBytes: number;
        reason: "dialog_closed" | "page_left";
    }

Facts only the user interface knows, for the host to measure. What the backend knows arrives as an EditorEvent.