SKILL.md
只读
名称
implement
描述
执行一个从 bead 或调用者意图出发的有界 RED 到 GREEN 实验；返回派生的主体身份并核对事实。触发词：“implement”、“implement this bead”、“run the experiment”。完整的从计划到验证的请求路由到 rpi。
实现
执行由已解析的 bead 或调用者意图描述的恰好一个有界实验。实现负责主体编辑和事实证据。它不会创建第二个计划记录或模型编写的候选包。
工作流
- 从现有来源读取意图、验收标准和范围。运行时可以自动快照并哈希该来源以进行漂移检测。
- 在改变行为之前运行声明的第一个验收检查。RED-first 仅适用于验收是行为性的：保留检查因预期缺失行为而失败的证据。移动、文档合并和纯重构不需要失败检查仪式——而是记录一个诚实的变更前绿色基线。
- 进行满足活动行为的最小范围内更改。
- 运行针对性的验收检查并捕获事实结果。
- 仅在检查保持绿色时进行重构。重构不会改变验收测试。
- 让运行时从前后主体派生实际更改的路径和
subject-manifest.v1。不要让模型转录这些事实。 - 在响应或运行时通道中返回清单摘要、作者上下文 ID 和精确的检查回执。停止。
诸如标准、领域、测试、重构和安全等专家可以提供建议。它们绝不是硬依赖，也不能增加生命周期权限。
证据比例原则
在编辑期间，运行能够证伪活动更改的最小确定性检查。当主题和工具身份仍然匹配时，重用精确输入回执。在集成边界运行昂贵的完整套件检查，或者仅在意图明确将其作为第一个验收检查时提前运行。在每次聚焦编辑后重复运行完整套件会增加延迟，而不是证明。
范围冲突规则
当发现声明写入范围之外的更改的实时消费者——断言旧路径的测试、生成的孪生、读取移动文件的闸门——停止并向调用者报告确切的文件和行。不要静默扩展范围以吸收它或从实现中修改意图。调用者可以修改源意图并启动单独的调用。
在声明 GREEN 之前，自我审计差异中的模拟、占位符、TODO 存根、硬编码的固定值、弱化的断言、重新生成的金标准、放宽的容差、抑制指令或替代真实行为的规范编辑。当差异更改测试、闸门、固定值、金标准或验收源时，说明原始意图为何需要该更改，并确认绿色来自已实现的行为而不是弱化的预言机。通过替代或弱化的预言机通过的检查不是验收标准的证据；要么完成行为，要么报告为未构建。
边界
- 不提交、推送、声明、关闭、发布、落地、保留、重试或调用语义验证器。
- 不静默扩展验收。不同的验收契约是调用者单独启动的新意图。
- 失败的检查是给调用者的证据，而不是创建包或验证循环的许可。
