メニュー
plcopen 黄金回放与声明变更流程——diff 判定、基线升级、语料新增。Use when plcopen_core_replay_regression fails, when adding a replay scenario, or when a planner/executor change intentionally alters setpoints.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
plcopen 对抗性探测轮——系统性猎杀未声明缺陷（KB-051 方法论流程化）。Use when a milestone closes, when the maintainer questions a capability claim, or when auditing semantic parity across domains.
plcopen 提交前门禁——全量测试、RT 扫描、回放校验的准确命令与已知误报坑。Use before any commit/push in this repo, when the user says 门禁/gates, or when another skill finishes an implementation step.
plcopen 提交信息格式——angular 类型 + 中文四段正文 + KB/声明变更标注 + AI 声明。Use when committing in this repository.
plcopen 出处纪律——禁止来源清单与外部代码/文档引入规则。Use before referencing external implementations, vendoring third-party content, or writing planner/OTG/blending algorithms.
plcopen 新特性/新语义的规格先行全流程（语义矩阵 → 人批 → 测试先行 → 门禁 → 文档同步）。Use when adding any new capability, FB semantics, planner behavior, or when the user proposes a feature touching core/.
Review the changes since a fixed point (commit, branch, tag, or merge-base) along two axes — Standards (does the code follow this repo's documented coding standards?) and Spec (does the code match what the originating issue/PRD asked for?). Runs both reviews in parallel sub-agents and reports them side by side. Use when the user wants to review a branch, a PR, work-in-progress changes, or asks to "review since X".
| name | plcopen-replay-baseline |
| description | plcopen 黄金回放与声明变更流程——diff 判定、基线升级、语料新增。Use when plcopen_core_replay_regression fails, when adding a replay scenario, or when a planner/executor change intentionally alters setpoints. |
合同：未声明的语义变更 = 回放零差异。回放红只有两种出路。
plcopen_core_replay_regression 输出 diverges 时，先回答：这个输出变化
是本次变更的有意语义结果吗？
git show HEAD:<fixture> 取旧文件对比。plcopen_core_replay_regression --record testdata/replay
（注意参数顺序：--record <dir>）。--record 重写全部语料；git status 后对只有
末位 ulp 差异的文件 git checkout --（历史案例：core-group-circular
的 1e-16 末位）。只留真正变更的语料。core-group-window-arc 90→88 tick、端点逐位不变）；CHANGELOG 同记。场景函数加进 core/test/replay_regression.cpp 的 kScenarios（确定性、
无墙钟、样本 ≤4096）；--record 生成；testdata/replay/manifest.json
注册（id/path/source/coverage）；cmake -P cmake/verify_replay_fixtures.cmake
校验通过。
完成判据：回放绿 + 未涉及语料逐位不变 + KB/CHANGELOG 记录到位。