通过乱序数值与截止时间语义区分最长前缀和条件筛选，说明排序前提、unordered与有序并行流的正确性边界。