@mison/ling 1.0.0

package/.spec/skills/cybernetic-systems-engineering/agents/openai.yaml

@@ -0,0 +1,5 @@
+interface:
+  display_name: "Cybernetic Systems Engineering"
+  short_description: "用系统工程+控制论+GDA做软件工程闭环控制、审计与门禁设计"
+policy:
+  allow_implicit_invocation: true

package/.spec/skills/cybernetic-systems-engineering/assets/quickstart.md

@@ -0,0 +1,96 @@
+# Quickstart
+
+## 什么时候用
+
+适合：
+
+- bugfix
+- feature
+- refactor
+- 性能优化
+- 测试补强
+- 事故复盘
+- 架构审计
+- gate / handoff
+
+尤其适合：
+
+- “问题复杂、不能只看单个文件”
+- “离线通过但真实环境失败”
+- “需要最小可验证变更”
+- “需要系统级收口，不只是修一行代码”
+
+## 最短使用姿势
+
+在提示词里显式写：
+
+- `$cybernetic-systems-engineering`
+
+如果任务会持续多轮、需要检查点和恢复，建议同时写：
+
+- `$harness`
+
+## 最小可用控制模板 v2
+
+### Control Contract v2
+
+- Primary Setpoint:
+- Acceptance:
+- Guardrail Metrics:
+- Sampling Plan:
+- Known Delays / Delay Budget:
+- Recovery Target:
+- Rollback Trigger:
+- Constraints:
+- Boundary:
+- Coupling Notes:
+- Approximation Validity:
+- Actuator Budget:
+- Risks:
+
+### State Estimate
+
+- Entry:
+- Key state:
+- Key invariants:
+- Current error:
+
+### Plan
+
+1. 先测量
+2. 再最小修复
+3. 分层验证
+4. 记录 residual risk
+
+## 一个典型例子
+
+### 用户问题
+
+“本地 `cargo test` 全绿，但真实 Windows + VPN 环境下 `PG_CH` 回测炸了。请定位原因并补离线测试。”
+
+### 这个 skill 会做什么
+
+1. 先建立控制合同
+2. 区分：
+   - 语义层测试
+   - schema 契约层测试
+   - 真实环境 gate
+3. 把问题从“单个 bugfix”升级成：
+   - 根因定位
+   - 测试缺口审计
+   - 最小修复
+   - 离线回归矩阵
+   - gate handoff
+
+## 记住
+
+这个 skill 的核心不是：
+
+- 用更多术语
+- 画更复杂的图
+
+而是：
+
+- 更快得到可信误差信号
+- 更小地改动
+- 更清楚地区分“已验证”与“尚未验证”

package/.spec/skills/cybernetic-systems-engineering/references/README.md

@@ -0,0 +1,36 @@
+# References
+
+## 使用顺序
+
+1. 先读 `SKILL.md`
+   - 获取触发条件、执行骨架、控制合同、验证分层
+2. 需要更完整理论与设计视角时，再读：
+   - `gda-framework.md`
+
+## 文件说明
+
+### `gda-framework.md`
+
+包含：
+
+- 五大维度：
+  - 第一性原理
+  - 公理化思维
+  - 多模型思维
+  - 类比迁移
+  - 反馈与验证
+- GDA 四步法：
+  - Axiom & Boundary
+  - Multi-model Construction
+  - Cybernetic Control
+  - Closed-loop Observability
+- 面向资深 SWE / 架构师的架构与测试设计启示
+
+## 读取建议
+
+只有在以下场景才需要读取 `gda-framework.md`：
+
+- 任务复杂、跨模块、跨语言、跨环境
+- 需要做系统级审计或总体设计
+- 需要给出测试分层、门禁、handoff、长期演进建议
+- 需要解释“为什么要这样设计”，而不是只给 patch

package/.spec/skills/cybernetic-systems-engineering/references/gda-framework.md

