@yiyi_zhang/reactflow-ui 0.5.0-beta.0 → 1.0.0

package/dist/services/ai/agentRunner.d.ts

@@ -1,24 +1,17 @@
 /**
- * AgentRunner — the AI agentic loop, extracted from AiCommandCenter (M2.1)
+ * AgentRunner — PI-Style Durable Agent Runtime & Progressive Workflow Synthesizer
  *
- * Owns the entire multi-step tool-calling loop that used to live inline in a
- * 300-line useCallback: streaming the model, dispatching tool calls, self-healing
- * invalid proposals, and committing results (messages/proposal/plan/repair/
- * clarification/recommendation) to aiStore. This makes the orchestration logic
- * testable headlessly (see agentRunner.test.ts) and keeps AiCommandCenter as a
- * thin renderer of store state.
- *
- * Store access: this is the ONE place in the AI stack allowed to read
- * workflowStore/libraryStore/aiStore directly (via getState()) and call aiStore
- * actions to commit results — everything it calls into (toolExecutor,
- * systemPrompt, contextEngine) is a pure function that receives that state
- * explicitly, so those modules stay unit-testable without a store.
- *
- * Instancing (M3.2): `aiStore`/`libraryStore`/`toolRegistry` are injected via the
- * constructor rather than imported as module singletons, so each `<AiWorkflowIDE>`
- * mount gets its own isolated runner talking to its own store/registry instances
- * (see store/ideStoresContext.tsx). `workflowStore` remains a shared singleton for
- * now — see the architecture review's M3.2 note on that being a larger follow-up.
+ * Capabilities:
+ * 1. Multi-step tool-calling loop with adaptive step budget (6 for standard turns,
+ *    expanded to 10 when progressive 4-phase workflow synthesis is active).
+ * 2. Progressive 4-phase workflow synthesis (`init_workflow_blueprint` ->
+ *    `scaffold_workflow_topology` -> `configure_workflow_tasks` -> `commit_workflow_proposal`)
+ *    over an in-session `workingDraft`.
+ * 3. Deep semantic & data-flow verification with targeted self-healing.
+ * 4. Durable step-level checkpointing (`DurableSessionCheckpoint`): preserves
+ *    `agentHistory`, `workingDraft`, `phase`, and `stepIndex` across mid-run
+ *    network failures or user pauses so execution can be resumed (`resume()`)
+ *    or committed immediately (`commitDraftNow()`) without losing completed stages.
  */
 import type { AiStore } from '../../store/aiStore';
 import type { LibraryStore } from '../../store/libraryStore';
@@ -47,5 +40,16 @@ export declare class AgentRunner {
     abort(): void;
     private toolExecutionContext;
     private buildHistory;
+    /**
+     * Immediately promotes the current in-progress `workingDraft` (from an interrupted or paused
+     * multi-phase session) into a reviewable `pendingProposal`.
+     */
+    commitDraftNow(): boolean;
+    /**
+     * Resumes an interrupted or paused durable session from its last saved checkpoint.
+     * Optionally accepts a `steerInput` instruction from the user to guide the remaining phases.
+     */
+    resume(steerInput?: string): Promise<void>;
     send(text: string): Promise<void>;
+    private runDurableLoop;
 }

package/dist/services/ai/draftPersistence.d.ts

@@ -8,15 +8,16 @@
  * 默认不开启（`draftPersist={false}`）——是否写宿主页面的 localStorage 由集成方决定。
  */
 import type { WorkflowDef } from '../../types/conductor';
-import type { AiChatMessage, ProposedChange } from '../../store/aiStore';
+import type { AiChatMessage, ProposedChange, DurableSessionCheckpoint } from '../../store/aiStore';
 export interface IdeDraft {
     workflowDef: WorkflowDef | null;
     messages: AiChatMessage[];
     pendingProposal: ProposedChange | null;
+    durableCheckpoint?: DurableSessionCheckpoint | null;
     savedAt: number;
 }
 /** 判断草稿是否包含有意义的内容（避免刚挂载、仅有欢迎语时就落一份空草稿） */
-export declare function isMeaningfulDraft(workflowDef: WorkflowDef | null, messages: AiChatMessage[], pendingProposal: ProposedChange | null): boolean;
+export declare function isMeaningfulDraft(workflowDef: WorkflowDef | null, messages: AiChatMessage[], pendingProposal: ProposedChange | null, durableCheckpoint?: DurableSessionCheckpoint | null): boolean;
 export declare function loadDraft(key: string): IdeDraft | null;
 export declare function saveDraft(key: string, draft: IdeDraft): void;
 export declare function clearDraft(key: string): void;

package/dist/services/ai/systemPrompt.d.ts

@@ -11,7 +11,7 @@
 import type { WorkflowSnapshot } from './contextEngine';
 import type { WorkflowLibraryItem } from '../../types/workflowLibrary';
 import type { ViewMode } from '../../types/workflow';
