メニュー
当 Harness 处于工作追踪范围.验证中，且需要一轮限定范围的规则/治理证据收集来提供策略输入、但不输出最终关卡判定结果时，使用这个技能。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
当需要运行 Harness 分层闭环控制系统时，使用这个技能。它是 Codex 中顶层监督控制器的入口，负责状态估计、算子选择、技能绑定、子代理分派、证据收集、裁决与状态更新，而不是直接执行编码。
当 Harness 系统尚未初始化，或 `.servo/goal-charter.md` 不存在，需要初始化 repo 级 Goal Charter 与 Harness 控制面时，使用这个技能。
当 Harness 处于 WorktrackScope.closing，且需要一轮限定范围的收尾处理来处理合并请求、合并、清理与代码仓库刷新交接，同时不能悄悄越过审批边界时，使用这个技能。
当 Harness 处于 WorktrackScope.dispatching，且需要一轮不扩大范围的限定范围分派来选择专用技能或执行载体时，使用这个技能。
当 Harness 处于 WorktrackScope.judging，且需要基于现有证据完成一轮限定范围关卡判定，而不重新执行工作或刷新代码仓库状态时，使用这个技能。
当 Harness 处于工作追踪范围.验证中，且需要一轮限定范围的审查证据流程来收集并综合审查发现、但不输出最终关卡判定结果时，使用这个技能。
| name | worktrack-rule-check-skill |
| description | 当 Harness 处于工作追踪范围.验证中，且需要一轮限定范围的规则/治理证据收集来提供策略输入、但不输出最终关卡判定结果时，使用这个技能。 |
本技能实现 WorktrackScope.Verify 算子的 policy lane（策略校验面），对应 Harness 控制回路中的收集证据阶段。它负责收集规则与治理维度的证据，为 worktrack-gate-skill 的 policy-gate 提供输入。它与 worktrack-review-evidence-skill（implementation lane）和 worktrack-test-evidence-skill（validation lane）共同构成 Verify 的三个正交校验面。
当 Harness 已经有一个活动中的 工作追踪，并需要在 工作追踪范围.验证中 中完成一轮限定范围 规则检查 时，使用这个技能。
这个技能会把当前规则/治理检查封装成一个限定范围的 通用高能力模型 子代理 任务，收集面向策略的证据，并返回供后续关卡使用的结构化交接结果，而不是自己裁决最终 策略关卡。
当需要收集本轮的规则/治理证据时，使用这个技能：
关卡证据 收集路径、结构、文档同步与边界证据Harness工作追踪范围 与治理产物。通用高能力模型 子代理 构建一份 规则检查任务简报 和一份 规则检查信息包。规则检查报告 加一份 策略证据交接。每次运行这个技能时，都使用同一套限定范围约定格式。
触发条件目标工作追踪节点类型适用 gate_criteria变更表面范围内范围外约束必需检查完成信号当前工作追踪状态节点策略相关差异已变更产物参与中的治理规则可用验证结果已知风险所需上下文开放问题策略证据项违规或缺口必需同步项推迟检查审查指令建议后续跟进遵循本包内最小公共约束 C-1 至 C-8：C-1 只在声明的 Scope/Function 内操作；C-2 只有授权的 SetGoal/ChangeGoal/Close/Refresh 路径可变更控制状态，其余技能返回结构化输出；C-3 先生成完整报告再提取 Control Signal，重复上下文用 artifact 引用，空字段用 N/A；C-4 不跨越 Observe/Decide/Init/Dispatch/Verify/Judge/Recover/Close 的角色边界；C-5 只消费已批准上游产物，不凭空发明验收或恢复标准；C-6 缺失证据必须显式暴露，不能当作成功；C-7 保持限定范围，避免不必要的全仓重发现。
必需同步项 中；隐藏同步义务的行为必须返回 blocked。使用这个技能时，产出一份至少包含以下章节的 规则检查报告：
规则检查触发条件规则层面评估已运行或已检查项已收集策略证据违规与缺口推迟或不适用检查返回 Harness结果中至少应包含以下字段或等价表达：
子代理模型工作追踪变更表面已运行检查已通过检查策略证据项已发现违规缺失证据必需同步项推迟检查已准备好进入关卡输入建议后续跟进如何审查使用当前差异表面、治理产物，以及具体规则检查所需的最小额外任务或相邻系统上下文。