@@ -0,0 +1,394 @@
+# GDA Framework
+
+## 1. 为什么这个 skill 需要总体设计视角
+
+从工程实践看：
+
+- 初级工程师关注语法和框架
+- 中级工程师关注算法和模式
+- 高级工程师真正解决的是：**如何控制复杂性**
+
+这个 skill 的理论底座来自两个方向：
+
+1. **系统工程**
+   - 关注总体目标、边界、分解、集成、组织
+2. **工程控制论**
+   - 关注反馈、稳定性、时滞、噪声、鲁棒性、调节策略
+
+把它们映射到软件工程，核心不是数学推导，而是：
+
+- 把软件系统当作可观测、可控制、会受扰动、会振荡的复杂系统
+
+## 2. 五大维度
+
+### 2.1 第一性原理
+
+先问：
+
+- 业务真正目标是什么
+- 物理极限是什么
+- 什么是不变量
+- 什么是绝对不能妥协的约束
+
+软件中的等价问题：
+
+- 吞吐 vs 一致性
+- 延迟预算
+- 网络 RTT
+- 磁盘 IOPS
+- 内存 / 缓存边界
+
+对应方法：
+
+- 约束驱动设计
+
+### 2.2 公理化思维
+
+系统必须建立在少数不可推翻的契约上：
+
+- API 契约
+- schema 契约
+- 状态机合法跃迁
+- 事件语义
+
+软件中的反面典型：
+
+- 模块越权访问
+- 影子实现
+- 同一状态有两套解释
+
+对应方法：
+
+- 定义即防御
+- 契约优先于实现
+
+### 2.3 多模型思维
+
+复杂系统不能只用一种图来理解。
+
+至少应切换三种模型：
+
+1. 数据流模型
+2. 状态机模型
+3. 时序 / 并发 / 排队模型
+
+软件中的典型价值：
+
+- 同步 RPC 看不清的问题，换成事件流模型会更清楚
+- OOP 卡住的高并发状态流转，换成 Actor / 队列模型更稳定
+- 代码 profiler 看不清的延迟问题，用排队模型更直观
+
+对应方法：
+
+- 正交投影建模法
+
+### 2.4 类比迁移能力
+
+软件系统没有物理形体，但可以寻找物理同构：
+
+- 限流 / 降级 -> 漏桶 / 令牌桶
+- 自动扩缩容 -> PID
+- 消息队列 -> 水库 / 缓冲池
+- 熔断 -> 自动断路器
+
+当系统出现：
+
+- 拥堵
+- 雪崩
+- 震荡
+- 超调
+
+就应该主动寻找物理世界中的成熟控制经验。
+
+### 2.5 反馈与验证能力
+
+没有反馈回路的系统，等价于盲飞。
+
+必须有：
+
+- metrics
+- logs
+- traces
+- replay / repro
+- tests / benchmarks / gate
+
+尤其要关注：
+
+- 时滞
+- 非线性
+- 噪声
+- 偶然通过的测试
+
+## 3. GDA 四步法
+
+### Step 1: Axiom & Boundary
+
+执行动作：
+
+1. 明确系统最终目标
+2. 写出不变量
+3. 列出硬约束
+4. 算清物理边界
+
+产物：
+
+- 控制合同（Control Contract）
+- 边界清单
+- 风险清单
+
+### Step 2: Multi-model Construction
+
+执行动作：
+
+1. 建立静态契约域
+   - API
+   - schema
+   - 配置
+   - 事件格式
+2. 建立动态状态域
+   - 状态机
+   - 生命周期
+   - 状态收口
+3. 建立容量与排队域
+   - 队列
+   - 缓冲
+   - 背压
+   - 瓶颈
+
+产物：
+
+- 最小系统图
+- 状态机图或文字版
+- 容量/时滞估计
+
+### Step 3: Cybernetic Control
+
+执行动作：
+
+1. 识别主要误差
+2. 选择最小控制输入
+3. 一次只改一类问题
+4. 防止振荡
+
+典型控制动作：
+
+- 缩小改动范围
+- 加强可观测点
+- 从大修退回最小修复
+- 从“改实现”切换到“补测试/补契约/修接口”
+
+### Step 4: Closed-loop Observability
+
+执行动作：
+
+1. 分层验证
+   - L0：快回路
+   - L1：中回路
+   - L2：慢回路
+2. 明确什么只能在真实环境验证
+3. 沉淀 review / gate / handoff 文档
+
+产物：
+
+- 测试矩阵
+- 审计报告
+- gate 文档
+- handoff
+
+## 4. 对软件架构师的直接启示
+
+### 4.1 不是先选技术，而是先选控制目标
+
+错误问题：
+
+- 用什么数据库？
+- 上不上微服务？
+
+正确问题：
+
+- 哪个指标必须优先满足？
+- 哪个不变量绝不能破？
+- 哪个失败模式必须被优先吸收？
+
+### 4.2 不是先加抽象，而是先界定契约
+
+错误问题：
+
+- 如何把实现写得更“通用”？
+
+正确问题：
+
+- 什么应该是 public？
+- 什么只是测试方便，不该变成公共 API？
+- 什么是模块的业务区位？
+
+### 4.3 不是所有“通过测试”都等于问题解决
+
+必须区分：
+
+- 语义测试
+- schema 契约测试
+- 主链测试
+- 真实环境 gate
+
+这是本 skill 最关键的现实原则之一。
+
+## 5. 使用这个 skill 时的输出风格
+
+默认要求输出这些内容中的大部分：
+
+1. 当前误差是什么
+2. 当前系统状态估计是什么
+3. 当前改动为什么是最小控制输入
+4. 验证层次是什么
+5. 哪些风险还没被闭环吸收
+
+## 6. 常见误区
+
+1. 把控制论理解成“堆术语”
+2. 把系统工程理解成“画更多图”
+3. 把离线通过等价为真实环境通过
+4. 把测试便利性凌驾于模块职责之上
+5. 把临时修复变成新的影子事实源
+
+## 7. 一页版执行模板
+
+### Control Contract
+
+- Primary Setpoint:
+- Acceptance:
+- Guardrail Metrics:
+- Sampling Plan:
+- Known Delays / Delay Budget:
+- Recovery Target:
+- Rollback Trigger:
+- Constraints:
+- Boundary:
+- Coupling Notes:
+- Approximation Validity:
+- Actuator Budget:
+- Risks:
+
+### State Estimate
+
+- Entry:
+- Key state:
+- Key invariants:
+- Current error signal:
+
+### Hypotheses
+
+1. H1:
+2. H2:
+3. H3:
+
+### Experiment Plan
+
+- E1:
+- E2:
+- E3:
+
+### Patch Plan
+
+- Step 1:
+- Step 2:
+- Step 3:
+
+### Verification
+
+- L0:
+- L1:
+- L2:
+
+### Recovery Evidence
+
+- Trigger:
+- Recovery time:
+- Rollback / restart:
+
+### Observability Evidence
+
+- Metrics / traces:
+- Profiling baseline:
+- Before vs after:
+
+### Residual Risks
+
+- Risk 1:
+- Risk 2:
+
+## 8. 现代映射附录
+
+这一节不是重复主 skill，而是把《论系统工程》《工程控制论》的经典问题，映射到云原生、分布式和 AI 原生工程语境。
+
+### 8.1 系统工程总体设计 -> 云原生总体控制结构
+
+- 经典问题：
+  - 如何为一个大系统建立总体设计部，统一目标、边界、分工与集成
+- 现代映射：
+  - 平台团队、架构委员会、共享边界 owner、发布治理和统一门禁
+- 典型例子：
+  - 微服务拆分后，团队不再只管“自己的服务”，还要定义共享 API、共享 schema、mesh 策略和发布窗口
+
+### 8.2 时滞 -> 异步传播、CI 排队、缓存刷新与灰度延迟
+
+- 经典问题：
+  - 时间延迟会让原本稳定的系统出现低频振荡
+- 现代映射：
+  - 异步队列传播、CDN 或缓存刷新、控制面配置下发、CI 队列、灰度生效延迟
+- 典型例子：
+  - 你刚调了限流参数，dashboard 还没刷新，第二次调参就已经把系统推过头了
+
+### 8.3 采样 -> 监控抓取周期、批量上报与窗口聚合
+
+- 经典问题：
+  - 离散采样会带来别名和误判
+- 现代映射：
+  - metrics 抓取周期、日志批量上传、trace 采样率、profiling 采样窗口
+- 典型例子：
+  - 用 1 分钟粒度看 5 秒一个周期的抖动，会把真实震荡看成偶发现象
+
+### 8.4 反馈 -> 自动扩缩容、重试、熔断、回滚控制器
+
+- 经典问题：
+  - 反馈能增强稳定性，但错误反馈也会放大震荡
+- 现代映射：
+  - HPA、队列消费调度、自动回滚、熔断半开、重试预算控制
+- 典型例子：
+  - HPA、应用内重试和网关重试同时工作时，系统不再是单控制器，而是耦合反馈系统
+
+### 8.5 解耦 -> 输入输出影响矩阵与平台边界
+
+- 经典问题：
+  - 多变量系统要先解耦，否则一个输入会同时打坏多个输出
+- 现代映射：
+  - 限流参数、缓存策略、连接池、批量大小、并发度这些高耦合 knob 的影响矩阵
+- 典型例子：
+  - 调大重试可能抬高成功率，但也会同时抬高延迟、成本和队列长度
+
+### 8.6 噪声 -> flake、监控抖动、依赖 brownout
+
+- 经典问题：
+  - 噪声会污染观测，使错误控制建立在伪信号上
+- 现代映射：
+  - flaky test、监控抖动、短时网络毛刺、依赖 brownout、缓存击穿带来的尖峰
+- 典型例子：
+  - 把短时 brownout 当成永久故障，会触发错误的扩容、回滚或切流
+
+### 8.7 自适应 -> 在线调参、搜索、学习型控制
+
+- 经典问题：
+  - 当环境持续变化时，固定控制律会失效
+- 现代映射：
+  - 自适应限流、动态并发、在线容量预测、带反馈的调参系统、AI agent 的在线策略更新
+- 典型例子：
+  - AI 原生系统中，固定 prompt 路由和固定超时很快会老化，必须让策略能根据观测在线修正
+
+### 8.8 冗余 -> 多副本、双写、影子链路与容错恢复
+
+- 经典问题：
+  - 用不可靠部件构造可靠系统，要靠冗余、仲裁和恢复
+- 现代映射：
+  - 多副本部署、跨可用区、双写双读、shadow 流量、冷备热备、幂等恢复
+- 典型例子：
+  - 双写不是“多一份保险”，而是引入了新的对账、顺序和一致性问题，必须被当成状态面控制问题

