Operon：基于命名维度的锯齿数据增量构建方法

论文提出 Operon，一个围绕命名维度形式化构建的静态可验证工作流引擎，用于处理各维度长度只在运行时才确定的锯齿数据。它把锯齿数据建模为坐标空间上的扁平函数，以 DSL 标注维度名并由静态检查器验证任务无误迭代。运行时将未完成数组表示为向下封闭坐标域上的偏函数，从而精确计算任务入度并支持无需人工干预的故障恢复。