skill: 新增 changwei-code-check v1.0.0 + 同步 changwei-op-dev 最新 ## changwei-code-check(新增)—— 算子产物检查闸 107 条脚本规则 + 25 类待判题,三大类 22 子类。一句话调用: check.py --repo <仓> --ops <算子> --report r.md,四节报告 (结论 / ⏳待判定 / 执行记录 / 基线与跳过说明)。 两张表方向相反,都不能少: - docs/checklist.md —— 我**有**哪些检查项(📜107 / 🤖25) - docs/pipeline-coverage.md —— 该有的我**缺**哪些(红线+gate 共 23 项:✅17 ◐4 ❌1) 本轮新增的检查面: - 子类 5 从 1 项 → 11 项:A2 六维契约(参数个数/名字顺序、逐参数 dtype/format/ 可选性、attr 清单/类型/默认值)+ 通路对账(A2 有 A5 必须有,除融合 pass; A5 多出来 → 新增接口评审)。141 个真移植算子实测 - 子类 21 测试异常用例预判:从 aclnn 文档返回码表推出测试侧会生成的异常用例, 对账 L2 校验落点(310 算子 0 误报) - 子类 22 性能达标预判:交付件 perf CSV × 芯片对阈值,提前判哪些例会 FAIL - 子类 23 产物新鲜度(红线 R1):结果产物 vs 源码 / 部署 binary mtime - G5-pathway-leaked(A5-only 别把 aclnn 泄进 A2 包,全仓精确命中 8 个) - G6-inferdatatype-missing(输出 dtype 不被输入覆盖必须挂 InferDataType, 全仓 60 个这类算子 17 个缺)/ G6-infershape-not-registered - G4-apt-file-present / G9-op-list-entry-missing / G9-golden-not-torch - 🤖 golden-vs-formula(golden 实现 vs README 计算公式,补上 golden 三级的第三级) 工程: - checkers/registry.py 登记处:规则必须先登记再实现,Finding 构造时校验; checklist 从登记表渲染,不再解析源码——此前两次静默漏项的根因 - checkers/closure.py 扫描定义域闭包:跟 #include 走到共享目录 (scatter_max 的 tiling 委托给 scatter_reduce_common,此前一个字节没读到、 静默输出 0 条 🔴) - check.py --answers 判定回填:按 topic 绑定不用位置序号 - suppressions.json 误报白名单:why/who 必填,压掉的在报告末尾留痕 - 口径放开:报得多不怕,开发确认即可;漏报才贵。needs_human 26 → 4 - 可移植:无三方依赖;canndev/交付件根一律显式给,不猜路径; selftest 自带假仓+假 canndev,92 条规则 0 哑弹 已知边界写在 CHANGELOG,不当成全覆盖:gate8 多算子 PR 旧覆盖新未做; 功能 bug 召回 ground-truth 基线 0/4。 ## changwei-op-dev(同步) step3/step7/recurring-mistakes 三处 binary.json 相关更新 + scripts/gen_binary_json.py。 ## gnsq 实盘验证 47 条 findings;派 5 个 agent 答完待判题,判出两条真问题: - 性能按 950PR/A100 阈值 0.5 算,83/199 例(41.7%)不达标; 05 summary 用了更松的自定口径(folded G/N 均值≥1.2,等价 npu/gpu≤0.833) - 07 表 N3「-1/-2 动态 shape PASS」无任何对应用例(泛化 2881 例含 -1/-2 的行数=0), 且与 05 summary 循环引用,复核者拿不到执行结果 |