package/.spec/skills/cybernetic-systems-engineering/scripts/issues.csv

@@ -0,0 +1,20 @@
+ID,Title (任务标题),Content (详细内容),Acceptance Criteria (测试验收要求),Review Requirements (Review要求),State (状态),Labels (标签)
+CSE-001,补项目级控制拓扑骨架,"在 `cybernetic-systems-engineering/SKILL.md` 新增“项目级控制拓扑”章节，明确 CSE 不只是任务级闭环，还要定义项目级控制结构、控制边界与跨模块协调入口。","1) `SKILL.md` 新增“项目级控制拓扑”标题；2) 章节明确区分任务级闭环与项目级控制；3) 文本中显式出现总体设计部、控制结构、跨模块协调三个概念；4) 不删除现有 Control Contract 与 GDA 主骨架。","回读新增章节，确认没有把项目级协议写成抽象口号；review+rewind 检查现有章节是否仍可独立阅读。",已完成,技能更新
+CSE-002,补总体设计部与 owner matrix,"在项目级控制拓扑章节中补总体设计部协议，定义 owner matrix、决策升级路径、接口冻结条件与跨模块协调职责。","1) `SKILL.md` 明确写出 owner matrix；2) 明确至少一条升级路径规则；3) 明确接口冻结或变更审批条件；4) 说明跨模块变更由谁裁决。","检查职责边界是否清晰，避免出现“所有人都能改所有东西”的模糊协议；review+rewind 确认没有遗漏升级条件。",已完成,技能更新
+CSE-003,补控制面数据面状态面划分,"在 `SKILL.md` 的项目级控制拓扑内补控制面、数据面、状态面三分法，要求 agent 在复杂任务开始前先识别复杂性放置位置。","1) `SKILL.md` 出现控制面/数据面/状态面三个术语；2) 每个术语至少有一句软件工程语义定义；3) 文本要求复杂任务先做三分法识别；4) 说明至少一个复杂性转移示例。","检查三分法是否和现有 Plant/Controller/Sensors/Actuators 定义兼容；review+rewind 确认没有概念冲突。",已完成,技能更新
+CSE-004,升级 Control Contract 为 v2,"把 `SKILL.md` 现有 Control Contract 扩成 v2，增加 Primary Setpoint、Guardrail Metrics、Sampling Plan、Known Delays、Recovery Target、Rollback Trigger、Coupling Notes、Approximation Validity、Actuator Budget。","1) `SKILL.md` 的 Control Contract 字段完整包含新增 9 项；2) 字段命名在同一节内统一；3) 每个字段都有一句用途说明；4) 不再仅停留在 Goal/Acceptance/Constraints/Boundary/Risks 五项。","逐项回读字段，确认没有漏项或重名；review+rewind 检查字段是否可直接复制使用。",已完成,技能更新
+CSE-005,补动态控制病之采样与观测新鲜度,"在 `SKILL.md` 传感器工程后新增“动态控制病”章节之一，覆盖采样周期、观测新鲜度、采样别名、陈旧指标与观测盲区。","1) `SKILL.md` 新增“动态控制病”标题；2) 文本明确包含采样周期、观测新鲜度、采样别名、陈旧指标四项；3) 每项都给出至少一个工程后果；4) 至少一条规则要求性能/稳定性问题先审查观测质量。","检查内容是否是可执行规则而不是概念堆砌；review+rewind 确认与“先测量”原则衔接自然。",已完成,技能更新
+CSE-006,补动态控制病之去抖退避冷却,"继续扩充 `SKILL.md` 的动态控制病章节，增加告警去抖、滞回区间、退避策略、控制冷却时间，避免系统阈值抖动和频繁调参。","1) 文本显式包含告警去抖、滞回区间、退避策略、冷却时间四项；2) 每项至少给出一个何时启用的触发条件；3) 明确禁止连续重复同类控制动作不带冷却窗口。","回读规则，确认具备执行条件和停止条件；review+rewind 检查是否仍符合最小控制输入原则。",已完成,技能更新
+CSE-007,补动态控制病之 anti-chatter 与 anti-windup,"在 `SKILL.md` 动态控制病章节补 anti-chatter、anti-windup、控制器打架、阈值抖动等现代分布式控制反模式。","1) 文本显式包含 anti-chatter、anti-windup、控制器冲突三个术语；2) 至少说明一个重试风暴或扩缩容超调场景；3) 给出至少一条防止多个 controller 同时改同一 knob 的规则。","检查术语解释是否贴近 SWE 场景；review+rewind 确认没有把 anti-windup 写成纯理论描述。",已完成,技能更新
+CSE-008,新增机制优于策略原则,"在 `SKILL.md` 新增“机制优于策略”原则，吸收 The Bitter Lesson，明确何时禁止硬编码 timeout、retry、熔断阈值、连接池大小、扩缩容阈值。","1) `SKILL.md` 新增该原则的明确标题或小节；2) 文本显式禁止把上述阈值默认写死成人工经验；3) 明确至少两类优先机制，如自适应控制、反馈回路、搜索或在线学习；4) 至少给出一条例外条件。","检查是否给出‘何时允许静态策略’的边界，避免绝对化空话；review+rewind 确认与现有最小修改原则不冲突。",已完成,技能更新
+CSE-009,新增 MTTR-first 与 crash-only 协议,"把 `SKILL.md` 从正确性优先扩展到 MTTR-first，补 crash-only、快速恢复、自动回滚、重启语义、故障注入、恢复预算。","1) `SKILL.md` 明确写出 MTTR 优先于 MTBF 的裁决语句；2) 至少包含 crash-only、自动回滚、故障注入三个概念；3) Verification 或 Contract 中出现恢复时间预算；4) 至少一条规则要求不可恢复状态优先显式失败而非静默维持。","检查协议是否与全局‘不静默兜底’基线一致；review+rewind 确认没有引入假恢复路径。",已完成,技能更新
+CSE-010,补黑盒传递函数与耦合矩阵,"在 `SKILL.md` 或 `gda-framework.md` 增加黑盒输入输出、控制输入到输出影响矩阵、解耦矩阵的说明，要求改动前先分析 knob 对 output 的影响。","1) 至少一个文件新增传递函数或输入输出影响矩阵内容；2) 文本明确要求复杂任务先列控制输入、输出、影响方向与外溢风险；3) 明确至少一个多变量耦合示例。","检查矩阵描述是否足够具体，可直接用于 code review 或方案审计；review+rewind 确认没有停留在比喻层。",已完成,技能更新
+CSE-011,新增抽象审查协议,"在 `SKILL.md` 决策准则附近新增抽象审查协议，强调允许 WET、优先物理解耦、按共变关系而不是代码相似度做抽象。","1) 文本显式出现允许 WET、物理解耦、共变关系三个原则；2) 至少列出一个‘代码相似但不应抽象’的判定标准；3) 至少一条规则要求评估未来是否同时变化。","检查协议是否足以约束过早抽象；review+rewind 确认没有把 DRY 全盘否定成另一个极端。",已完成,技能更新
+CSE-012,新增复杂性转移账本,"在 `SKILL.md` 新增“复杂性转移账本”，记录复杂性被下沉、上浮或转移后新增的成本、依赖和失效模式。","1) `SKILL.md` 新增复杂性转移账本标题；2) 模板至少包含复杂性原位置、新位置、收益、新成本、失效模式五项；3) 至少给出 mesh、存储外包或异步补偿中的一个示例。","检查账本是否真的描述转移而不是重复风险清单；review+rewind 确认与项目级控制拓扑相互引用。",已完成,技能更新
+CSE-013,新增演进式架构与可逆决策协议,"在 `SKILL.md` 新增演进式架构章节，覆盖 Gall’s Law、two-way door / one-way door、迁移桥接期、shadow/canary、契约先稳后扩。","1) `SKILL.md` 明确出现 two-way door 与 one-way door；2) 明确桥接期或迁移过渡策略；3) 至少包含 shadow 或 canary 一项；4) 明确先长出简单可用系统再演化的原则。","检查是否把‘可逆’落成判定规则，而不是口号；review+rewind 确认与实战剧本能互相印证。",已完成,技能更新
+CSE-014,补无观测不优化协议,"强化 `SKILL.md` 与 `quickstart.md` 的可观测性要求，规定性能和稳定性问题必须先看 trace、flame graph、profiling baseline、golden signals、对照实验。","1) `SKILL.md` 或 `quickstart.md` 明确写出‘无观测，不优化’；2) 至少列出 trace、flame graph、profiling baseline、golden signals 四项；3) 文本要求性能/稳定性问题先做观测基线再改代码。","检查是否给出‘观测不足时先补观测’的明确动作；review+rewind 确认没有把 profiling 变成可选建议。",已完成,技能更新
+CSE-015,扩交付格式为恢复证据与观测证据,"把 `SKILL.md` 的交付格式扩成现代控制版，新增 Recovery Evidence 与 Observability Evidence。","1) `SKILL.md` 交付格式新增 Recovery Evidence；2) 同时新增 Observability Evidence；3) 文本要求交付‘怎么恢复、多久恢复、依据什么判断’；4) 原有 Summary、State Estimate、Changes、Verification、Residual Risks 结构仍保留。","回读交付格式，确认新字段不是孤立存在，能和 Control Contract v2 对上；review+rewind 检查术语前后一致。",已完成,技能更新
+CSE-016,扩实战剧本到现代高风险场景,"把 `SKILL.md` 实战剧本扩成至少 8 类，覆盖性能退化、异步队列背压、迁移 cutover、部分故障或依赖 brownout、配置回滚、flake triage、成本失控、SLO 漂移。","1) `SKILL.md` 实战剧本总数不少于 8 类；2) 明确包含上述 8 类关键词；3) 每类剧本都有最小步骤骨架；4) 不删除原有 bugfix、测试补强、架构收口剧本。","检查每类剧本是否可执行且边界清晰；review+rewind 确认没有把多个场景混成一类大杂烩。",已完成,技能更新
+CSE-017,给 gda-framework 补现代映射附录,"在 `cybernetic-systems-engineering/references/gda-framework.md` 增加现代映射附录，把《论系统工程》《工程控制论》映射到云原生、分布式、AI 原生工程语境。","1) `gda-framework.md` 新增现代映射附录标题；2) 附录至少覆盖系统工程总体设计、时滞、采样、反馈、解耦、噪声、自适应、冗余这些映射；3) 至少列出一个云原生或 AI 原生例子。","检查附录是否承担‘理论扩展’职责，而不是把主 skill 内容重复一遍；review+rewind 确认主文与附录分工清晰。",已完成,技能更新
+CSE-018,给 quickstart 增加最小控制模板 v2,"在 `cybernetic-systems-engineering/assets/quickstart.md` 增加可直接复制的最小控制模板 v2，带 setpoint、guardrail、sampling、rollback、recovery、coupling 等字段。","1) `quickstart.md` 新增模板 v2 标题；2) 模板包含 Primary Setpoint、Guardrail Metrics、Sampling Plan、Delay Budget、Recovery Target、Rollback Trigger、Coupling Notes、Approximation Validity；3) 模板可直接复制使用。","检查 quickstart 模板字段名是否与 `SKILL.md` 一致；review+rewind 确认初次使用者不读主文也能理解模板。",已完成,技能更新
+CSE-019,做跨文件一致性回扫,"在上述内容补齐后，对 `SKILL.md`、`gda-framework.md`、`quickstart.md` 做一次一致性回扫，清理术语冲突、重复定义和漏同步字段。","1) 三个文件中的关键字段命名一致；2) 交叉引用路径有效；3) 不存在同一概念多套定义；4) 回扫结论能明确列出已闭环项与残余风险。","用全文搜索核对关键术语；review+rewind 确认没有新增影子事实源。",已完成,技能更新

