arXiv:2605.06365cs.AIcs.MA2026-05被引 3

用有向无环图追踪AI生成过程,让修改更可控、结果更可复现。

From Agent Loops to Deterministic Graphs: Execution Lineage for Reproducible AI-Native Work

  • 将AI工作流转为带显式依赖的有向无环图,明确每步输出来源
  • 在跨分支更新中零污染、零重构,中间产物保持完全一致
  • 适合需要长期维护、多轮迭代的AI生成任务,如政策文档修订

大型语言模型系统正越来越多地以代理工作流形式部署,融合推理、工具调用、记忆和迭代优化。这类系统虽能产出良好答案,但依赖隐式对话状态,导致难以稳定保存成果、隔离无关更新或在中间产物中传播变更。本文提出执行谱系(execution lineage):一种将AI原生工作表示为带显式依赖的有向无环图(DAG)的执行模型,具备稳定的中间边界与基于身份的重播能力。目标不是提升单次生成质量,而是确保生成内容在迭代中可维护。在两个受控的政策备忘录更新任务中对比了谱系重播与环状更新基线。在无关分支更新场景下,DAG重播在所有运行中精确保留最终备忘录,零更改、零无关上下文污染;而环状基线会重新生成备忘录并频繁引入无关信息。在中间产物编辑场景中,所有系统均反映新约束,但仅DAG重播实现了上游完全保留、下游正确传播、未受影响产物稳定、跨产物一致性。结果表明,最终答案质量与状态维持质量是独立指标。强环状基线在封闭合成/更新任务中仍可保持输出品质,但即时成功可能掩盖部分状态不一致,随后续修订逐步累积。执行谱系提供了关于何者应变、何者应稳、如何演进的更强保证。

原文摘要 · Abstract (English)

Large language model systems are increasingly deployed as agentic workflows that interleave reasoning, tool use, memory, and iterative refinement. These systems are effective at producing answers, but they often rely on implicit conversational state, making it difficult to preserve stable work products, isolate irrelevant updates, or propagate changes through intermediate artifacts. We introduce execution lineage: an execution model in which AI-native work is represented as a directed acyclic graph (DAG) of artifact-producing computations with explicit dependencies, stable intermediate boundaries, and identity-based replay. The goal is not to make the model a better one-shot writer, but to make evolving AI-generated work maintainable under change. We compare execution-lineage replay against loop-centric update baselines on two controlled policy-memo update tasks. In an unrelated-branch update, DAG replay preserved the final memo exactly in all runs, with zero churn and zero unrelated-branch contamination, while loop baselines regenerated the memo and frequently imported unrelated context. In an intermediate-artifact edit, all systems reflected the new constraint in the final memo, but only DAG replay achieved perfect upstream preservation, downstream propagation, unaffected-artifact preservation, and cross-artifact consistency. These results show that final answer quality and maintained-state quality are distinct. Strong loop baselines can remain competitive at producing polished final outputs when the task is a bounded synthesis/update problem and all current sources fit in context, but immediate task success can mask partial state inconsistency that may compound over future revisions. Execution lineage provides stronger guarantees about what should change, what should remain stable, and how work evolves across revisions.

AI工作流可复现性DAG

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。