@aipper/aiws-spec 0.0.37 → 0.0.40
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/docs/ws-goal-contract.md
CHANGED
|
@@ -38,10 +38,10 @@ ws-goal 定义为**协议层**(prompt-template + artifact spec),不是运
|
|
|
38
38
|
|---|---|---|
|
|
39
39
|
| 录入目标 | 按模板写 `.aiws/goals/<id>.md` | 不创建 change/plan |
|
|
40
40
|
| 依赖链预检 | 追溯上游 change 健康度 + target_base_branch 一致性 | 不修改上游工件 |
|
|
41
|
-
| 管道委托 | 预检通过后,将 goal
|
|
41
|
+
| 管道委托 | 预检通过后,将 goal 拆分为 phase-level 子任务(PLAN → DEV → REVIEW → FINISH),每个 phase 委托给独立轻量子 agent,主 session 编排调度与验证 | ws-goal 自己不执行任何实现步骤 |
|
|
42
42
|
| 完成审计 | Verification 对照 outcome 逐条验证 | 不替代 review 门禁 |
|
|
43
43
|
|
|
44
|
-
第四步(管道委托)是 ws-goal 的**编排出口**:依赖链预检通过后,ws-goal
|
|
44
|
+
第四步(管道委托)是 ws-goal 的**编排出口**:依赖链预检通过后,ws-goal 将 goal 拆分为 PLAN → DEV → REVIEW → FINISH 四个 phase,每个 phase 构造独立委托 prompt 交由轻量子 agent 执行。主 session 在每个 phase 完成后验证产出,决定继续/重试/暂停。所有 phase 通过后,ws-goal 执行最终的完成审计并更新 goal status。**设计原则**:每个子 agent 只做一个 phase 的事,上下文小、失败影响范围小、可独立重试。
|
|
45
45
|
|
|
46
46
|
这样做的好处是:ws-goal 保持轻量协议层,不重复造 runtime,但通过委托机制提供了从 goal 到 complete 的自动化路径。
|
|
47
47
|
|
|
@@ -413,15 +413,38 @@ active → group 1 executing → group 1 complete → group 2 executing → ...
|
|
|
413
413
|
→ any group failed → paused (with failure recorded)
|
|
414
414
|
```
|
|
415
415
|
|
|
416
|
-
#### 6.2.4 Delegation Model
|
|
416
|
+
#### 6.2.4 Delegation Model (Phase-Level)
|
|
417
417
|
|
|
418
|
-
每个 group
|
|
418
|
+
每个 group 的执行被拆分为 4 个 phase,每个 phase 委托给独立轻量子 agent,主 session 编排调度:
|
|
419
419
|
|
|
420
|
-
|
|
421
|
-
|
|
422
|
-
|
|
423
|
-
|
|
424
|
-
|
|
420
|
+
```
|
|
421
|
+
group execution:
|
|
422
|
+
PHASE 1 - PLAN: 子 agent 只做 proposal + plan + plan-verify
|
|
423
|
+
→ 主 session 验证 plan 产出
|
|
424
|
+
PHASE 2 - DEV: 子 agent 只做代码实现 + 本地验证
|
|
425
|
+
→ 主 session 验证 diagnostics + 改动范围
|
|
426
|
+
PHASE 3 - REVIEW: 子 agent 只做审计(不修改代码)
|
|
427
|
+
→ 主 session 验证 review 证据
|
|
428
|
+
PHASE 4 - FINISH: 子 agent 只做 commit + finish
|
|
429
|
+
→ 主 session 验证合并完成
|
|
430
|
+
```
|
|
431
|
+
|
|
432
|
+
每个 phase 的委托 prompt 包含:
|
|
433
|
+
- goal 完整上下文(outcome, verification, constraints, boundaries, target_base_branch)
|
|
434
|
+
- 当前 group 的 scope 与 verification
|
|
435
|
+
- 该 phase 的明确范围(不做什么)
|
|
436
|
+
- 完成条件:仅限该 phase 的产出
|
|
437
|
+
|
|
438
|
+
phase 间的主 session 验证是门禁:
|
|
439
|
+
- 验证通过 → 进入下一个 phase
|
|
440
|
+
- 验证失败 → 可重试当前 phase(最多 N 次)或暂停 goal
|
|
441
|
+
- 暂停后恢复时,从失败的 phase 重新开始,不重做已通过的 phase
|
|
442
|
+
|
|
443
|
+
设计原则:
|
|
444
|
+
- **单一职责**:每个子 agent 只做一个 phase。PLAN agent 不做 dev,DEV agent 不做 review
|
|
445
|
+
- **小上下文**:每个 phase 的 prompt 只包含该 phase 需要的信息,不携带无关上下文
|
|
446
|
+
- **失败隔离**:一个 phase 失败不影响其他 phase 的产出;只需重试失败的 phase
|
|
447
|
+
- **可审计**:每个 phase 的产出有明确的验证标准,主 session 逐条核验
|
|
425
448
|
|
|
426
449
|
### 6.3 Goal File Extension
|
|
427
450
|
|
|
@@ -449,52 +472,91 @@ active → group 1 executing → group 1 complete → group 2 executing → ...
|
|
|
449
472
|
- status: pending
|
|
450
473
|
```
|
|
451
474
|
|
|
452
|
-
### 6.4 Dispatch Protocol
|
|
475
|
+
### 6.4 Dispatch Protocol (Phase-Level)
|
|
453
476
|
|
|
454
|
-
ws-goal 执行 Sequential Dispatch 时遵循以下协议:
|
|
477
|
+
ws-goal 执行 Phase-Level Sequential Dispatch 时遵循以下协议:
|
|
455
478
|
|
|
456
479
|
```
|
|
457
480
|
1. Parse goal file → extract group list
|
|
458
481
|
2. Validate group DAG (no cycles, deps resolve to known groups)
|
|
459
482
|
3. FOR each group in topological order:
|
|
460
483
|
a. Update group status → in_progress
|
|
461
|
-
b.
|
|
462
|
-
|
|
463
|
-
|
|
464
|
-
|
|
465
|
-
|
|
466
|
-
|
|
467
|
-
|
|
468
|
-
|
|
469
|
-
|
|
470
|
-
|
|
471
|
-
|
|
472
|
-
|
|
473
|
-
|
|
474
|
-
|
|
475
|
-
|
|
476
|
-
|
|
477
|
-
|
|
478
|
-
|
|
479
|
-
|
|
480
|
-
|
|
481
|
-
|
|
482
|
-
|
|
483
|
-
|
|
484
|
+
b. Group PHASE 1 - PLAN:
|
|
485
|
+
i. Construct phase delegation prompt:
|
|
486
|
+
- Goal outcome, verification (group-level), constraints, boundaries
|
|
487
|
+
- Current group scope and verification
|
|
488
|
+
- target_base_branch from goal
|
|
489
|
+
- Dependency chain validation results (step 4)
|
|
490
|
+
- Workspace state analysis results (step 4.5)
|
|
491
|
+
- Phase scope: ONLY proposal.md + plan file + plan-verify
|
|
492
|
+
- Phase constraints: NOT dev, NOT review, NOT commit/finish
|
|
493
|
+
ii. Delegate to sub-agent:
|
|
494
|
+
- `task(category="unspecified-high", prompt="...")`
|
|
495
|
+
- Wait for completion
|
|
496
|
+
iii. Main session verify:
|
|
497
|
+
- proposal.md exists
|
|
498
|
+
- plan file exists with verification commands
|
|
499
|
+
- plan-verify passed
|
|
500
|
+
- Fail max 2x → group paused, blocker recorded, STOP
|
|
501
|
+
c. Group PHASE 2 - DEV:
|
|
502
|
+
i. Construct phase delegation prompt:
|
|
503
|
+
- Plan content, proposal links
|
|
504
|
+
- Phase scope: ONLY implement per plan + local verify
|
|
505
|
+
- Phase constraints: NOT modify proposal/plan, NOT commit
|
|
506
|
+
ii. Delegate to sub-agent:
|
|
507
|
+
- `task(category="deep", prompt="...")`
|
|
508
|
+
- Wait for completion
|
|
509
|
+
iii. Main session verify:
|
|
510
|
+
- Diagnostics clean (lsp_diagnostics on changed files)
|
|
511
|
+
- Changes match plan scope
|
|
512
|
+
- Fail → group paused, blocker recorded, STOP
|
|
513
|
+
d. Group PHASE 3 - REVIEW:
|
|
514
|
+
i. Construct phase delegation prompt:
|
|
515
|
+
- Proposal + plan + changed files
|
|
516
|
+
- Phase scope: ONLY audit, produce review evidence
|
|
517
|
+
- Phase constraints: NOT modify code
|
|
518
|
+
ii. Delegate to sub-agent:
|
|
519
|
+
- `task(category="unspecified-high", prompt="...")`
|
|
520
|
+
- Wait for completion
|
|
521
|
+
iii. Main session verify:
|
|
522
|
+
- Review evidence files exist
|
|
523
|
+
- No HIGH blocker unresolved
|
|
524
|
+
- Fail → group paused, blocker recorded, STOP
|
|
525
|
+
e. Group PHASE 4 - FINISH:
|
|
526
|
+
i. Construct phase delegation prompt:
|
|
527
|
+
- Phase scope: ONLY commit + finish
|
|
528
|
+
- Phase constraints: NOT modify code
|
|
529
|
+
ii. Delegate to sub-agent:
|
|
530
|
+
- `task(category="quick", load_skills=["git-master"], prompt="...")`
|
|
531
|
+
- Wait for completion
|
|
532
|
+
iii. Main session verify:
|
|
533
|
+
- Change branch merged to target_base_branch
|
|
534
|
+
- Pushed to remote
|
|
535
|
+
f. Update group status → complete
|
|
536
|
+
g. Update goal Progress Notes with group result
|
|
484
537
|
4. All groups complete:
|
|
485
538
|
- Run overall completion audit (all verification + goal-level checks)
|
|
486
539
|
- Update goal state → complete
|
|
487
540
|
- Output: "Goal <id> complete (<N> groups executed)"
|
|
488
541
|
```
|
|
489
542
|
|
|
490
|
-
|
|
543
|
+
**Simple Group Escape Hatch**:若 group scope 极小(≤2 文件,配置变更),可合并 PLAN + DEV 为一个 phase,但 REVIEW 和 FINISH 保持独立。
|
|
544
|
+
|
|
545
|
+
### 6.5 Completion Audit (Phase-Level)
|
|
546
|
+
|
|
547
|
+
Phase-Level Pipeline Dispatch 的审计分散在各 phase 的门禁验证中,并在全部 group 完成后做总体审计:
|
|
491
548
|
|
|
492
|
-
|
|
549
|
+
**Per-Phase 审计**(每个 phase 完成后由主 session 执行):
|
|
550
|
+
- PLAN phase: proposal.md 存在、plan 文件存在、plan-verify 通过
|
|
551
|
+
- DEV phase: diagnostics 干净、改动范围匹配 plan
|
|
552
|
+
- REVIEW phase: review 证据文件存在、无 HIGH blocker
|
|
553
|
+
- FINISH phase: change 分支已合并、已推送
|
|
554
|
+
- 任一 phase 审计未通过 → 暂停 goal,记录 blocker,不继续
|
|
493
555
|
|
|
494
|
-
**Group
|
|
556
|
+
**Group 级审计**(组内全部 4 个 phase 通过后汇总):
|
|
495
557
|
- 验证 group 的 scope 是否已实现
|
|
496
|
-
- 验证 group 的 verification
|
|
497
|
-
-
|
|
558
|
+
- 验证 group 的 verification 条目(通过各 phase 分散验证自动汇聚)
|
|
559
|
+
- 汇总为 group 的完成状态 → complete / paused
|
|
498
560
|
|
|
499
561
|
**整体审计**(所有 group 完成后执行):
|
|
500
562
|
- 验证 goal 级别的 outcome 字段是否满足
|
|
@@ -524,6 +586,6 @@ Pipeline Sequential Dispatch 的审计分为两层:
|
|
|
524
586
|
|
|
525
587
|
| 现有 goal | 兼容性 |
|
|
526
588
|
|---|---|
|
|
527
|
-
| 不含 groups 定义的 goal |
|
|
528
|
-
| 含 groups 定义的 goal(新格式) | 进入 Sequential Dispatch
|
|
529
|
-
| 已有
|
|
589
|
+
| 不含 groups 定义的 goal | 受影响:step 5 从单次 delegation 变为 4-phase 顺序执行。迁移后需按 phase-level 适配 |
|
|
590
|
+
| 含 groups 定义的 goal(新格式) | 进入 Phase-Level Sequential Dispatch 模式,每 group 按 4-phase 执行 |
|
|
591
|
+
| 已有 goal 工件(.md 文件) | 兼容。goal 文件格式不变,仅 delegation 执行方式变更 |
|
package/package.json
CHANGED
|
@@ -11,8 +11,8 @@ description: 目标协议:设定可审计的 goal 目标;依赖链预检;
|
|
|
11
11
|
ws-goal 只做三件事,不做更多:
|
|
12
12
|
|
|
13
13
|
| 做 | 不做 |
|
|
14
|
-
|
|
15
|
-
| 录入目标(写 `.aiws/goals/<id>.md`) | 创建/驱动 change
|
|
14
|
+
|---|---|---|
|
|
15
|
+
| 录入目标(写 `.aiws/goals/<id>.md`) | 直接在 main session 创建/驱动 change(通过 pipeline subagent 委托执行) |
|
|
16
16
|
| 依赖链预检(上游死 change → 阻断) | 评估复杂度、路由执行路径 |
|
|
17
17
|
| 完成审计(claim done 时验证 outcome) | git add/commit/push、finish |
|
|
18
18
|
| 记录 target_base_branch 约束 | auto-chain 到下一个 goal(但在同一 goal 内支持多组顺序调度 §6) |
|
|
@@ -112,57 +112,101 @@ ws-goal 只做三件事,不做更多:
|
|
|
112
112
|
- **先清理** → goal status=paused,输出清理建议步骤,结束
|
|
113
113
|
用户未确认前,不得进入 step 5。
|
|
114
114
|
|
|
115
|
-
5) **Pipeline Delegation**:依赖链预检 + workspace 分析通过后,将 goal
|
|
116
|
-
前置条件:step 4 必须通过(ALL HEALTHY 或 UNHEALTHY 已显式放行)。若 step 4
|
|
115
|
+
5) **Phase-Level Pipeline Delegation**:依赖链预检 + workspace 分析通过后,将 goal 拆分为 PLAN→DEV→REVIEW→FINISH 四个 phase 顺序执行,每个 phase 委托给独立轻量子 agent,主 session 验证每个 phase 产出后决定继续/重试/暂停。
|
|
116
|
+
前置条件:step 4 必须通过(ALL HEALTHY 或 UNHEALTHY 已显式放行)。若 step 4 阻断,不允许 delegation。
|
|
117
|
+
前置条件 2:不存在 status=active 的 change 分支。若有,让用户选择「使用已有 change 继续」或「暂停」。
|
|
117
118
|
|
|
118
119
|
5a) **Check for Groups**:读取 goal 文件,检查是否定义了 `Groups` 区域。
|
|
119
|
-
- 若 goal **不含** groups →
|
|
120
|
-
- 若 goal **包含** groups → 走 Sequential Group Dispatch(step 5.1)
|
|
121
|
-
|
|
122
|
-
--- 以下为
|
|
123
|
-
|
|
124
|
-
5b)
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
120
|
+
- 若 goal **不含** groups → 走单组 phase-level pipeline(step 5b-5g)
|
|
121
|
+
- 若 goal **包含** groups → 走 Sequential Group Phase-Level Dispatch(step 5.1)
|
|
122
|
+
|
|
123
|
+
--- 以下为 phase-level pipeline(无 groups 的 goal) ---
|
|
124
|
+
|
|
125
|
+
5b) **Phase-Level Sequential Execution**:主 session 按 PLAN→DEV→REVIEW→FINISH 顺序执行 4 个 phase,每个 phase 前检查当前进度(支持断点续跑)。共用一个 change 分支,change id = goal-id。
|
|
126
|
+
|
|
127
|
+
5c) **PHASE 1 - PLAN**(主 session 执行 change start + 委托子 agent 做 plan):
|
|
128
|
+
1. 主 session 执行 `aiws change start <goal-id> --allow-dirty`(若 change 已存在则跳过)
|
|
129
|
+
2. 委托子 agent 执行 PLAN phase:
|
|
130
|
+
```
|
|
131
|
+
task(
|
|
132
|
+
category="unspecified-high",
|
|
133
|
+
description="PLAN phase for goal <goal-id>",
|
|
134
|
+
prompt="TASK: Write proposal.md + plan file + run plan-verify for goal <goal-id>.
|
|
135
|
+
INPUT: goal file at .aiws/goals/<goal-id>.md, truth files at AI_PROJECT.md/REQUIREMENTS.md/AI_WORKSPACE.md.
|
|
136
|
+
CONSTRAINTS: Do NOT implement code. Do NOT do review. Do NOT commit.
|
|
137
|
+
COMPLETION: proposal.md exists, plan file exists, plan-verify passes."
|
|
138
|
+
)
|
|
139
|
+
```
|
|
140
|
+
3. 主 session 验证产出:
|
|
141
|
+
- proposal.md 文件存在
|
|
142
|
+
- plan 文件存在
|
|
143
|
+
- plan-verify 通过
|
|
144
|
+
4. 验证通过 → 进入 PHASE 2
|
|
145
|
+
5. 验证失败 → 可重试最多 2 次 → 仍失败则 goal state=paused,记录 blocker
|
|
146
|
+
|
|
147
|
+
5d) **PHASE 2 - DEV**(委托子 agent 做 dev):
|
|
148
|
+
1. 委托子 agent 执行 DEV phase:
|
|
149
|
+
```
|
|
150
|
+
task(
|
|
151
|
+
category="deep",
|
|
152
|
+
description="DEV phase for goal <goal-id>",
|
|
153
|
+
prompt="TASK: Implement all code changes per plan for goal <goal-id>.
|
|
154
|
+
INPUT: proposal.md at .aiws/changes/<goal-id>/proposal.md, plan file.
|
|
155
|
+
CONSTRAINTS: Do NOT modify proposal or plan files. Do NOT commit.
|
|
156
|
+
COMPLETION: All changes implemented, lint/typecheck clean."
|
|
157
|
+
)
|
|
158
|
+
```
|
|
159
|
+
2. 主 session 验证产出:
|
|
160
|
+
- diagnostics 干净(`lsp_diagnostics` 检查改动文件)
|
|
161
|
+
- 改动范围与 plan 一致
|
|
162
|
+
3. 验证通过 → 进入 PHASE 3
|
|
163
|
+
4. 验证失败 → goal state=paused,记录 blocker
|
|
164
|
+
|
|
165
|
+
5e) **PHASE 3 - REVIEW**(委托子 agent 做 review):
|
|
166
|
+
1. 委托子 agent 执行 REVIEW phase:
|
|
167
|
+
```
|
|
168
|
+
task(
|
|
169
|
+
category="unspecified-high",
|
|
170
|
+
load_skills=["review-work"],
|
|
171
|
+
description="REVIEW phase for goal <goal-id>",
|
|
172
|
+
prompt="TASK: Audit code changes for goal <goal-id>, produce review evidence.
|
|
173
|
+
INPUT: proposal.md, plan file, changed files.
|
|
174
|
+
CONSTRAINTS: Do NOT modify code. Do NOT commit.
|
|
175
|
+
COMPLETION: Review evidence files exist, no HIGH blockers."
|
|
176
|
+
)
|
|
177
|
+
```
|
|
178
|
+
2. 主 session 验证产出:
|
|
179
|
+
- review 证据文件存在
|
|
180
|
+
- 无未解决的 HIGH blocker
|
|
181
|
+
3. 验证通过 → 进入 PHASE 4
|
|
182
|
+
4. 验证失败 → goal state=paused,记录 blocker
|
|
183
|
+
|
|
184
|
+
5f) **PHASE 4 - FINISH**(委托子 agent 做 commit + finish):
|
|
185
|
+
1. 委托子 agent 执行 FINISH phase:
|
|
186
|
+
```
|
|
187
|
+
task(
|
|
188
|
+
category="quick",
|
|
189
|
+
load_skills=["git-master"],
|
|
190
|
+
description="FINISH phase for goal <goal-id>",
|
|
191
|
+
prompt="TASK: Commit and finish (merge + push) for goal <goal-id> change branch.
|
|
192
|
+
CONSTRAINTS: Do NOT modify code. Git operations only.
|
|
193
|
+
COMPLETION: Change branch merged to target_base_branch and pushed."
|
|
194
|
+
)
|
|
195
|
+
```
|
|
196
|
+
2. 主 session 验证产出:
|
|
197
|
+
- 确认 change 分支已合并到 target_base_branch
|
|
198
|
+
- 确认已推送
|
|
199
|
+
3. 验证通过 → goal state=complete,输出 "Goal <goal-id> complete"
|
|
200
|
+
4. 验证失败 → goal state=paused,记录 blocker
|
|
201
|
+
|
|
202
|
+
5g) **Simple Goal Escape Hatch**:若 goal 为简单改动(≤3 文件,配置/doc/规范变更,无架构风险):
|
|
203
|
+
- 可跳过 PHASE 3(REVIEW),在 PHASE 2 验证后直接进入 PHASE 4
|
|
204
|
+
- 必须在 goal 文件的 Progress Notes 标注 "skipped review phase (simple goal)"
|
|
205
|
+
|
|
206
|
+
--- 以下为 Sequential Group Phase-Level Dispatch(含 groups 的 goal) ---
|
|
207
|
+
|
|
208
|
+
5.1) **Sequential Group Phase-Level Dispatch**:
|
|
209
|
+
当 goal 文件包含 Groups 定义时,ws-goal 按依赖顺序逐个调度每个 group,每个 group 内按 5c-5f 的 4-phase 流程执行。主 session 负责编排每个 group 的 4 个 phase 并验证每个 phase 的产出。
|
|
166
210
|
|
|
167
211
|
5.1a) **解析并验证 groups**:
|
|
168
212
|
- 提取 goal 文件中所有 group 定义(id, scope, verification, depends_on, status)
|
|
@@ -182,39 +226,25 @@ ws-goal 只做三件事,不做更多:
|
|
|
182
226
|
```
|
|
183
227
|
- 展示计划后要求用户确认是否继续。用户确认后才开始调度
|
|
184
228
|
|
|
185
|
-
5.1c) **按顺序执行每个 group
|
|
229
|
+
5.1c) **按顺序执行每个 group(phase-level)**:
|
|
186
230
|
FOR each group in 拓扑顺序:
|
|
187
231
|
1. 更新 group status → `in_progress`,写入 goal 文件 Progress Notes
|
|
188
|
-
|
|
189
|
-
-
|
|
190
|
-
-
|
|
191
|
-
-
|
|
192
|
-
|
|
193
|
-
-
|
|
194
|
-
-
|
|
195
|
-
|
|
196
|
-
|
|
197
|
-
|
|
198
|
-
|
|
199
|
-
|
|
200
|
-
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
|
|
204
|
-
```
|
|
205
|
-
4. 收集子 agent 输出,运行 group 级完成审计:
|
|
206
|
-
- 对照 group 的 verification 条目逐条验证
|
|
207
|
-
- 检查 change artifacts 完整性(proposal/tasks/design 存在)
|
|
208
|
-
- lint/typecheck 干净
|
|
209
|
-
5. 审计通过 → 更新 group status → `complete`,更新 Progress Notes
|
|
210
|
-
6. 审计未通过:
|
|
211
|
-
- 判定可恢复(paused)或不可恢复(failed)
|
|
212
|
-
- 更新 group status → paused/failed
|
|
213
|
-
- 记录 blocker 到 Audit Trail
|
|
214
|
-
- 更新 goal state → paused
|
|
215
|
-
- 输出:"Goal <id> paused at group <group-id>: <reason>"
|
|
216
|
-
- **STOP**:后续 group 不再调度
|
|
217
|
-
- BREAK
|
|
232
|
+
2. **PHASE 1 - PLAN**(同 5c,但 change id = `<goal-id>-<group-id>`):
|
|
233
|
+
- 主 session 执行 `aiws change start <goal-id>-<group-id> --allow-dirty`
|
|
234
|
+
- 委托子 agent 写 proposal.md + plan 文件 + plan-verify
|
|
235
|
+
- 主 session 验证:proposal/plan 存在,plan-verify 通过
|
|
236
|
+
3. **PHASE 2 - DEV**(同 5d,scope 限定到当前 group):
|
|
237
|
+
- 委托子 agent 按 plan 实现当前 group 的代码改动
|
|
238
|
+
- 主 session 验证:diagnostics 干净,改动匹配 group scope
|
|
239
|
+
4. **PHASE 3 - REVIEW**(同 5e,scope 限定到当前 group):
|
|
240
|
+
- 委托子 agent 审计当前 group 改动
|
|
241
|
+
- 主 session 验证:review 证据存在,无 HIGH blocker
|
|
242
|
+
5. **PHASE 4 - FINISH**(同 5f):
|
|
243
|
+
- 委托子 agent 做 commit + finish
|
|
244
|
+
- 主 session 验证:分支已合并推送
|
|
245
|
+
6. 任一 phase 失败 → group status = paused/failed,记录 blocker,**STOP**(后续 group 不再调度)
|
|
246
|
+
7. 全部 phase 通过 → 更新 group status → `complete`,更新 Progress Notes
|
|
247
|
+
- 若 goal 配置了多组并行:可在 PLANNING 通过且 DAG 无冲突前提下的顺序执行
|
|
218
248
|
|
|
219
249
|
5.1d) **所有 group 完成后**:
|
|
220
250
|
- 运行整体完成审计:
|
|
@@ -227,7 +257,7 @@ ws-goal 只做三件事,不做更多:
|
|
|
227
257
|
|
|
228
258
|
5.1e) **恢复机制**(下一 session 进入 step 0 时触发):
|
|
229
259
|
- 检测到 paused goal 且含 groups → 输出恢复选项:
|
|
230
|
-
- (a)重试失败的 group
|
|
260
|
+
- (a)重试失败的 group(从失败的 phase 重新开始)
|
|
231
261
|
- (b)跳过该 group(标记 complete,继续下游)
|
|
232
262
|
- (c)暂停并 handoff
|
|
233
263
|
- 用户选择后执行对应操作
|
|
@@ -9,11 +9,11 @@ description: 目标协议:设定可审计的 goal 目标;依赖链预检;
|
|
|
9
9
|
目标:
|
|
10
10
|
- 将用户需求转化为可审计的 goal 目标,按 ws-goal-contract.md 的目标模板写入目标文件。
|
|
11
11
|
- 依赖链预检:阻断"死 change 阻塞下游"这类 chain 问题。
|
|
12
|
-
-
|
|
12
|
+
- 管道委托:预检通过后将 goal 拆分为 phase-level 子任务(PLAN→DEV→REVIEW→FINISH),每个 phase 委托给独立轻量子 agent,主 session 编排调度与验证。
|
|
13
13
|
- 完成审计:claim done 时验证 outcome 真伪。
|
|
14
14
|
|
|
15
15
|
ws-goal 不做的事:
|
|
16
|
-
-
|
|
16
|
+
- 不直接在 main session 操作 change 或写代码(通过 pipeline subagent 委托执行)
|
|
17
17
|
- 不替换 review/commit/finish 门禁
|
|
18
18
|
- 不 auto-chain 到下一个 goal(但在同一 goal 内支持多组顺序调度 §6)
|
|
19
19
|
|
|
@@ -29,4 +29,4 @@ ws-goal 不做的事:
|
|
|
29
29
|
3) 按 ws-goal-contract.md 的目标模板生成目标文件,写入 `.aiws/goals/<goal-id>.md`。
|
|
30
30
|
4) 输出 completion audit checklist,列出每个 goal 的完成标准与验证方式。
|
|
31
31
|
5) **Workspace State Analysis**:分析 dirty/submodule/change artifacts/git 状态,输出影响等级报告,用户确认后才能继续。参考 `/ws-goal` command 的 step 4.5 完整流程。
|
|
32
|
-
6) **Pipeline Delegation**:预检 + 分析通过后,将 goal
|
|
32
|
+
6) **Phase-Level Pipeline Delegation**:预检 + 分析通过后,将 goal 拆分为 PLAN→DEV→REVIEW→FINISH 四个 phase 顺序执行,每个 phase 委托给独立轻量子 agent,主 session 验证每个 phase 产出后决定继续/重试/暂停。参考 `/ws-goal` command 的 step 5 完整流程。
|