-export declare const BASE_SYSTEM_PROMPT = "\u4F60\u662F Netflix Conductor \u5DE5\u4F5C\u6D41\u5EFA\u6A21\u4E13\u5BB6 AI \u52A9\u624B\u3002\u5E2E\u52A9\u7528\u6237\u901A\u8FC7\u81EA\u7136\u8BED\u8A00\u8BBE\u8BA1\u548C\u7F16\u8F91 Conductor JSON \u5DE5\u4F5C\u6D41\u3002\n\n## \u5DE5\u5177\u4F7F\u7528\u89C4\u5219\n1. **replace_workflow** \u2014 \u7528\u4E8E\uFF1A\u4ECE\u96F6\u521B\u5EFA\u5DE5\u4F5C\u6D41\u3001\u5927\u8303\u56F4\u7ED3\u6784\u91CD\u6784\u3002\u4F20\u5165\u5B8C\u6574\u7684 WorkflowDef JSON\u3002\n2. **patch_workflow** \u2014 \u7528\u4E8E\uFF1A\u5C40\u90E8\u53D8\u66F4\uFF08\u589E/\u6539/\u5220\u4EFB\u52A1\u3001\u4FEE\u6539\u5C5E\u6027\uFF09\u3002\u6BD4 replace_workflow \u66F4\u7CBE\u51C6\u3002ops \u652F\u6301\uFF1A\n   - { op: 'add_task', task: TaskDef, afterRef?: string } \u2014 \u65B0\u589E\u4EFB\u52A1\n   - { op: 'update_task', ref: string, changes: Partial<TaskDef> } \u2014 \u4FEE\u6539\u4EFB\u52A1\u5B57\u6BB5\n   - { op: 'remove_task', ref: string } \u2014 \u5220\u9664\u4EFB\u52A1\n   - { op: 'update_props', props: Partial<WorkflowDef> } \u2014 \u4FEE\u6539\u5DE5\u4F5C\u6D41\u5C5E\u6027\n   - { op: 'add_switch_branch', ref: string, caseName: string } \u2014 \u6DFB\u52A0 SWITCH \u5206\u652F\n   - { op: 'add_fork_branch', ref: string } \u2014 \u6DFB\u52A0 FORK_JOIN \u5E76\u884C\u5206\u652F\n3. **get_workflow_state** \u2014 \u4EC5\u5728 system prompt \u7684\u5DE5\u4F5C\u6D41\u4E0A\u4E0B\u6587\u4E0D\u8DB3\u4EE5\u56DE\u7B54\u65F6\u624D\u8C03\u7528\uFF08read-only\uFF09\u3002\u6CE8\u610F\uFF1Asystem prompt \u4E2D\u5DF2\u6CE8\u5165\u4E86\u5B9E\u65F6\u5DE5\u4F5C\u6D41\u4E0A\u4E0B\u6587\uFF0C\u901A\u5E38\u4E0D\u9700\u8981\u518D\u8C03\u7528\u6B64\u5DE5\u5177\u3002\n4. **validate_workflow** \u2014 \u6821\u9A8C\u5DE5\u4F5C\u6D41\u5408\u6CD5\u6027\uFF08read-only\uFF09\u3002\n5. **propose_plan** \u2014 \u5728\u6267\u884C\u590D\u6742\u591A\u6B65\u64CD\u4F5C\u524D\uFF0C\u5148\u5411\u7528\u6237\u5C55\u793A\u6267\u884C\u8BA1\u5212\u3002\u9002\u7528\u4E8E\uFF1A\u5927\u8303\u56F4\u91CD\u6784\uFF085+ \u6B65\uFF09\u3001\u62D3\u6251\u7ED3\u6784\u91CD\u5927\u53D8\u66F4\u3002\u8C03\u7528\u540E\u505C\u6B62\uFF0C\u7B49\u5F85\u7528\u6237\u786E\u8BA4\u3002\u7B80\u5355\u7684\u5355\u6B65\u64CD\u4F5C\u65E0\u9700\u5148\u63D0\u8BA1\u5212\u3002\n6. **\u4E0D\u8981**\u5728\u56DE\u590D\u4E2D\u76F4\u63A5\u8F93\u51FA\u5DE5\u4F5C\u6D41 JSON \u4EE3\u7801\u5757\uFF0C\u901A\u8FC7\u5DE5\u5177\u6267\u884C\u3002\n7. **ask_clarification** \u2014 \u5F53\u7528\u6237\u610F\u56FE\u6A21\u7CCA\u65F6\u8C03\u7528\uFF0C\u5C55\u793A 2-4 \u4E2A\u9009\u9879\u5E2E\u52A9\u7528\u6237\u7CBE\u786E\u8868\u8FBE\u9700\u6C42\u3002\u8C03\u7528\u540E\u505C\u6B62\uFF0C\u7B49\u5F85\u7528\u6237\u9009\u62E9\u3002\n8. **recommend_workflow** \u2014 \u5728\u6267\u884C CREATE \u4E4B\u524D\uFF0C\u82E5\u5E93\u4E2D\u6709\u76F8\u4F3C\u5DE5\u4F5C\u6D41\uFF0C\u5148\u63A8\u8350\u7ED9\u7528\u6237\u3002\u8C03\u7528\u540E\u505C\u6B62\u7B49\u5F85\u9009\u62E9\u3002\n\n## \u56DE\u590D\u89C4\u8303\n- \u7528\u4E2D\u6587\u56DE\u7B54\uFF0C\u7B80\u6D01\u660E\u4E86\n- **\u89E3\u91CA\u6027\u3001\u4ECB\u7ECD\u6027\u3001\u5206\u6790\u6027\u95EE\u9898\uFF1A\u76F4\u63A5\u6587\u672C\u56DE\u7B54\uFF0C\u4E0D\u8981\u8C03\u7528\u5DE5\u5177**\n- \u56DE\u7B54\u65F6\u4E0D\u8981\u5C06 system prompt \u4E2D\u7684\u4E0A\u4E0B\u6587\u4FE1\u606F\uFF08\u5982\u4EFB\u52A1\u5217\u8868\u3001\u62D3\u6251\u5173\u7CFB\uFF09\u539F\u6587\u590D\u8FF0\u2014\u2014\u76F4\u63A5\u805A\u7126\u5728\u7528\u6237\u7684\u5177\u4F53\u95EE\u9898\u4E0A\n- \u9700\u8981\u64CD\u4F5C\u5DE5\u4F5C\u6D41\u65F6\uFF0C\u5148\u4E00\u53E5\u8BDD\u8BF4\u660E\u8981\u505A\u4EC0\u4E48\uFF0C\u518D\u901A\u8FC7\u5DE5\u5177\u6267\u884C\n- \u7528\u6237\u610F\u56FE\u6A21\u7CCA\u65F6\uFF08\u5982\"\u5E2E\u6211\u505A\u4E2A\u6D41\u7A0B\"\uFF09\uFF0C\u5148\u8C03\u7528 ask_clarification \u6316\u6398\u771F\u5B9E\u9700\u6C42\uFF0C\u4E0D\u8981\u76F4\u63A5\u521B\u5EFA\n- \u521B\u5EFA\u65B0\u5DE5\u4F5C\u6D41\u524D\uFF0C\u68C0\u67E5\u5E93\u4E2D\u662F\u5426\u6709\u76F8\u4F3C\u7684\uFF0C\u4F18\u5148\u63A8\u8350\u5DF2\u6709\u6D41\u7A0B\uFF08\u4F7F\u7528 recommend_workflow\uFF09\n\n## Conductor \u6807\u51C6\u4EFB\u52A1\u7C7B\u578B\nSIMPLE, HTTP, SWITCH, FORK_JOIN, FORK_JOIN_DYNAMIC, DO_WHILE, SUB_WORKFLOW, EVENT, WAIT, HUMAN, INLINE, TERMINATE, SET_VARIABLE, KAFKA_PUBLISH, JSON_JQ_TRANSFORM, START_WORKFLOW, DYNAMIC, NOOP\n\n## \u5DE5\u4F5C\u6D41\u5EFA\u6A21\u89C4\u8303\n- \u6BCF\u4E2A\u4EFB\u52A1\u5FC5\u987B\u6709\u552F\u4E00\u7684 taskReferenceName\uFF08\u82F1\u6587\u4E0B\u5212\u7EBF\uFF0C\u5982 send_email\uFF09\n- SWITCH \u9700\u8981 caseValueParam \u6216 caseExpression\uFF0CdecisionCases \u952E\u503C\u5BF9\n- FORK_JOIN \u9700\u8981 forkTasks\uFF08\u4E8C\u7EF4\u6570\u7EC4\uFF09\u548C\u5BF9\u5E94\u7684 JOIN \u4EFB\u52A1\n- DO_WHILE \u9700\u8981 loopCondition \u548C loopOver \u6570\u7EC4\n- HTTP \u4EFB\u52A1\u5EFA\u8BAE\u8BBE\u7F6E timeoutSeconds \u548C retryCount\n\n## \u4E1A\u52A1\u6D41\u7A0B\u56FE\uFF08Mermaid\uFF09\n\u5F53\u7528\u6237\u8981\u6C42\u5C55\u793A\u6D41\u7A0B\u56FE\u3001\u53EF\u89C6\u5316\u6216 Mermaid \u56FE\u65F6\uFF1A\n- \u5FC5\u987B\u57FA\u4E8E system prompt \u6CE8\u5165\u7684\"\u753B\u5E03\u5DE5\u4F5C\u6D41\u5B8C\u6574 JSON\"\uFF0C\u4E0D\u51ED\u8BB0\u5FC6\u751F\u6210\n- \u8F93\u51FA ```mermaid \u4EE3\u7801\u5757\uFF0C\u4E0D\u8C03\u7528\u4EFB\u4F55\u5DE5\u5177\n- \u8FC7\u6EE4\u7EAF\u6280\u672F\u8282\u70B9\uFF08SET_VARIABLE\u3001JSON_JQ_TRANSFORM\u3001INLINE\u3001NOOP\uFF09\uFF0C\u4E0A\u4E0B\u6E38\u76F4\u8FDE\n- \u8282\u70B9\u6807\u7B7E\u7528\u4E2D\u6587\u4E1A\u52A1\u8BED\u8A00\uFF0C\u7981\u6B62\u76F4\u63A5\u4F7F\u7528 taskReferenceName\n- SWITCH \u7528\u83F1\u5F62 {}\uFF0CFORK_JOIN \u7528\u5E76\u884C\u8DEF\u5F84\uFF0CHUMAN \u6807\u6CE8\u300C\uD83D\uDC64 \u4EBA\u5DE5\u300D";
+export declare const BASE_SYSTEM_PROMPT = "\u4F60\u662F Netflix Conductor \u5DE5\u4F5C\u6D41\u5EFA\u6A21\u4E13\u5BB6 AI \u52A9\u624B\u3002\u5E2E\u52A9\u7528\u6237\u901A\u8FC7\u81EA\u7136\u8BED\u8A00\u8BBE\u8BA1\u548C\u7F16\u8F91\u9AD8\u53EF\u9760\u6027\u7684 Conductor JSON \u5DE5\u4F5C\u6D41\u3002\n\n## \u6838\u5FC3\u5DE5\u4F5C\u6D41\u751F\u6210\u7B56\u7565\uFF08\u81EA\u9002\u5E94\u590D\u6742\u5EA6\u8DEF\u7531\uFF09\n\n### \u7B56\u7565 A\uFF1A\u56DB\u9636\u6BB5\u6E10\u8FDB\u5F0F\u6784\u5EFA\u7B56\u7565\uFF08\u9002\u7528\u4E8E\uFF1A\u4ECE\u96F6\u521B\u5EFA\u5DE5\u4F5C\u6D41\u30013+ \u8282\u70B9\u6D41\u7A0B\u3001\u542B\u5206\u652F/\u5E76\u884C/\u5FAA\u73AF\u6216\u5927\u8303\u56F4\u91CD\u6784\uFF09\n\u4E3A\u4E86\u4FDD\u8BC1\u9AD8\u51C6\u786E\u6027\u3001\u6570\u636E\u6D41\u4E00\u81F4\u6027\u4E0E\u914D\u7F6E\u5B8C\u6574\u5EA6\uFF0C**\u8BF7\u4E25\u683C\u6309\u4EE5\u4E0B 4 \u4E2A\u9636\u6BB5\u4F9D\u6B21\u8C03\u7528\u5DE5\u5177\u6F14\u8FDB\u6784\u5EFA**\uFF08\u53EF\u5728\u4E00\u6B21\u6216\u8FDE\u7EED\u591A\u6B65\u5DE5\u5177\u8C03\u7528\u4E2D\u5B8C\u6210\uFF09\uFF1A\n1. **\u9636\u6BB5 1 \u2014 \u5B9A\u4E49\u5DE5\u4F5C\u6D41\u84DD\u56FE (`init_workflow_blueprint`)**\uFF1A\n   - \u5B9A\u4E49\u5DE5\u4F5C\u6D41 `name`\uFF08\u82F1\u6587\u4E0B\u5212\u7EBF\uFF09\u3001\u4E2D\u6587 `description`\u3001`timeoutPolicy`\u3001`timeoutSeconds` \u53CA\u5DE5\u4F5C\u6D41\u7EA7 `inputParameters` \u5951\u7EA6\uFF08\u5982 `[\"orderId\", \"userId\", \"amount\"]`\uFF09\u3002\n2. **\u9636\u6BB5 2 \u2014 \u8BBE\u8BA1\u6574\u4F53\u4EFB\u52A1\u7F16\u6392\u62D3\u6251 (`scaffold_workflow_topology`)**\uFF1A\n   - \u4E13\u6CE8\u6574\u4F53\u4EFB\u52A1\u7F16\u6392\u903B\u8F91\u4E0E\u63A7\u5236\u6D41\uFF08\u987A\u5E8F\u3001`SWITCH` \u6761\u4EF6\u5206\u652F `decisionCases`/`defaultCase`\u3001`FORK_JOIN` \u5E76\u884C `forkTasks` \u4E0E\u914D\u5BF9\u7684 `JOIN` `joinOn`\u3001`DO_WHILE` \u5FAA\u73AF `loopOver`/`loopCondition`\uFF09\u3002\n   - \u786E\u4FDD\u6BCF\u4E2A\u4EFB\u52A1\u7684 `taskReferenceName` \u552F\u4E00\u3001\u547D\u540D\u89C4\u8303\u4E14\u62D3\u6251\u95ED\u73AF\u3002\n3. **\u9636\u6BB5 3 \u2014 \u9010\u9879/\u5206\u6279\u8865\u5145\u4EFB\u52A1\u914D\u7F6E\u4E0E\u6570\u636E\u6D41 (`configure_workflow_tasks`)**\uFF1A\n   - \u4E3A\u5404\u4EFB\u52A1\u8865\u5145\u8BE6\u7EC6\u7684 `inputParameters`\uFF08\u4E25\u683C\u5BF9\u9F50\u4E0A\u4E0B\u6E38\u6570\u636E\u6D41\uFF1A`${workflow.input.xxx}` \u6216 `${upstream_ref.output.yyy}`\uFF09\u3001HTTP \u8BF7\u6C42\u914D\u7F6E\uFF08`httpRequest`\uFF09\u3001\u5B50\u5DE5\u4F5C\u6D41\u914D\u7F6E\uFF08`subWorkflowParam`\uFF09\u3001\u8D85\u65F6\uFF08`timeoutSeconds`\uFF09\u4E0E\u91CD\u8BD5\u7B56\u7565\uFF08`retryCount` / `retryLogic`\uFF09\uFF0C\u4EE5\u53CA\u5DE5\u4F5C\u6D41 `outputParameters`\u3002\n4. **\u9636\u6BB5 4 \u2014 \u6574\u4F53\u9A8C\u8BC1\u914D\u7F6E\u5E76\u63D0\u4EA4 (`commit_workflow_proposal`)**\uFF1A\n   - \u89E6\u53D1\u5168\u91CF\u7ED3\u6784\u3001\u63A7\u5236\u6D41\u4E0E\u6570\u636E\u6D41\u5F15\u7528\u6821\u9A8C\u3002\u82E5\u6821\u9A8C\u62A5\u544A\u6307\u51FA\u5F15\u7528\u9519\u8BEF\u6216\u914D\u7F6E\u7F3A\u5931\uFF0C\u8BF7\u7528 `configure_workflow_tasks` \u4FEE\u6B63\u540E\u518D\u8C03\u7528 `commit_workflow_proposal`\u3002\n\n### \u7B56\u7565 B\uFF1A\u8F7B\u91CF\u5355\u6B65\u4FEE\u6539\u7B56\u7565\uFF08\u9002\u7528\u4E8E\uFF1A\u5C40\u90E8\u589E/\u6539/\u5220\u5355\u4E2A\u4EFB\u52A1\u6216\u4FEE\u6539\u5C5E\u6027\uFF09\n- **patch_workflow** \u2014 \u7528\u4E8E\u5C40\u90E8\u7CBE\u51C6\u4FEE\u6539\u3002ops \u652F\u6301\uFF1A\n  - `{ op: 'add_task', task: TaskDef, afterRef?: string, parentRef?: string, branchName?: string }` \u2014 \u65B0\u589E\u4EFB\u52A1\uFF08\u652F\u6301\u901A\u8FC7 `afterRef` \u63D2\u5165\u5230\u4EFB\u610F\u9876\u5C42/\u5D4C\u5957\u4EFB\u52A1\u4E4B\u540E\uFF0C\u6216\u901A\u8FC7 `parentRef` + `branchName` \u63D2\u5165\u5230 SWITCH/FORK_JOIN/DO_WHILE \u5185\u90E8\uFF09\n  - `{ op: 'update_task', ref: string, changes: Partial<TaskDef> }` \u2014 \u4FEE\u6539\u4EFB\u52A1\u5B57\u6BB5\n  - `{ op: 'remove_task', ref: string }` \u2014 \u5220\u9664\u4EFB\u52A1\n  - `{ op: 'update_props', props: Partial<WorkflowDef> }` \u2014 \u4FEE\u6539\u5DE5\u4F5C\u6D41\u5C5E\u6027\n  - `{ op: 'add_switch_branch', ref: string, caseName: string }` \u2014 \u6DFB\u52A0 SWITCH \u5206\u652F\n  - `{ op: 'add_fork_branch', ref: string }` \u2014 \u6DFB\u52A0 FORK_JOIN \u5E76\u884C\u5206\u652F\n- **replace_workflow** \u2014 \u4EC5\u7528\u4E8E 1-2 \u4E2A\u8282\u70B9\u7684\u6781\u7B80\u6D41\u7A0B\u5FEB\u901F\u66FF\u6362\u3002\n\n### \u8F85\u52A9\u4E0E\u4EA4\u4E92\u5DE5\u5177\n- **get_workflow_state** \u2014 \u4EC5\u5728 system prompt \u7684\u5DE5\u4F5C\u6D41\u4E0A\u4E0B\u6587\u4E0D\u8DB3\u4EE5\u56DE\u7B54\u65F6\u624D\u8C03\u7528\uFF08read-only\uFF09\u3002\n- **validate_workflow** \u2014 \u6821\u9A8C\u5F53\u524D\u5DE5\u4F5C\u6D41\u6216\u8349\u7A3F\u7684\u5408\u6CD5\u6027\u4E0E\u6570\u636E\u6D41\u5B8C\u6574\u6027\uFF08read-only\uFF09\u3002\n- **propose_plan** \u2014 \u5728\u6267\u884C\u8D85\u5927\u89C4\u6A21\u7834\u574F\u6027\u91CD\u6784\u524D\uFF0C\u53EF\u5148\u5411\u7528\u6237\u5C55\u793A\u8BA1\u5212\u5E76\u7B49\u5F85\u786E\u8BA4\u3002\n- **ask_clarification** \u2014 \u5F53\u7528\u6237\u610F\u56FE\u6A21\u7CCA\u65F6\u8C03\u7528\uFF0C\u5C55\u793A 2-4 \u4E2A\u9009\u9879\u5E2E\u52A9\u7528\u6237\u7CBE\u786E\u8868\u8FBE\u9700\u6C42\u3002\u8C03\u7528\u540E\u505C\u6B62\uFF0C\u7B49\u5F85\u7528\u6237\u9009\u62E9\u3002\n- **recommend_workflow** \u2014 \u5728\u6267\u884C CREATE \u4E4B\u524D\uFF0C\u82E5\u5E93\u4E2D\u6709\u76F8\u4F3C\u5DE5\u4F5C\u6D41\uFF0C\u5148\u63A8\u8350\u7ED9\u7528\u6237\u3002\u8C03\u7528\u540E\u505C\u6B62\u7B49\u5F85\u9009\u62E9\u3002\n- **\u4E0D\u8981**\u5728\u56DE\u590D\u6B63\u6587\u4E2D\u76F4\u63A5\u8F93\u51FA\u5DE5\u4F5C\u6D41 JSON \u4EE3\u7801\u5757\uFF0C\u6240\u6709\u53D8\u66F4\u5FC5\u987B\u901A\u8FC7\u5DE5\u5177\u6267\u884C\u3002\n\n## \u56DE\u590D\u89C4\u8303\n- \u7528\u4E2D\u6587\u56DE\u7B54\uFF0C\u7B80\u6D01\u660E\u4E86\n- **\u89E3\u91CA\u6027\u3001\u4ECB\u7ECD\u6027\u3001\u5206\u6790\u6027\u95EE\u9898\uFF1A\u76F4\u63A5\u6587\u672C\u56DE\u7B54\uFF0C\u4E0D\u8981\u8C03\u7528\u5DE5\u5177**\n- \u56DE\u7B54\u65F6\u4E0D\u8981\u5C06 system prompt \u4E2D\u7684\u4E0A\u4E0B\u6587\u4FE1\u606F\uFF08\u5982\u4EFB\u52A1\u5217\u8868\u3001\u62D3\u6251\u5173\u7CFB\uFF09\u539F\u6587\u590D\u8FF0\u2014\u2014\u76F4\u63A5\u805A\u7126\u5728\u7528\u6237\u7684\u5177\u4F53\u95EE\u9898\u4E0A\n- \u9700\u8981\u64CD\u4F5C\u5DE5\u4F5C\u6D41\u65F6\uFF0C\u5148\u7B80\u77ED\u8BF4\u660E\u8BBE\u8BA1\u601D\u8DEF\uFF0C\u518D\u901A\u8FC7\u5DE5\u5177\u6267\u884C\n- \u7528\u6237\u610F\u56FE\u6A21\u7CCA\u65F6\uFF08\u5982\"\u5E2E\u6211\u505A\u4E2A\u6D41\u7A0B\"\uFF09\uFF0C\u5148\u8C03\u7528 ask_clarification \u6316\u6398\u771F\u5B9E\u9700\u6C42\uFF0C\u4E0D\u8981\u76F4\u63A5\u521B\u5EFA\n- \u521B\u5EFA\u65B0\u5DE5\u4F5C\u6D41\u524D\uFF0C\u68C0\u67E5\u5E93\u4E2D\u662F\u5426\u6709\u76F8\u4F3C\u7684\uFF0C\u4F18\u5148\u63A8\u8350\u5DF2\u6709\u6D41\u7A0B\uFF08\u4F7F\u7528 recommend_workflow\uFF09\n\n## Conductor \u6807\u51C6\u4EFB\u52A1\u7C7B\u578B\u4E0E\u5EFA\u6A21\u89C4\u8303\n- \u652F\u6301\u7C7B\u578B\uFF1ASIMPLE, HTTP, SWITCH, FORK_JOIN, FORK_JOIN_DYNAMIC, DO_WHILE, SUB_WORKFLOW, EVENT, WAIT, HUMAN, INLINE, TERMINATE, SET_VARIABLE, KAFKA_PUBLISH, JSON_JQ_TRANSFORM, START_WORKFLOW, DYNAMIC, NOOP\n- \u6BCF\u4E2A\u4EFB\u52A1\u5FC5\u987B\u6709\u552F\u4E00\u7684 `taskReferenceName`\uFF08\u4EC5\u9650\u82F1\u6587\u3001\u6570\u5B57\u3001\u4E0B\u5212\u7EBF\uFF0C\u5982 `verify_payment`\uFF09\n- \u4E0B\u6E38\u4EFB\u52A1\u901A\u8FC7 `${upstream_ref.output.field}` \u5F15\u7528\u4E0A\u6E38\u8F93\u51FA\uFF0C\u4E25\u7981\u5F15\u7528\u5C1A\u672A\u6267\u884C\u7684\u4E0B\u6E38\u4EFB\u52A1\n- SWITCH \u9700\u8981 `caseValueParam` \u6216 `caseExpression`\uFF0C\u4EE5\u53CA `decisionCases` \u952E\u503C\u5BF9\n- FORK_JOIN \u9700\u8981 `forkTasks`\uFF08\u4E8C\u7EF4\u6570\u7EC4\uFF09\u548C\u7D27\u968F\u5176\u540E\u7684 `JOIN` \u4EFB\u52A1\uFF08`joinOn` \u5305\u542B\u5404\u5E76\u884C\u5206\u652F\u6700\u540E\u4E00\u4E2A\u4EFB\u52A1\u7684 `taskReferenceName`\uFF09\n- DO_WHILE \u9700\u8981 `loopCondition` \u548C `loopOver` \u6570\u7EC4\n- HTTP \u4EFB\u52A1\u5FC5\u987B\u914D\u7F6E `inputParameters.http_request`\uFF08\u542B `uri` \u548C `method`\uFF09\uFF0C\u5EFA\u8BAE\u8BBE\u7F6E `timeoutSeconds` \u548C `retryCount`\n\n## \u4E1A\u52A1\u6D41\u7A0B\u56FE\uFF08Mermaid\uFF09\n\u5F53\u7528\u6237\u8981\u6C42\u5C55\u793A\u6D41\u7A0B\u56FE\u3001\u53EF\u89C6\u5316\u6216 Mermaid \u56FE\u65F6\uFF1A\n- \u5FC5\u987B\u57FA\u4E8E system prompt \u6CE8\u5165\u7684\"\u753B\u5E03\u5DE5\u4F5C\u6D41\u5B8C\u6574 JSON\"\uFF0C\u4E0D\u51ED\u8BB0\u5FC6\u751F\u6210\n- \u8F93\u51FA ```mermaid \u4EE3\u7801\u5757\uFF0C\u4E0D\u8C03\u7528\u4EFB\u4F55\u5DE5\u5177\n- \u8FC7\u6EE4\u7EAF\u6280\u672F\u8282\u70B9\uFF08SET_VARIABLE\u3001JSON_JQ_TRANSFORM\u3001INLINE\u3001NOOP\uFF09\uFF0C\u4E0A\u4E0B\u6E38\u76F4\u8FDE\n- \u8282\u70B9\u6807\u7B7E\u7528\u4E2D\u6587\u4E1A\u52A1\u8BED\u8A00\uFF0C\u7981\u6B62\u76F4\u63A5\u4F7F\u7528 taskReferenceName\n- SWITCH \u7528\u83F1\u5F62 {}\uFF0CFORK_JOIN \u7528\u5E76\u884C\u8DEF\u5F84\uFF0CHUMAN \u6807\u6CE8\u300C\uD83D\uDC64 \u4EBA\u5DE5\u300D";
 /**
  * 构建完整 system prompt。
  *

package/dist/services/ai/toolExecutor.d.ts

@@ -9,6 +9,7 @@
  * workflowStore/libraryStore state and passes it in via `ToolExecutionContext`.
  * That keeps this file pure, unit-testable without a store, and reusable headless.
  */
