AAlice_zhoufeat: 白盒检查技能（压测第一步）+ 错误码不符不判问题不提单不记录——新增 skills/whitebox-attr-check 技能（whitebox_attr_check.py 静态对照 ops-* 源码核验 attr 类参数，退出码 0/2/3，3=白盒不可检跳过不阻塞）：①attr dtype 一致性——md 参数表 dtype vs 代码定义类型（op_api 头文件 GetWorkspaceSize 形参 C++ 类型 + op_host def.cpp this->Attr().Int/Float/Bool 声明，DOUBLE vs GE 内部 float 存储降级低风险提示）；②值域校验层级（md 有取值约束但校验仅位于 tiling/kernel——错误码层级类按平台规则不作为发现输出，该检测仅用于区分 VALIDATION_MISSING）；③int64→int32 窄化截断扫描（static_cast<int32_t>/int32_t 赋值/非 int64 底层枚举强转/atoi）；④校验缺失（md 有值域约束但开源无校验，需黑盒 attr64 注入交叉复核）/隐藏值域检查（md 无约束但代码有检查）。三 issue 实证可白盒前置发现：#550 aclnnCrossEntropyLoss ignoreIndex→SILENT_TRUNCATION（cross_entropy_loss_full_load.h:701 int64→int32 截断即 kernel aicore 根因）、#549 aclnnAddRmsNormQuant axis→VALIDATION_MISSING（md 仅支持-1 开源无校验）、#386 aclnnApplyRotaryPosEmbV2 layout→值域校验下沉 tiling 层（561xxx）。AGENTS.md 集成：白盒检查专章（压测第一步，4 类检查表+5 类发现 Analyst 复核方向+强制规则，发现不直接判 bug 与黑盒互证合并提单）+Step 1W 流程块（约束推导后、样例测试前，1W-1 运行脚本/1W-2 复核发现/1W-3 归档 whitebox_report 幂等）+S63 规则+14 处"样例测试=压测第一步"改序（样例测试→压测第二步，白盒检查之后、先于一切 fuzz 压测）+frontmatter skills 列表/描述+能做什么/高风险 2 条/AnalystRunner 职责表/目录结构 whitebox_report 产物+runner 子代理同步（Step 1W 执行+白盒发现移交复核）。
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
feat: 白盒检查技能（压测第一步）+ 错误码不符不判问题不提单不记录——新增 skills/whitebox-attr-check 技能（whitebox_attr_check.py 静态对照 ops-* 源码核验 attr 类参数，退出码 0/2/3，3=白盒不可检跳过不阻塞）：①attr dtype 一致性——md 参数表 dtype vs 代码定义类型（op_api 头文件 GetWorkspaceSize 形参 C++ 类型 + op_host def.cpp this->Attr().Int/Float/Bool 声明，DOUBLE vs GE 内部 float 存储降级低风险提示）；②值域校验层级（md 有取值约束但校验仅位于 tiling/kernel——错误码层级类按平台规则不作为发现输出，该检测仅用于区分 VALIDATION_MISSING）；③int64→int32 窄化截断扫描（static_cast<int32_t>/int32_t 赋值/非 int64 底层枚举强转/atoi）；④校验缺失（md 有值域约束但开源无校验，需黑盒 attr64 注入交叉复核）/隐藏值域检查（md 无约束但代码有检查）。三 issue 实证可白盒前置发现：#550 aclnnCrossEntropyLoss ignoreIndex→SILENT_TRUNCATION（cross_entropy_loss_full_load.h:701 int64→int32 截断即 kernel aicore 根因）、#549 aclnnAddRmsNormQuant axis→VALIDATION_MISSING（md 仅支持-1 开源无校验）、#386 aclnnApplyRotaryPosEmbV2 layout→值域校验下沉 tiling 层（561xxx）。AGENTS.md 集成：白盒检查专章（压测第一步，4 类检查表+5 类发现 Analyst 复核方向+强制规则，发现不直接判 bug 与黑盒互证合并提单）+Step 1W 流程块（约束推导后、样例测试前，1W-1 运行脚本/1W-2 复核发现/1W-3 归档 whitebox_report 幂等）+S63 规则+14 处"样例测试=压测第一步"改序（样例测试→压测第二步，白盒检查之后、先于一切 fuzz 压测）+frontmatter skills 列表/描述+能做什么/高风险 2 条/AnalystRunner 职责表/目录结构 whitebox_report 产物+runner 子代理同步（Step 1W 执行+白盒发现移交复核）。 错误码不符规则变更（平台规则：错误码不正确不判定为问题、不提单、不记录，该类用例视为约束已触发与 match=YES 同等对待，不进清单/统计/报告）：analyze_bug_verdict.py——错误码不符 case 直接跳过不再产出条目（is_bug 判定链路移除，纯错误码不符场景判定"不是bug（异常用例均触发约束被拒绝）"（verify_total>0 且 unexpected_success==0 分支替代原 match_no==0 分支），意外成功/进程core 判定不变；fake log 端到端实测：无 ERROR_PROBLEM 行、判定建议不是bug、exit 0）；file_bug_issues.py——提单分派跳过错误码不符类（SKIP 日志"不提单（不判定为问题、不记录；新数据不再产出该类条目）"，对旧格式 error_problems.json 同样跳过），--check 完整性检查预期单数=意外成功合并1单+core逐个（错误码不符不计入），cm 合并提单块成死代码保留；AGENTS.md——bug 三态判定树错误码不符分支改"不是bug（不提单、不记录——视为约束已触发不进任何清单/统计/报告）"、异常场景判定表行/不是bug 词表新增"错误码不符不判问题"标准理由、S52/S56 提单规则同步、报告错误码校验结果表不再统计错误码不符、xlsx 三态定义从是bug清单移除、辅助脚本描述/逐问题提单粒度/去重键标历史遗留、代码定位排除范围更新、白盒 VALIDATION_LAYER_SINK 不再作为发现输出（专章复核表/S63/能做什么，脚本层已移除该 finding 产出，ApplyRotaryPosEmbV2 复测 exit 0 findings 0）；update_batch_results.py 三态注释、ascendc-fuzz-cpp-gen SKILL.md/error-scenario-patterns.md/gen_error_scenarios.py doc_based 描述同步（doc_based=false 场景外 unverified_records 机制保持不变）。 | 2 天前 | |
feat: 白盒检查技能（压测第一步）+ 错误码不符不判问题不提单不记录——新增 skills/whitebox-attr-check 技能（whitebox_attr_check.py 静态对照 ops-* 源码核验 attr 类参数，退出码 0/2/3，3=白盒不可检跳过不阻塞）：①attr dtype 一致性——md 参数表 dtype vs 代码定义类型（op_api 头文件 GetWorkspaceSize 形参 C++ 类型 + op_host def.cpp this->Attr().Int/Float/Bool 声明，DOUBLE vs GE 内部 float 存储降级低风险提示）；②值域校验层级（md 有取值约束但校验仅位于 tiling/kernel——错误码层级类按平台规则不作为发现输出，该检测仅用于区分 VALIDATION_MISSING）；③int64→int32 窄化截断扫描（static_cast<int32_t>/int32_t 赋值/非 int64 底层枚举强转/atoi）；④校验缺失（md 有值域约束但开源无校验，需黑盒 attr64 注入交叉复核）/隐藏值域检查（md 无约束但代码有检查）。三 issue 实证可白盒前置发现：#550 aclnnCrossEntropyLoss ignoreIndex→SILENT_TRUNCATION（cross_entropy_loss_full_load.h:701 int64→int32 截断即 kernel aicore 根因）、#549 aclnnAddRmsNormQuant axis→VALIDATION_MISSING（md 仅支持-1 开源无校验）、#386 aclnnApplyRotaryPosEmbV2 layout→值域校验下沉 tiling 层（561xxx）。AGENTS.md 集成：白盒检查专章（压测第一步，4 类检查表+5 类发现 Analyst 复核方向+强制规则，发现不直接判 bug 与黑盒互证合并提单）+Step 1W 流程块（约束推导后、样例测试前，1W-1 运行脚本/1W-2 复核发现/1W-3 归档 whitebox_report 幂等）+S63 规则+14 处"样例测试=压测第一步"改序（样例测试→压测第二步，白盒检查之后、先于一切 fuzz 压测）+frontmatter skills 列表/描述+能做什么/高风险 2 条/AnalystRunner 职责表/目录结构 whitebox_report 产物+runner 子代理同步（Step 1W 执行+白盒发现移交复核）。 错误码不符规则变更（平台规则：错误码不正确不判定为问题、不提单、不记录，该类用例视为约束已触发与 match=YES 同等对待，不进清单/统计/报告）：analyze_bug_verdict.py——错误码不符 case 直接跳过不再产出条目（is_bug 判定链路移除，纯错误码不符场景判定"不是bug（异常用例均触发约束被拒绝）"（verify_total>0 且 unexpected_success==0 分支替代原 match_no==0 分支），意外成功/进程core 判定不变；fake log 端到端实测：无 ERROR_PROBLEM 行、判定建议不是bug、exit 0）；file_bug_issues.py——提单分派跳过错误码不符类（SKIP 日志"不提单（不判定为问题、不记录；新数据不再产出该类条目）"，对旧格式 error_problems.json 同样跳过），--check 完整性检查预期单数=意外成功合并1单+core逐个（错误码不符不计入），cm 合并提单块成死代码保留；AGENTS.md——bug 三态判定树错误码不符分支改"不是bug（不提单、不记录——视为约束已触发不进任何清单/统计/报告）"、异常场景判定表行/不是bug 词表新增"错误码不符不判问题"标准理由、S52/S56 提单规则同步、报告错误码校验结果表不再统计错误码不符、xlsx 三态定义从是bug清单移除、辅助脚本描述/逐问题提单粒度/去重键标历史遗留、代码定位排除范围更新、白盒 VALIDATION_LAYER_SINK 不再作为发现输出（专章复核表/S63/能做什么，脚本层已移除该 finding 产出，ApplyRotaryPosEmbV2 复测 exit 0 findings 0）；update_batch_results.py 三态注释、ascendc-fuzz-cpp-gen SKILL.md/error-scenario-patterns.md/gen_error_scenarios.py doc_based 描述同步（doc_based=false 场景外 unverified_records 机制保持不变）。 | 2 天前 |