GraphFlow：一种支持可靠代理 AI 自动化的可形式化验证视觉工作流架构

GraphFlow 是一种旨在提升关键任务中多步代理 AI 自动化可靠性的视觉工作流系统。针对现有平台缺乏语义正确性保证及代理行为难以审计的问题，该系统将工作流图视为可执行规范，明确数据范围与执行语义。通过编译时契约验证和运行时持久化引擎，实现错误隔离、重放与审计。试点研究显示其在临床场景中具有高完成率，主要失败源于外部集成而非核心逻辑。