القائمة
执行基于 SHMEM 的算子正确性契约验证并生成报告。关键词：基于SHMEM正确性验证、correctness、测试执行、精度验证。
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
根据 design.md 生成基于 SHMEM 的算子代码、CMake、README 和目录结构。关键词：基于SHMEM代码生成、算子实现、code-gen、kernel、CMake。
基于 SHMEM 的算子实现与设计一致性走读，生成 review-report.md。关键词：基于SHMEM代码走读、code review、design review、一致性检查、走读。
编译、运行和调试基于 SHMEM 的算子。关键词：基于SHMEM编译调试、compile、debug、build、运行、失败定位。
基于 SHMEM 设计通信算子与通算融合算子，将需求转化为 design.md。关键词：基于SHMEM算子设计、算子设计、设计文档、design、Canonical DSL、capability mapping。
基于 SHMEM 的通信算子与通算融合算子端到端开发编排器，串联需求→设计→代码→编译→验证→性能全流程。关键词：基于SHMEM算子开发、端到端开发、算子开发、编排、工作流、通信算子、通算融合。
基于 SHMEM 的算子性能采集、baseline 对比、瓶颈分析和性能报告生成。关键词：基于SHMEM性能评估、性能采集、performance、baseline、bandwidth、性能报告。
| name | shmem-ops-correctness-eval |
| description | 执行基于 SHMEM 的算子正确性契约验证并生成报告。关键词：基于SHMEM正确性验证、correctness、测试执行、精度验证。 |
Skill类型：验证型（执行测试、分类失败、输出报告）
中文写作要求：正确性验证报告必须使用中文撰写。仅 API 名称、代码片段、Case ID 等技术术语保留英文原文。
按 shmem-ops-testcase-gen 生成的 case matrix 执行正确性验证。运行和失败定位由 shmem-ops-compile-debug 完成，本 skill 负责结果判定和报告。
| 文件 | 用途 |
|---|---|
| ../shmem-ops-testcase-gen/references/correctness.md | golden 构造策略（§4）、invariant→test 映射（§6） |
| ../shmem-ops-testcase-gen/references/precision-standard.md | 精度标准——OpTypes 分类、rtol/atol 取值、双统计判定 |
| references/GUIDE.md | 本 skill 参考索引 |
| ../shmem-ops-compile-debug/references/debug.md | 运行失败、init、全 0 输出定位 |
shmem-ops-testcase-gen）scripts/run.sh（来自 shmem-ops-testcase-gen）shmem-ops-compile-debug）步骤 1 执行 case matrix 中的全部 case
步骤 2 收集每个 case 的结果（PASS/FAIL）
步骤 3 失败分类
步骤 4 验证 correctness invariants
步骤 5 输出报告
执行顺序：
收集每个 case 的执行结果（PASS/FAIL），汇总为结果表。
| 类型 | 处理 |
|---|---|
| design bug | 回 shmem-ops-design |
| code bug | 回 shmem-ops-code-gen |
| test bug | 修正 testcase-gen 产出 |
| environment | 记录阻塞（由编排器 shmem-ops-dev 记录，不回退到 compile-debug） |
必须验证或显式标记未验证：
正确性验证报告必须写入算子目录 docs/correctness_report.md。报告必须列出 case matrix 中的全部 case，不得省略。此报告将被 shmem-ops-code-review 完整引用到走读报告中。
| 指标 | 值 |
|---|---|
| 总用例数 | |
| 通过数 | |
| 失败数 | |
| 通过率 | % |
| 阻塞（未执行）数 |
| Case ID | category | scale | n_pes | shape | dtype | Result | MaxAE | MaxRE | 备注 |
|---|---|---|---|---|---|---|---|---|---|
| smoke_2pe_fp16 | functional | XS | 2 | ... | fp16 | PASS | 0.0 | 0.0 | |
| ... | ... | ... | ... | ... | ... | ... | ... | ... | ... |
| Invariant | 验证方式 | 结果 | 说明 |
|---|---|---|---|
| ... | ... | PASS/FAIL/未验证 |
未验证 invariants 必须标注原因。
docs/correctness_report.md进入后续阶段前必须满足以下全部条件：
门控判定：
shmem-ops-code-review（Phase 5）interim 走读 PASS → 若 meta.torch_required: true 进入 Phase 5.5；否则若 performance_required: true 进入 Phase 6，否则 Phase 7performance_auto_optim: true → 编排器 MUST 自动 Phase 6.5；performance_auto_optim: false → 仅报告，禁止擅自优化shmem-ops-performance-eval