1
ERROR service=scheduler ... error=No context found for instance run failed
2
WARN  service=config ... dependency/plugin initialization failed

1
WorkflowDefinition          # 半静态模板，定义「长什么样」
2
  └─ phases / nodes / edges（依赖边 + 门控边）
3

4
NodeSpec                    # 模板里的节点定义
5
  ├─ id            "A03-ios"
6
  ├─ subagentType  "bfs-knowledge-extractor"
7
  ├─ dependsOn     ["A02-ios"]                # 串行依赖边
8
  ├─ gates         [visual_status==complete]  # 条件门控边
9
  ├─ model         high | low                 # 受白名单约束
10
  └─ promptParams  {platform, figmaScope, ...}
11

12
WorkflowRun                 # 一次真实运行的活状态（核心）
13
  ├─ nodeStates  {id → NodeState}             # = 原来活在模型上下文的那张表
14
  ├─ budget      {tokensUsed, costUsed, limits}
15
  └─ persistedTo run-manifest.json            # 落盘支撑 stop/resume/冷重启 + 状态自愈
16

17
NodeState
18
  ├─ status          pending|blocked|gated|ready|running|success|partial|failed
19
  ├─ sessionID       session_xxx
20
  ├─ completionRate  0-100                     # 真值来源：磁盘产物 front-matter
21
  ├─ resumeCount     0-MAX_RESUME
22
  └─ lastProgressAt / lastLineCount            # 给 stuck 检测用

1
func run(workflow):
2
    run = restoreManifestIfAny(workflow)
3
    run = reconcileManifest(run, workflow.definition, artifacts)
4
    loop:
5
        ready = computeReadySet(workflow)         # ① 算谁能跑（依赖 + 门控）
6
        if ready.isEmpty and noneRunning(): break # 全终态 → 结束
7
        batch = ready.prefix(concurrencyLimit)    # ② 并发上限内取一批（起步 8）
8
        dispatch(batch)                           # ③ 经共享 daemon 扇出
9
        results = awaitBarrier(batch)             # ④ 等这批全回（或看门狗判死）
10
        for node in batch: evaluate(node)         # ⑤ 用磁盘 front-matter 判完成
11
        persist(workflow.run)                     # 落 run-manifest
12
        # 不在这里推进下游；下一轮 computeReadySet 自动放行
13
    summarize(workflow)                           # ⑥ 只把汇总回灌主会话

1
        ┌─────────────────────────────────────────────┐
2
        │              进入调度循环                      │
3
        └───────────────────┬─────────────────────────┘
4
                            ▼
5
              ┌──────────────────────────┐
6
              │ ① computeReadySet         │  依赖全 success + 门控满足
7
              │   算出此刻能跑的节点        │  + 自身未终态 → ready
8
              └────────────┬─────────────┘  否则 blocked / gated
9
                           ▼
10
                ready 为空 且 无 running？──── 是 ──► ⑥ summarize → 结束
11
                           │
12
                           否
13
                           ▼
14
              ┌──────────────────────────┐
15
              │ ② 取 batch（≤ 并发上限 8）  │
16
              └────────────┬─────────────┘
17
                           ▼
18
              ┌──────────────────────────┐
19
              │ ③ dispatch 经共享 daemon   │  每节点一 session / prompt_async
20
              │    扇出（强制低成本模型）    │
21
              └────────────┬─────────────┘
22
                           ▼
23
              ┌──────────────────────────┐
24
              │ ④ awaitBarrier             │◄── watchdog：stale 超阈值
25
              │    等这批全回 / 看门狗判死   │    → 扫日志 → 翻 failed
26
              └────────────┬─────────────┘
27
                           ▼
28
              ┌──────────────────────────┐
29
              │ ⑤ evaluate（磁盘为准）      │  达质量门槛 → success
30
              │   读产物 front-matter 判完成 │  未达门槛 → resume / 降级 / BLOCKED
31
              └────────────┬─────────────┘
32
                           ▼
33
                    persist(manifest) ──────────► 回到循环顶

1
/bfs.spec Phase0:
2
  A01-steward              # 建目录、owner、manifest、产物骨架；不写 spec.md
3
  A02-{platform}           # 视觉 / 交互提取，产出 visual-spec.md / interaction-spec.md
4
  A03-{platform}           # 知识提取，产出 knowledge.md
5

6
/bfs.plan:
7
  if knowledge 已达质量门槛，但 spec.md 缺失:
8
      A04-{platform}       # bfs-platform-spec-writer，先补齐 spec.md
9
  A05-{platform}           # bfs-platform-plan-writer，再写 plan.md

1
① computeReadySet —— 谁能跑
2
   node → ready 充要条件：所有 dependsOn 上游 success/达标 且 所有 gates 满足 且 自身未终态
3
   否则：上游没好 → blocked；门控没满足 → gated（挂起等补稿，不报错）
4

5
② evaluate —— 判完成（磁盘为准，不信卡片 DONE）
6
   artifact = readFrontMatter(产物)
7
   status/completion 达标 + coverage/completion ≥95 + 无 blocking gaps → success
8
   artifact 仍 skeleton/0 → failed；yaml 与 artifact 冲突 → 以 artifact 为准
9

10
③ resume 决策 —— 未达质量门槛怎么办
11
   success → done；(未达门槛, rc<MAX) → 注入已有发现 resume；
12
   (未达门槛, rc>=MAX, 接近门槛) → 转 NEEDS_CLARIFICATION；
13
   (未达门槛, rc>=MAX, 明显不足) → BLOCKED；stuck（连续 2 轮无增长）→ 提前降级
14

15
④ watchdog —— 卡死检测
16
   running 且 stale > 阈值 → 扫 daemon 日志 → 命中翻 failed → 喂回 evaluate
17

18
⑤ reconcileManifest —— 冷恢复 / 重新发起时清旧状态
19
   running → pending；failed + 合格产物 → success；failed + 无合格产物 → pending
20
   Definition 已移除的旧节点直接丢弃，避免历史状态污染新 DAG

1
WorkflowRuntime (协调者，跑 §4.2 的循环)
2
  ├─ DependencyResolver   computeReadySet：依赖 + 门控
3
  ├─ AgentDriver          把 node 变成真 codemaker session（机制①：调 daemon /session API）
4
  ├─ BarrierEvaluator     awaitBarrier + evaluate（磁盘真值）
5
  ├─ ResumeManager        resume 决策 + stuck + prompt 注入
6
  ├─ ManifestReconciler   冷恢复时清理旧 running / failed / 已移除节点
7
  ├─ Watchdog             心跳超时 + 日志扫描
8
  ├─ BudgetGovernor       模型白名单 + token/cost 闸门 + 模型路由
9
  └─ ProgressReporter     → SubagentCard / 进度面板 + 最终汇总回灌
10
        ↑ 复用现成：CodeMakerDaemon / CodeMakerEvent / ChildSessionPoller

1
/bfs.clarify（补充了 ios figma 之后）：
2
  1. 定位变更入口节点    → A02-ios（视觉 stub）
3
  2. 算影响子 DAG        → A02-ios 及其所有下游（A03-ios / UI spec / UI tasks）
4
  3. 标记这些节点 stale  → 其余 success 节点不动
5
  4. 跑这个子 DAG：
6
       A02-ios: stub → diff/full 填充 → completionRate 100
7
       → gate(visual_status==complete) 现在满足
8
       → 之前被 gated 挂起的 UI 节点自动 ready（DAG 自己放行）
9
  5. 段末交用户：展示变更 + 问「要不要重跑 plan/tasks」