package/.spec/skills/harness-engineering/SKILL.md

@@ -0,0 +1,100 @@
+---
+name: harness-engineering
+description: 将复杂开发任务放入“harness 优先”的执行框架，规范代理在真实工具链中的自主执行、人机协作与主动求助。用于需要在代码库中持续迭代并以测试/日志/CI 为证据交付的场景，尤其适合长链路排障、跨模块修复、权限受限环境、CI 失败修复和需要明确“何时请求人工决策”的任务。
+---
+
+# Harness Collaboration Skill
+
+## 核心目标
+
+- 把任务放进可执行 harness，而不是只依赖提示词。
+- 用可观测证据驱动迭代：工具输出、测试结果、日志、CI 状态。
+- 降低人机来回拉扯：让代理先跑，达到阈值再请求人工决策。
+- 在求助时提供结构化选项，而不是只汇报失败。
+
+## 执行流程
+
+### 1) 先定义成功与边界
+
+- 明确交付物、验收标准、约束条件、不可改动范围。
+- 把任务拆成 3-6 个可验证里程碑，每步都能用命令或文件证据判定完成。
+- 在开始前写明失败可接受范围（例如允许重试次数、最长探索时间）。
+
+### 2) 优先完善 harness，再让代理执行
+
+- 按最小权限逐级放开能力，不一次性给最高权限：
+  - L1: 只读代码与文档
+  - L2: 可运行测试与静态检查
+  - L3: 可修改代码并回归
+  - L4: 可执行需要授权的外部操作（发布、生产变更）
+- 在每一级都定义“升级条件”和“回滚条件”。
+- 缺少关键工具时先补工具链，再做深度优化。
+
+### 3) 给代理自主探索预算，避免每步打断
+
+- 设定时间预算和尝试预算（例如单问题最多 20 分钟或 3 次同类尝试）。
+- 要求每轮迭代都产出证据：做了什么、结果如何、下一步假设是什么。
+- 禁止“无证据重试”：同样手段失败后，必须换策略或请求人工输入。
+
+### 4) 按阈值触发主动求助
+
+- 任一条件满足即主动请求人工决策：
+  - 同类失败连续 2-3 次，且误差模式一致；
+  - 缺少关键上下文（需求口径、环境变量、数据权限）；
+  - 需要越过安全边界或执行高风险变更；
+  - 出现多解分支且成本/风险显著不同。
+- 求助时一次性提供：
+  - 已尝试动作与证据；
+  - 根因假设与不确定点；
+  - 2-3 个可选方案（收益、风险、时间成本）。
+
+### 5) 用“选项型提问”提升协作效率
+
+- 采用封闭式选项，减少往返：
+  - 选项 A（推荐）：低风险、耗时短、覆盖 80% 场景
+  - 选项 B：中风险、改动较大、收益更高
+  - 选项 C：高风险、仅在强需求时采用
+- 每次提问只聚焦一个决策点，避免在一个消息中混入多个问题。
+
+### 6) 以“可追溯交付”收束
+
+- 交付内容必须包含：
+  - 变更清单（文件与关键行为）；
+  - 验证证据（命令、结果、失败与修复过程）；
+  - 已知风险与边界（明确未覆盖项）。
+- 严禁静默降级、伪成功路径、隐藏失败。
+
+## 主动协作消息模板
+
+在触发求助阈值后，使用以下模板：
+
+```text
+当前阻塞: <一句话描述>
+已验证事实:
+1) <证据1>
+2) <证据2>
+3) <证据3>
+
+根因假设:
+- H1: <假设 + 置信度>
+- H2: <假设 + 置信度>
+
+可选决策:
+- A(推荐): <方案> | 成本 <x> | 风险 <y> | 预计耗时 <z>
+- B: <方案> | 成本 <x> | 风险 <y> | 预计耗时 <z>
+- C: <方案> | 成本 <x> | 风险 <y> | 预计耗时 <z>
+
+需要你确认: <仅一个决策问题>
+```
+
+## 反模式
+
+- 过早求助：尚未形成证据就请求人工接管。
+- 无界重试：重复同一命令但不改变假设。
+- 静默绕过：用兜底路径掩盖真实失败。
+- 只报问题不报选项：把决策压力全部转移给人工。
+- 完成后无证据：缺少可复现实验与验证记录。
+
+## 参考资料
+
+- 读取 `references/harness-engineering-digest.md` 获取文章蒸馏与落地检查清单。

package/.spec/skills/harness-engineering/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "Harness 协作执行"
+  short_description: "将代理执行变成可观测、可协作、可决策的工程化流程框架。"
+  default_prompt: "请按 harness-engineering 执行：先确认边界，再给计划、自主预算、求助阈值与验证证据。"