# 模块 6：Skill 如何组合 Rule、Prompt 与检查单

<div class="mt-6 text-sm">

Skill 的难点不是写步骤，而是把每一步需要的判断、材料和停止条件拆开。

一次状态变更审查，至少要完成“事实、方案、验证、边界”四类判断。

</div>

<div class="grid grid-cols-4 gap-3 mt-8 text-sm">
<div class="p-3 rounded-xl bg-blue-500/10 border border-blue-500/30">事实</div>
<div class="p-3 rounded-xl bg-emerald-500/10 border border-emerald-500/30">方案</div>
<div class="p-3 rounded-xl bg-amber-500/10 border border-amber-500/30">验证</div>
<div class="p-3 rounded-xl bg-red-500/10 border border-red-500/30">边界</div>
</div>

<!--
逐字稿：这一部分讨论的是 Skill 如何编排已有资产。Rule、任务上下文契约、检查单和模板都不是彼此替代的关系，它们分别解决约束、事实输入、遗漏控制和交付结构。Skill 的作用是在正确的时间加载正确资产，并在证据不足时停止。

这一模块不再平铺介绍 Rule、Prompt、Skill，而是讲 Skill 的编排：什么时候加载哪个资产，何时需要停下来，最终怎样让输出可被下一步消费。
-->

---

# 状态变更 Skill 的四个决策阶段

<div class="mt-6 text-sm">

```text
1. 事实提取
   读取入口、状态、写入顺序、权限、审计和已有验证。

2. 方案比较
   用 Rule 判断最终保护边界；排除范围越界方案。

3. 验证设计
   用检查单覆盖无效输入、正常路径和关键副作用。

4. 结论输出
   区分已确认、待执行和待确认；证据不足时停止。
```

</div>

<!--
逐字稿：状态变更审查至少要经历四个阶段。先提取事实，避免从一句需求直接推结论；再比较方案，明确保护位置和禁止范围；随后设计验证，覆盖无效输入、正常路径和副作用；最后按证据强度输出结论。这个顺序不能被压缩成一句“请安全修改状态”。

这是一个 Skill 中真正需要编排的决策过程。每一阶段都有不同输入和不同输出，不能压缩成一句“请帮我安全修改状态流转”。
-->

---

# 每一步应加载什么资产？

<div class="mt-5 text-xs">

| 阶段 | 使用的资产 | 作用 |
|---|---|---|
| 事实提取 | 影响分析 Prompt、项目约束 | 防止遗漏入口和把猜测写成事实 |
| 方案比较 | 状态变更 Rule、反例 | 判断保护位置与禁止范围 |
| 验证设计 | 状态流转检查单、测试模板 | 覆盖正常、异常与副作用 |
| 结论输出 | 报告模板、输出契约 | 使后续 Review 或 PR 能继续使用 |

</div>

<div class="mt-6 p-3 rounded-xl bg-emerald-500/10 border border-emerald-500/30 text-sm">
Skill 的每一步都应能指出“为什么读这个资产、产出交给谁”。
</div>

<!--
逐字稿：每一步都要能回答两个问题：为什么现在要读这份资产，产出要交给谁。事实提取依赖项目事实和任务上下文契约，方案比较依赖 Rule 和反例，验证设计依赖检查单，最终由报告模板形成可复核结果。这样 Skill 才不是把所有材料拼在一起，而是有明确的决策流。

这张表借鉴现有 review-fix-loop Skill：它将 Review 报告、修复记录、检查清单和资产决策表分开，而不是把所有内容复制到一段 Prompt 中。
-->

---

# Output Contract 决定 Skill 是否可用

<div class="mt-5 text-xs">

```md
## 已确认事实
<来源路径 / 记录 / 证据>

## 方案比较
<候选方案、覆盖范围、取舍理由>

## 验证清单
<已覆盖、待执行、阻断条件>

## 待确认事项
<证据缺口与不能下结论的原因>

## 资产建议
<Rule / Prompt / Checklist / Example / 不沉淀>
```

</div>

<!--
逐字稿：Output Contract 是 Skill 和下游环节之间的接口。下游不应该接收到一段自由总结，而应该拿到事实、方案比较、验证清单、待确认事项和资产建议。固定结构让 Review、PR 或后续资产沉淀可以直接使用结果，也便于检查模型有没有把推断写成事实。

Output Contract 是 Skill 与下游资产之间的接口。固定结构让下一次 Review、PR 或知识沉淀可以直接使用结果，避免再次让模型总结一段自由文本。
-->

---

# Stop Conditions 比步骤更重要

<div class="mt-5 text-xs">

| 停止信号 | Skill 应做什么 | 不应做什么 |
|---|---|---|
| 缺少入口或状态源码 | 列出缺失材料并停止结论 | 自行补全调用链 |
| 业务规则互相矛盾 | 标记待确认并列出冲突来源 | 擅自选一个规则执行 |
| 方案超出允许范围 | 明确指出越界位置 | 顺手改数据库、权限或页面 |
| 关键验证没有证据 | 输出待执行项 | 写成“已验证” |

</div>

<div class="mt-6 p-3 rounded-xl bg-red-500/10 border border-red-500/30 text-sm">
能在证据不足时停下来的 Skill，比能不断生成内容的 Skill 更可靠。
</div>

<!--
逐字稿：停止条件比流程步骤更重要。缺入口源码时不能补全调用链，规则冲突时不能擅自选择一方，方案越界时不能顺手扩大修改，验证没有证据时不能写成通过。一个愿意明确停下并暴露缺口的 Skill，比不断生成内容的 Skill 更可信。

Stop Conditions 是防幻觉和防越界的核心。它把“没法继续”的场景变成结构化输出，而不是让 Agent 在信息不足时给出虚假的确定性。
-->