القائمة
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 记录到位。