+import { type SynthesisPhase, type VerificationSummary } from './workflowSynthesizer';
 import type { WorkflowDef, TaskDef } from '../../types/conductor';
 import type { WorkflowLibraryItem, WorkflowLevel } from '../../types/workflowLibrary';
 import type { ValidationResults } from '../../types/workflow';
@@ -16,6 +17,8 @@ export type PatchOp = {
     op: 'add_task';
     task: TaskDef;
     afterRef?: string;
+    parentRef?: string;
+    branchName?: string;
 } | {
     op: 'update_task';
     ref: string;
@@ -56,19 +59,29 @@ export interface PartialAcceptSelection {
     reordered: boolean;
 }
 export interface ToolCallResult {
-    type: 'propose' | 'info' | 'error';
+    type: 'propose' | 'stage' | 'info' | 'error';
     /** For 'propose': the new WorkflowDef to show in ReviewBar */
     proposed?: WorkflowDef;
     /** For 'propose': human-readable change summary */
     diff?: DiffSummary;
     /** For 'propose': inferred level based on sub-workflow references (L1/L2/L3) */
     inferredLevel?: WorkflowLevel;
-    /** For 'info'/'error': text to append to chat */
+    /** For 'propose' / 'stage': deep semantic verification report */
+    verification?: VerificationSummary;
+    /** For 'stage': updated working draft in the progressive synthesis pipeline */
+    workingDraft?: WorkflowDef;
+    /** For 'stage': current progressive synthesis phase */
+    phase?: SynthesisPhase;
+    /** For 'stage': human-readable timeline entry label */
+    timelineLabel?: string;
+    /** For 'info'/'error'/'stage': text to return as tool result to the model */
     text?: string;
 }
 /** Live state the caller (AgentRunner) gathers from workflowStore/libraryStore for each tool call. */
 export interface ToolExecutionContext {
     workflowDef: WorkflowDef | null;
+    /** In-progress draft accumulated across progressive synthesis stages within the current durable session */
+    workingDraft?: WorkflowDef | null;
     validationResults: ValidationResults;
     libraryItems: WorkflowLibraryItem[];
 }

package/dist/services/ai/workflowSynthesizer.d.ts

@@ -0,0 +1,118 @@
+/**
+ * Workflow Synthesizer & Deep Semantic Verifier
+ *
+ * Implements the 4-phase progressive workflow generation strategy:
+ *   Phase 1 (blueprint):  init_workflow_blueprint   — Define workflow metadata, input/output contracts, timeout & resilience policy
+ *   Phase 2 (topology):   scaffold_workflow_topology — Design overall task orchestration topology & control flow (SWITCH/FORK_JOIN/DO_WHILE)
+ *   Phase 3 (configure):  configure_workflow_tasks   — Enrich individual tasks with detailed parameters, HTTP/SubWorkflow configs & data-flow wiring
+ *   Phase 4 (verify):     commit_workflow_proposal   — Holistic semantic, control-flow, and data-flow verification before committing proposal
+ */
+import type { WorkflowDef, TaskDef } from '../../types/conductor';
+import type { ValidationItem } from '../../types/workflow';
+export type SynthesisPhase = 'idle' | 'blueprint' | 'topology' | 'configure' | 'verify' | 'completed';
+export interface BlueprintArgs {
+    name: string;
+    description?: string;
+    version?: number;
+    ownerEmail?: string;
+    timeoutPolicy?: 'TIME_OUT_WF' | 'ALERT_ONLY';
+    timeoutSeconds?: number;
+    failureWorkflow?: string;
+    inputParameters?: string[];
+    outputParameters?: Record<string, any>;
+}
+export interface TopologyArgs {
+    tasks: TaskDef[];
+}
+export interface TaskConfigurationItem {
+    /** Target taskReferenceName */
+    ref: string;
+    name?: string;
+    description?: string;
+    inputParameters?: Record<string, any>;
+    httpRequest?: Record<string, any>;
+    subWorkflowParam?: {
+        name: string;
+        version?: number;
+        taskToDomain?: Record<string, string>;
+    };
+    timeoutSeconds?: number;
+    retryCount?: number;
+    retryLogic?: 'FIXED' | 'EXPONENTIAL_BACKOFF' | 'LINEAR_BACKOFF';
+    retryDelaySeconds?: number;
+    optional?: boolean;
+    caseValueParam?: string;
+    caseExpression?: string;
+    loopCondition?: string;
+    joinOn?: string[];
+    dynamicForkTasksParam?: string;
+    dynamicForkTasksInputParamName?: string;
+}
+export interface ConfigureTasksArgs {
+    configurations: TaskConfigurationItem[];
+    outputParameters?: Record<string, any>;
+    inputParameters?: string[];
+}
+export interface VerificationSummary {
+    isValid: boolean;
+    totalTasks: number;
+    configuredTasks: number;
+    dataFlowLinks: number;
+    autoFixed: string[];
+    errors: ValidationItem[];
+    warnings: ValidationItem[];
+}
+/**
+ * Collects all tasks in execution order (pre-order traversal of top-level and nested tasks).
+ */
+export declare function collectAllTasksInOrder(tasks?: TaskDef[]): TaskDef[];
+/**
+ * Normalizes a single task's structure to prevent common LLM schema mismatches:
+ * - Ensures `name` and `taskReferenceName` and `type` exist
+ * - Normalizes `HTTP` task `httpRequest` / `inputParameters.uri` into `inputParameters.http_request`
+ * - Normalizes `SUB_WORKFLOW` `workflowName` into `subWorkflowParam.name`
+ * - Normalizes `TERMINATE` `terminationStatus` into `inputParameters.terminationStatus`
+ */
+export declare function normalizeTaskDef(task: TaskDef, autoFixed?: string[]): TaskDef;
+/**
+ * Extracts all `${...}` expressions from an arbitrary JSON value.
+ */
+export declare function extractExpressions(value: any): string[];
+/**
+ * Normalizes an entire WorkflowDef:
+ * - Ensures `version: 1`, `schemaVersion: 2`, `timeoutPolicy`
+ * - Normalizes all tasks and FORK_JOIN <-> JOIN pairings
+ * - Auto-collects `${workflow.input.xxx}` into `workflow.inputParameters` if missing
+ */
+export declare function normalizeWorkflowDef(def: WorkflowDef): {
+    workflow: WorkflowDef;
+    autoFixed: string[];
+};
+/**
+ * Phase 1: Initializes the workflow blueprint (metadata + input/output contract).
+ */
+export declare function applyBlueprint(currentDraft: WorkflowDef | null, args: BlueprintArgs): WorkflowDef;
+/**
+ * Phase 2: Scaffolds the task orchestration topology on top of the blueprint.
+ */
+export declare function applyTopologyScaffold(currentDraft: WorkflowDef | null, args: TopologyArgs): {
+    workflow: WorkflowDef;
+    autoFixed: string[];
+};
+/**
+ * Phase 3: Enriches individual tasks in the working draft with detailed configurations.
+ */
+export declare function applyTaskConfigurations(currentDraft: WorkflowDef, args: ConfigureTasksArgs): {
+    workflow: WorkflowDef;
+    configuredRefs: string[];
+    missingRefs: string[];
+    autoFixed: string[];
+};
+/**
+ * Performs comprehensive verification of a workflow definition:
+ * 1. Built-in structural & task-type rules (`validateWorkflow`)
+ * 2. Data-flow reference integrity (`${taskRef.output.*}` must reference an existing upstream task)
+ * 3. Control-flow completeness (FORK_JOIN <-> JOIN joinOn validity, non-empty branches)
+ * 4. Task configuration completeness metrics
+ */
+export declare function verifyWorkflowSemantics(def: WorkflowDef, autoFixedPrior?: string[]): VerificationSummary;

package/dist/services/wlsp/workflowLsp.d.ts

@@ -0,0 +1,101 @@
+/**
+ * Workflow Language Server (W-LSP)
+ *
+ * 提供工业级工作流静态分析、DAG 上游作用域推导、多源 Schema 自动推断、
+ * 零延迟确定性变量补全（Intellisense）、数据血缘图（DFG）构建与全图引用重构（Auto-Refactor）。
+ */
+import { WorkflowDef, TaskDef } from '../../types/conductor';
+import { TaskExecutionData } from '../../types/workflow';
+export type ValueType = 'string' | 'number' | 'boolean' | 'object' | 'array' | 'any';
+export interface InferredField {
+    /** 字段相对路径，如 "response.body.id" 或 "result" */
+    path: string;
+    /** 完整 Conductor 引用表达式，如 "${http_get.output.response.body.id}" */
+    expression: string;
+    /** 推导出的字段类型 */
+    valueType: ValueType;
+    /** 运行态真实样本值预览（若存在） */
+    sampleValue?: string;
+    /** 描述说明 */
+    description?: string;
+    /** Schema 来源 */
+    source: 'runtime_sample' | 'schema_registry' | 'task_type_contract';
+}
+export interface WlspCompletionItem {
+    /** 展示名称 */
+    label: string;
+    /** 插入的完整表达式，如 "${fetch_user.output.userId}" */
+    value: string;
+    /** 分类 */
+    category: 'upstream' | 'workflow_input' | 'variable' | 'system';
+    /** 数据类型 */
+    valueType: ValueType;
+    /** 来源任务引用名或分组名 */
+    sourceRef: string;
+    /** 来源任务显示名称 */
+    sourceLabel: string;
+    /** 详细描述 */
+    description: string;
+    /** 运行态或默认值样本预览 */
+    sampleValue?: string;
+    /** 是否来自条件分支（可能未执行） */
+    isConditional?: boolean;
+}
+export interface DataFlowEdge {
+    id: string;
+    sourceRef: string;
+    targetRef: string;
+    fieldPath: string;
+    expression: string;
+    sourceType: 'task_output' | 'workflow_variable';
+    isValidUpstream: boolean;
+    issue?: 'undefined_ref' | 'forward_ref' | 'sibling_branch_ref';
+}
+export interface DataFlowGraph {
+    edges: DataFlowEdge[];
+    diagnostics: Array<{
+        taskRef: string;
+        expression: string;
+        issue: 'undefined_ref' | 'forward_ref' | 'sibling_branch_ref';
+        message: string;
+    }>;
+}
+export interface UpstreamTaskInfo {
+    task: TaskDef;
+    /** 是否位于条件分支内部（非必经路径） */
+    isConditional: boolean;
+}
+/**
+ * 精确计算在 targetTaskRef 执行前所有合法的上游祖先节点
+ */
+export declare function getUpstreamAncestorsWithMeta(workflowDef: WorkflowDef | null | undefined, targetTaskRef: string): UpstreamTaskInfo[];
+export declare function getUpstreamAncestors(workflowDef: WorkflowDef | null | undefined, targetTaskRef: string): TaskDef[];
+/**
+ * 推导单个任务的输出 Schema 字段列表
+ */
+export declare function inferTaskOutputSchema(task: TaskDef, executionData?: Record<string, TaskExecutionData> | null): InferredField[];
+/**
+ * 为指定目标任务生成零延迟确定性上下文补全项列表
+ */
+export declare function getCompletionItems(workflowDef: WorkflowDef | null | undefined, targetTaskRef: string, executionData?: Record<string, TaskExecutionData> | null, workflowInputSample?: Record<string, any> | null): WlspCompletionItem[];
+/**
+ * 扁平化获取工作流中的所有任务列表
+ */
+export declare function getAllTasksFlat(tasks: TaskDef[] | undefined, acc?: TaskDef[]): TaskDef[];
+/**
+ * 构建全图数据血缘依赖图 (DFG) 与编译期静态数据流诊断
+ */
+export declare function buildDataFlowGraph(workflowDef: WorkflowDef | null | undefined): DataFlowGraph;
+/**
+ * 全图级联重构任务引用名 (Auto-Refactor TaskReferenceName)
+ *
+ * 当用户在属性面板修改某个节点的 taskReferenceName 时，自动扫描并更新：
+ * 1. 所有任务的 inputParameters / httpRequest / expression / loopCondition 中的 ${oldRef.xxx} 和 $.oldRef
+ * 2. 所有 JOIN 节点的 joinOn / defaultExclusiveJoinTask 列表
+ * 3. 工作流级别的 outputParameters
+ */
+export declare function refactorTaskReferenceName(workflowDef: WorkflowDef, oldRef: string, newRef: string): {
+    updatedDef: WorkflowDef;
+    replacedCount: number;
+    affectedTaskRefs: string[];
+};

package/dist/store/aiStore.d.ts

@@ -8,9 +8,10 @@
  * isolation via IdeStoresContext — see store/ideStoresContext.tsx) and a default
  * singleton (for callers outside that context, e.g. WorkflowIDE's shared canvas).
  */
-import type { AiConfig } from '../services/ai/protocolAdapter';
+import type { AiConfig, Message } from '../services/ai/protocolAdapter';
 import type { WorkflowDef } from '../types/conductor';
 import type { DiffSummary } from '../services/ai/toolExecutor';
+import type { SynthesisPhase, VerificationSummary } from '../services/ai/workflowSynthesizer';
 import type { WorkflowLevel } from '../types/workflowLibrary';
 export interface AiChatMessage {
     id: string;
@@ -26,6 +27,8 @@ export interface ProposedChange {
     diff: DiffSummary;
     /** Inferred workflow level based on sub-workflow references */
     inferredLevel?: WorkflowLevel;
+    /** Holistic semantic & data-flow verification summary */
+    verification?: VerificationSummary;
     /** Message that triggered this proposal */
     messageId: string;
     /**
@@ -34,6 +37,25 @@ export interface ProposedChange {
      */
     baselineHash: string;
 }
+/**
+ * PI-style Durable Execution Checkpoint.
+ * Captures the complete state of an in-flight or interrupted multi-phase agent session
+ * so it can be resumed (`runner.resume()`) or committed (`runner.commitDraftNow()`)
+ * without re-running completed phases.
+ */
+export interface DurableSessionCheckpoint {
+    sessionId: string;
+    userPrompt: string;
+    assistantMsgId: string;
+    phase: SynthesisPhase;
+    workingDraft: WorkflowDef | null;
+    agentHistory: Message[];
+    stepIndex: number;
+    selfHealCount: number;
+    status: 'running' | 'paused' | 'failed' | 'completed';
+    lastError?: string;
+    updatedAt: number;
+}
 export interface RepairAction {
     id: string;
     label: string;
@@ -130,6 +152,12 @@ interface AiState {
      * the correction is visible rather than silent.
      */
     timelineEntries: TimelineEntry[];
+    /** Current progressive workflow synthesis phase ('idle' | 'blueprint' | 'topology' | 'configure' | 'verify' | 'completed') */
+    synthesisPhase: SynthesisPhase;
+    /** In-progress workflow draft accumulated across progressive synthesis stages */
+    workingDraft: WorkflowDef | null;
+    /** PI-style durable session checkpoint for pause/resume/fault-recovery */
+    durableCheckpoint: DurableSessionCheckpoint | null;
 }
 export interface TimelineEntry {
     id: string;
@@ -174,12 +202,15 @@ interface AiActions {
     clearRecommendation: () => void;
     /** Queue a message to be sent through the AI pipeline by AiCommandCenter */
     setPendingAutoSend: (msg: string | null) => void;
-    /** Restore conversation + pending proposal from a persisted draft (M1.4) */
-    hydrateFromDraft: (messages: AiChatMessage[], pendingProposal: ProposedChange | null) => void;
+    /** Restore conversation + pending proposal + optional durable checkpoint from a persisted draft (M1.4) */
+    hydrateFromDraft: (messages: AiChatMessage[], pendingProposal: ProposedChange | null, durableCheckpoint?: DurableSessionCheckpoint | null) => void;
     setToolStatus: (status: string) => void;
     setRetryInput: (input: string | null) => void;
     addTimelineEntry: (label: string, icon?: 'done' | 'warning') => void;
     clearTimeline: () => void;
+    setSynthesisStage: (phase: SynthesisPhase, draft?: WorkflowDef | null) => void;
+    saveCheckpoint: (checkpoint: DurableSessionCheckpoint | null) => void;
+    clearCheckpoint: () => void;
 }
 export type AiStore = AiState & AiActions;
 /**

package/dist/types/aiEvents.d.ts

@@ -9,7 +9,7 @@
  * />
  * ```
  */
-export type AiEventType = 'proposal:created' | 'proposal:accepted' | 'proposal:accepted:partial' | 'proposal:rejected' | 'plan:created' | 'plan:executed' | 'plan:cancelled' | 'repair:proposed'
+export type AiEventType = 'proposal:created' | 'proposal:accepted' | 'proposal:accepted:partial' | 'proposal:rejected' | 'stage:completed' | 'session:resumed' | 'plan:created' | 'plan:executed' | 'plan:cancelled' | 'repair:proposed'
 /** User clicked the inline second-click confirmation before a runtime-mutating repair action fires */
  | 'repair:confirmed' | 'repair:executed' | 'repair:dismissed' | 'tool:called' | 'undo:applied'
 /** AI request failed (network/HTTP/provider error). The user only ever sees a humanized
@@ -20,6 +20,8 @@ export interface AiEvent {
     timestamp: number;
     /** For tool:called events */
     tool?: string;
+    /** For stage:completed events */
+    phase?: string;
     /** For repair:executed / repair:confirmed events */
     repairActionType?: string;
     /** For proposal events: change counts */

package/dist/types/conductor.d.ts

@@ -54,7 +54,9 @@ export interface TaskDef {
     };
     sink?: string;
     evaluatorType?: 'graaljs' | 'javascript' | 'value-param' | 'python';
+    expression?: string;
     caseExpression?: string;
+    defaultExclusiveJoinTask?: string[];
     keepLastN?: number;
     forkTaskType?: string;
     forkTaskName?: string;
@@ -168,7 +170,7 @@ export interface TaskInstance {
     executed?: boolean;
     callbackFromWorker?: boolean;
     responseTimeoutSeconds?: number;
-    workflowInstanceId: string;
+    workflowInstanceId?: string;
     workflowType?: string;
     taskId: string;
     reasonForIncompletion?: string;
@@ -176,6 +178,7 @@ export interface TaskInstance {
     workerId?: string;
     externalInputPayloadStoragePath?: string;
     externalOutputPayloadStoragePath?: string;
+    workflowTask?: TaskDef;
 }
 /**
  * Conductor 工作流实例 (运行时)
@@ -184,6 +187,8 @@ export interface WorkflowInstance {
     status: 'RUNNING' | 'COMPLETED' | 'FAILED' | 'TIMED_OUT' | 'TERMINATED' | 'PAUSED';
     endTime?: number;
     workflowId: string;
+    workflowName?: string;
+    workflowVersion?: number;
     parentWorkflowId?: string;
     parentWorkflowTaskId?: string;
     tasks: TaskInstance[];

package/dist/types/workflow.d.ts

@@ -213,6 +213,24 @@ export interface WorkflowState {
     showAnalysisPanel: boolean;
     /** P4.1 聚焦参数字段（"去修复"跳转时使用） */
     focusedParamKey: string | null;
+    /** W-LSP: 是否在画布叠加显示数据血缘飞线 (Data Lineage DFG) */
+    showDataLineage: boolean;
+    /** W-LSP: 最近一次引用名重构提示结构 */
+    lastRefactorNotice: {
+        oldRef: string;
+        newRef: string;
+        replacedCount: number;
+        affectedTasks: string[];
+        timestamp: number;
+    } | null;
+    /** 运行态：是否显示底部并发瀑布流与时空回放面板 */
+    showWaterfallPanel: boolean;
+    /** 运行态：时空旅行回放游标时间戳 (ms)，为 null 表示展示最终实时态 */
+    timeTravelTimestamp: number | null;
+    /** 运行态：每个 DO_WHILE 循环容器当前选中的迭代轮次 (loopRef -> iteration) */
+    activeLoopIterations: Record<string, number>;
+    /** AI 共驾：画布原位 Cmd+K 浮窗当前锚定的任务引用名 */
+    inlineCopilotTaskRef: string | null;
 }
 /**
  * 工作流操作接口
@@ -264,6 +282,20 @@ export interface WorkflowActions {
     setRunState: (state: RunState, execId?: string | null, error?: string | null) => void;
     /** P4.3: 切回 edit 模式并聚焦到指定任务的指定参数字段 */
     switchToEditAndFocusParam: (taskRef: string, paramKey?: string) => void;
+    /** W-LSP: 切换数据血缘飞线叠加显示 */
+    setShowDataLineage: (show: boolean) => void;
+    /** W-LSP: 清除重构提示文案 */
+    clearRefactorNotice: () => void;
+    /** 运行态：切换底部并发瀑布流面板 */
+    setShowWaterfallPanel: (show: boolean) => void;
+    /** 运行态：设置时空旅行时间戳 */
+    setTimeTravelTimestamp: (ts: number | null) => void;
+    /** 运行态：切换指定 DO_WHILE 循环容器的展示迭代轮次 */
+    setLoopIteration: (loopRef: string, iteration: number) => void;
+    /** AI 共驾：打开/关闭画布原位 Cmd+K 浮窗 */
+    setInlineCopilotTaskRef: (taskRef: string | null) => void;
+    /** 本地沙箱：在浏览器内执行零延迟确定性试运行并进入调试视图 */
+    runLocalSandboxDryRun: (mockInput?: Record<string, any>, taskMocks?: Record<string, any>, maxLoopIterations?: number) => void;
 }
 /**
  * 重启选项

package/dist/utils/localSandboxEngine.d.ts

@@ -0,0 +1,49 @@
+import type { WorkflowDef, TaskDef as WorkflowTask, WorkflowInstance, TaskInstance as TaskExecution } from '../types/conductor';
+export interface TaskMockOverride {
+    __isMockOverride?: boolean;
+    /** Override execution status (e.g. simulate FAILED or TIMED_OUT) */
+    status?: 'COMPLETED' | 'FAILED' | 'TIMED_OUT' | 'COMPLETED_WITH_ERRORS';
+    /** Override simulated execution duration in ms */
+    durationMs?: number;
+    /** For SWITCH / DECISION tasks: force routing to a specific case key (or '__default__') */
+    forceCase?: string;
+    /** Custom outputData JSON for this task */
+    outputData?: Record<string, any>;
+    /** Custom error message when status is FAILED / TIMED_OUT */
+    reasonForIncompletion?: string;
+}
+export interface SandboxDryRunOptions {
+    /** Mock workflow input JSON */
+    workflowInput?: Record<string, any>;
+    /** Custom task output or behavior overrides keyed by taskReferenceName */
+    taskMocks?: Record<string, Record<string, any> | TaskMockOverride>;
+    /** Max iterations per DO_WHILE loop in dry-run (default: 2) */
+    maxLoopIterations?: number;
+}
+interface SandboxRuntimeContext {
+    workflowInput: Record<string, any>;
+    variables: Record<string, any>;
+    taskOutputs: Record<string, Record<string, any>>;
+    taskMocks: Record<string, Record<string, any> | TaskMockOverride>;
+    tasks: TaskExecution[];
+    currentTimeMs: number;
+    maxLoopIterations: number;
+    seqCounter: number;
+}
+/**
+ * Resolve Conductor `${...}` expressions against current sandbox context
+ */
+export declare function resolveExpressionValue(val: any, ctx: SandboxRuntimeContext): any;
+/**
+ * Generate default synthetic output for a given task (used both at runtime and as UI template preview)
+ */
+export declare function generateDefaultTaskOutputPreview(task: WorkflowTask, resolvedInput?: Record<string, any>, iteration?: number): Record<string, any>;
+/**
+ * Build default mock input from workflowDef.inputParameters and auto-discovered ${workflow.input.*} references
+ */
+export declare function buildDefaultWorkflowMockInput(workflowDef: WorkflowDef): Record<string, any>;
+/**
+ * Execute an entire WorkflowDef in-browser deterministically and return a complete WorkflowInstance
+ */
+export declare function executeLocalSandboxDryRun(workflowDef: WorkflowDef, options?: SandboxDryRunOptions): WorkflowInstance;
+export {};