DateFilter interface
Filters jobs by their START time. The wire carries only the comparison and the Manager applies it to startTime; there is no end-time filter. (An earlier dateType: "start" | "end" field was accepted and ignored, so an "end" filter silently filtered on start time; it is gone.)
Signature:
export interface DateFilter