Operon：用命名维度增量构建不规则数据的工作流引擎

Operon 是一个基于命名维度形式化的静态可验证工作流引擎，用于增量构建内层长度仅在运行时才确定的不规则数据。用户在 Operon DSL 中为数据流标注维度名，静态检查器可验证任务不含错误迭代，不受运行时长度影响。运行时系统将进行中的数组建模为向下封闭坐标域上的部分函数，从而支持部分未知数据状态、精确的任务入度计算以及无需程序员干预的故障恢复。