main

Rrrrrcaofix(framework): 非连续张量构造 F1 缺陷修复（按 stride/offset 写入+全存储初始化）+ 生成器/分析器批次修复

0c8d993cAdd on 1 day agoHistory

Files	Last commit	Last update
aclnnAdd.cpp	update	3 months ago
check_error_msg_match.py	update	2 months ago
check_tiling_precheck.py	update	2 months ago
dtype_promotion.py	feat: 互推导关系+broadcast 关系解析生成 + experimental 目录全面排除——新增 dtype_promotion.py（deduction_relationship.md 两张推导表机器化：Tensor×Tensor/Tensor×Scalar，× 组合非法）；st_to_fuzz_config.py 解析 05 yaml inferable/broadcast_shape 约束并预计算合法 dtype 组合（× 剔除/out=推导结果）与 broadcast 映射；gen_fuzz_cpp.py 互推导组联合枚举（promo 组合表+per-tensor {t}Dtype，禁止组内独立变异）+ broadcast shape 生成（输入逐维置1/输出逐维 max），tiling 冲突时组合优先；11 个资料检索点强制排除 experimental 目录（md 定位/样例提取/tiling 源码/责任仓/一致性校验等，仅 experimental 接口视为无资料不可测）；AGENTS.md 新增 S57/S58 约束+Step 1c 提取规则+find 命令排除+SKILL.md/fuzz-cpp-spec 6.7 文档	11 days ago
fix_data_sensitive_cpp.py	update	2 months ago
fix_gen_fuzz_cpp.py	update	2 months ago
gen_error_cpp.py	tools: open issue代码级复核脚本修正+189汇总重建工具链(同轮配套)	1 day ago
gen_error_scenarios.py	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 机制保持不变）。	3 days ago
gen_fuzz_cpp.py	fix(framework): 非连续张量构造 F1 缺陷修复（按 stride/offset 写入+全存储初始化）+ 生成器/分析器批次修复 核心修复——turing_sec/aclnnAPI_fuzz/inc/utils/utils.h CreateAclTensorByScene（issue #575 开发复核确认根因）: - 原缺陷仅将 hostData 连续拷贝到存储前部，未按 stride/offset 写入逻辑元素、未初始化剩余存储—— SLICE/BROADCAST 等非连续视图读取未初始化垃圾值（如 expandedRowIdx view[128]/stride[2]/storage[256] 逻辑元素 64~127 读垃圾索引进 kernel），引发大规模虚假 aicore_error（VEC/SCALAR UB 越界） - 修复：全存储以 hostData[0] 初始化 + 按实际 stride/offset 将逻辑元素写入物理位置 + 标准连续 布局快路径（offset==0 且 strides 为 row-major 时等价直接拷贝） - 复测定谢（Ascend 950 / CANN 9.3.0）：aclnnMoeFinalizeRoutingV3 non_contig 全量 10000 条 修复前 1519 成功/8197 次同步失败/全进程 aivec → 修复后 9767 成功/0 同步失败/0 aicore； aclnnSituMxQuant multithread 5000 条 4910 成功/0 aicore。issue #575/#576/#582 按开发复核 结论改判不是bug并关闭 生成器修复——skills/ascendc-fuzz-cpp-gen: - gen_non_contig_from_normal.py：①GetNonContigSceneName 幂等判断改为定义级检查（调用点先插入导致 定义被跳过→未声明编译错）②FUZZ_LOG/FUZZ_RESULT 新格式 CPP 幂等化（已有打印仅改 plog 名不再 重复插入）③re.sub 替换串转义修复（\n 被解释为真实换行破坏 C 字符串，改 lambda）④新增 parse_md_contig_tensors + --api_doc：md「非连续Tensor」列 × 的 tensor 保持连续构造（S21） - st_to_fuzz_config.py：constraints None 容错；aclTensorList 类型传递 tensorlists 名单 - gen_fuzz_cpp.py：_is_tensorlist_param 优先查 config tensorlists 名单（防名字含 list 的普通 tensor 误判，如 FfnWorkerBatching groupList）；F6 同步失败计数（aclrtSynchronizeStream 失败 写 aclnnRet 计入失败，防 host 全成功漏报异步 aicore） - gen_tiling_key_coverage.py：op_api 定位双回退（op_host/op_api 嵌套目录 + GetWorkspaceSize 符号 grep 共用实现文件，如 rrelu_with_noise 同时实现两个 API） - verify_error_scenarios.py：format=ND 的 tensor 豁免 C1 场景（ND 通用布局无 format 违反可测， 与 gen_error_scenarios 规则对齐） 分析器/提单修复——scripts: - analyze_bug_verdict.py：error 场景 core 误判双重门禁修复（优雅完成证据集 Scenario 摘要/GWS ret/ FUZZ_VERIFY + 进程完整结束信号；此前 GWS 拒绝场景 FUZZ_RESULT 写入场景重定向文件被误判为崩溃， 产生 6 个虚假 core issue 已复核关闭） - file_bug_issues.py：附件链接改用 GitCode 仓 blob URL（看板 URL 不可达）；issue 标题加 [迭代加固]； 附件打包相对路径修复 + 空 zip 拦截（此前上传 9 个 0 字节空附件）	1 day ago
gen_non_contig_from_normal.py	fix(framework): 非连续张量构造 F1 缺陷修复（按 stride/offset 写入+全存储初始化）+ 生成器/分析器批次修复 核心修复——turing_sec/aclnnAPI_fuzz/inc/utils/utils.h CreateAclTensorByScene（issue #575 开发复核确认根因）: - 原缺陷仅将 hostData 连续拷贝到存储前部，未按 stride/offset 写入逻辑元素、未初始化剩余存储—— SLICE/BROADCAST 等非连续视图读取未初始化垃圾值（如 expandedRowIdx view[128]/stride[2]/storage[256] 逻辑元素 64~127 读垃圾索引进 kernel），引发大规模虚假 aicore_error（VEC/SCALAR UB 越界） - 修复：全存储以 hostData[0] 初始化 + 按实际 stride/offset 将逻辑元素写入物理位置 + 标准连续 布局快路径（offset==0 且 strides 为 row-major 时等价直接拷贝） - 复测定谢（Ascend 950 / CANN 9.3.0）：aclnnMoeFinalizeRoutingV3 non_contig 全量 10000 条 修复前 1519 成功/8197 次同步失败/全进程 aivec → 修复后 9767 成功/0 同步失败/0 aicore； aclnnSituMxQuant multithread 5000 条 4910 成功/0 aicore。issue #575/#576/#582 按开发复核 结论改判不是bug并关闭 生成器修复——skills/ascendc-fuzz-cpp-gen: - gen_non_contig_from_normal.py：①GetNonContigSceneName 幂等判断改为定义级检查（调用点先插入导致 定义被跳过→未声明编译错）②FUZZ_LOG/FUZZ_RESULT 新格式 CPP 幂等化（已有打印仅改 plog 名不再 重复插入）③re.sub 替换串转义修复（\n 被解释为真实换行破坏 C 字符串，改 lambda）④新增 parse_md_contig_tensors + --api_doc：md「非连续Tensor」列 × 的 tensor 保持连续构造（S21） - st_to_fuzz_config.py：constraints None 容错；aclTensorList 类型传递 tensorlists 名单 - gen_fuzz_cpp.py：_is_tensorlist_param 优先查 config tensorlists 名单（防名字含 list 的普通 tensor 误判，如 FfnWorkerBatching groupList）；F6 同步失败计数（aclrtSynchronizeStream 失败 写 aclnnRet 计入失败，防 host 全成功漏报异步 aicore） - gen_tiling_key_coverage.py：op_api 定位双回退（op_host/op_api 嵌套目录 + GetWorkspaceSize 符号 grep 共用实现文件，如 rrelu_with_noise 同时实现两个 API） - verify_error_scenarios.py：format=ND 的 tensor 豁免 C1 场景（ND 通用布局无 format 违反可测， 与 gen_error_scenarios 规则对齐） 分析器/提单修复——scripts: - analyze_bug_verdict.py：error 场景 core 误判双重门禁修复（优雅完成证据集 Scenario 摘要/GWS ret/ FUZZ_VERIFY + 进程完整结束信号；此前 GWS 拒绝场景 FUZZ_RESULT 写入场景重定向文件被误判为崩溃， 产生 6 个虚假 core issue 已复核关闭） - file_bug_issues.py：附件链接改用 GitCode 仓 blob URL（看板 URL 不可达）；issue 标题加 [迭代加固]； 附件打包相对路径修复 + 空 zip 拦截（此前上传 9 个 0 字节空附件）	1 day ago
gen_tiling_key_coverage.py	fix(framework): 非连续张量构造 F1 缺陷修复（按 stride/offset 写入+全存储初始化）+ 生成器/分析器批次修复 核心修复——turing_sec/aclnnAPI_fuzz/inc/utils/utils.h CreateAclTensorByScene（issue #575 开发复核确认根因）: - 原缺陷仅将 hostData 连续拷贝到存储前部，未按 stride/offset 写入逻辑元素、未初始化剩余存储—— SLICE/BROADCAST 等非连续视图读取未初始化垃圾值（如 expandedRowIdx view[128]/stride[2]/storage[256] 逻辑元素 64~127 读垃圾索引进 kernel），引发大规模虚假 aicore_error（VEC/SCALAR UB 越界） - 修复：全存储以 hostData[0] 初始化 + 按实际 stride/offset 将逻辑元素写入物理位置 + 标准连续 布局快路径（offset==0 且 strides 为 row-major 时等价直接拷贝） - 复测定谢（Ascend 950 / CANN 9.3.0）：aclnnMoeFinalizeRoutingV3 non_contig 全量 10000 条 修复前 1519 成功/8197 次同步失败/全进程 aivec → 修复后 9767 成功/0 同步失败/0 aicore； aclnnSituMxQuant multithread 5000 条 4910 成功/0 aicore。issue #575/#576/#582 按开发复核 结论改判不是bug并关闭 生成器修复——skills/ascendc-fuzz-cpp-gen: - gen_non_contig_from_normal.py：①GetNonContigSceneName 幂等判断改为定义级检查（调用点先插入导致 定义被跳过→未声明编译错）②FUZZ_LOG/FUZZ_RESULT 新格式 CPP 幂等化（已有打印仅改 plog 名不再 重复插入）③re.sub 替换串转义修复（\n 被解释为真实换行破坏 C 字符串，改 lambda）④新增 parse_md_contig_tensors + --api_doc：md「非连续Tensor」列 × 的 tensor 保持连续构造（S21） - st_to_fuzz_config.py：constraints None 容错；aclTensorList 类型传递 tensorlists 名单 - gen_fuzz_cpp.py：_is_tensorlist_param 优先查 config tensorlists 名单（防名字含 list 的普通 tensor 误判，如 FfnWorkerBatching groupList）；F6 同步失败计数（aclrtSynchronizeStream 失败 写 aclnnRet 计入失败，防 host 全成功漏报异步 aicore） - gen_tiling_key_coverage.py：op_api 定位双回退（op_host/op_api 嵌套目录 + GetWorkspaceSize 符号 grep 共用实现文件，如 rrelu_with_noise 同时实现两个 API） - verify_error_scenarios.py：format=ND 的 tensor 豁免 C1 场景（ND 通用布局无 format 违反可测， 与 gen_error_scenarios 规则对齐） 分析器/提单修复——scripts: - analyze_bug_verdict.py：error 场景 core 误判双重门禁修复（优雅完成证据集 Scenario 摘要/GWS ret/ FUZZ_VERIFY + 进程完整结束信号；此前 GWS 拒绝场景 FUZZ_RESULT 写入场景重定向文件被误判为崩溃， 产生 6 个虚假 core issue 已复核关闭） - file_bug_issues.py：附件链接改用 GitCode 仓 blob URL（看板 URL 不可达）；issue 标题加 [迭代加固]； 附件打包相对路径修复 + 空 zip 拦截（此前上传 9 个 0 字节空附件）	1 day ago
st_to_fuzz_config.py	fix(framework): 非连续张量构造 F1 缺陷修复（按 stride/offset 写入+全存储初始化）+ 生成器/分析器批次修复 核心修复——turing_sec/aclnnAPI_fuzz/inc/utils/utils.h CreateAclTensorByScene（issue #575 开发复核确认根因）: - 原缺陷仅将 hostData 连续拷贝到存储前部，未按 stride/offset 写入逻辑元素、未初始化剩余存储—— SLICE/BROADCAST 等非连续视图读取未初始化垃圾值（如 expandedRowIdx view[128]/stride[2]/storage[256] 逻辑元素 64~127 读垃圾索引进 kernel），引发大规模虚假 aicore_error（VEC/SCALAR UB 越界） - 修复：全存储以 hostData[0] 初始化 + 按实际 stride/offset 将逻辑元素写入物理位置 + 标准连续 布局快路径（offset==0 且 strides 为 row-major 时等价直接拷贝） - 复测定谢（Ascend 950 / CANN 9.3.0）：aclnnMoeFinalizeRoutingV3 non_contig 全量 10000 条 修复前 1519 成功/8197 次同步失败/全进程 aivec → 修复后 9767 成功/0 同步失败/0 aicore； aclnnSituMxQuant multithread 5000 条 4910 成功/0 aicore。issue #575/#576/#582 按开发复核 结论改判不是bug并关闭 生成器修复——skills/ascendc-fuzz-cpp-gen: - gen_non_contig_from_normal.py：①GetNonContigSceneName 幂等判断改为定义级检查（调用点先插入导致 定义被跳过→未声明编译错）②FUZZ_LOG/FUZZ_RESULT 新格式 CPP 幂等化（已有打印仅改 plog 名不再 重复插入）③re.sub 替换串转义修复（\n 被解释为真实换行破坏 C 字符串，改 lambda）④新增 parse_md_contig_tensors + --api_doc：md「非连续Tensor」列 × 的 tensor 保持连续构造（S21） - st_to_fuzz_config.py：constraints None 容错；aclTensorList 类型传递 tensorlists 名单 - gen_fuzz_cpp.py：_is_tensorlist_param 优先查 config tensorlists 名单（防名字含 list 的普通 tensor 误判，如 FfnWorkerBatching groupList）；F6 同步失败计数（aclrtSynchronizeStream 失败 写 aclnnRet 计入失败，防 host 全成功漏报异步 aicore） - gen_tiling_key_coverage.py：op_api 定位双回退（op_host/op_api 嵌套目录 + GetWorkspaceSize 符号 grep 共用实现文件，如 rrelu_with_noise 同时实现两个 API） - verify_error_scenarios.py：format=ND 的 tensor 豁免 C1 场景（ND 通用布局无 format 违反可测， 与 gen_error_scenarios 规则对齐） 分析器/提单修复——scripts: - analyze_bug_verdict.py：error 场景 core 误判双重门禁修复（优雅完成证据集 Scenario 摘要/GWS ret/ FUZZ_VERIFY + 进程完整结束信号；此前 GWS 拒绝场景 FUZZ_RESULT 写入场景重定向文件被误判为崩溃， 产生 6 个虚假 core issue 已复核关闭） - file_bug_issues.py：附件链接改用 GitCode 仓 blob URL（看板 URL 不可达）；issue 标题加 [迭代加固]； 附件打包相对路径修复 + 空 zip 拦截（此前上传 9 个 0 字节空附件）	1 day ago
verify_data_sensitive_cpp.py	update	2 months ago
verify_error_messages.py	feat: doc_based错误码校验+提单仓硬性路由+未约束scalar dtype最大值边界测试——error错误码校验严格按资料描述场景执行（gen_error_scenarios.py自动标注doc_based：md错误码表格/03 yaml error_codes明确记载=资料描述场景参与match校验与意外成功/错误码不符判定，场景外打印match=SKIP记入unverified_records不校验不提单，根除历史2659处错误码不符误报；gen_error_cpp/verify_error_messages/analyze_bug_verdict/file_bug_issues全链路同步，旧格式日志经error_scenarios.yaml标注兜底）；issue严禁提cann/ops-*仓（file_bug_issues assert_issue_target_allowed硬性拦截，非长尾问题统一提Alice_zhou/issue，find_owner_repo/issue_tracker.example.json路由同步）；AGENTS.md新增未约束Attr/Scalar dtype最大值边界测试专章+S60+十处集成（资料无值域要求的scalar/attr构造dtype max定向用例+组合max用例，打印[FUZZ_BOUNDARY]并纳入覆盖度统计，被拦截/异常六情形bug判定表：资料无约束+反向检查通过=是bug合法值被拒提单、复核发现隐含约束=不是bug、存疑=需要人工确认、执行异常/aicore/core=是bug提单、OOM=资源类、inf/nan=浮点边界正常行为，是bug按CANN bug豁免路径即时提单）；一致性转换CreateListF tensor list fail-fast+旧格式hash_mismatch统计修复（ISSUE-20）；看板成功率着色阈值95→90对齐90%门禁；新增out_res/算子aclnn接口映射.xlsx参考表（41算子→aclnn接口映射）	4 days ago
verify_error_scenarios.py	fix(framework): 非连续张量构造 F1 缺陷修复（按 stride/offset 写入+全存储初始化）+ 生成器/分析器批次修复 核心修复——turing_sec/aclnnAPI_fuzz/inc/utils/utils.h CreateAclTensorByScene（issue #575 开发复核确认根因）: - 原缺陷仅将 hostData 连续拷贝到存储前部，未按 stride/offset 写入逻辑元素、未初始化剩余存储—— SLICE/BROADCAST 等非连续视图读取未初始化垃圾值（如 expandedRowIdx view[128]/stride[2]/storage[256] 逻辑元素 64~127 读垃圾索引进 kernel），引发大规模虚假 aicore_error（VEC/SCALAR UB 越界） - 修复：全存储以 hostData[0] 初始化 + 按实际 stride/offset 将逻辑元素写入物理位置 + 标准连续 布局快路径（offset==0 且 strides 为 row-major 时等价直接拷贝） - 复测定谢（Ascend 950 / CANN 9.3.0）：aclnnMoeFinalizeRoutingV3 non_contig 全量 10000 条 修复前 1519 成功/8197 次同步失败/全进程 aivec → 修复后 9767 成功/0 同步失败/0 aicore； aclnnSituMxQuant multithread 5000 条 4910 成功/0 aicore。issue #575/#576/#582 按开发复核 结论改判不是bug并关闭 生成器修复——skills/ascendc-fuzz-cpp-gen: - gen_non_contig_from_normal.py：①GetNonContigSceneName 幂等判断改为定义级检查（调用点先插入导致 定义被跳过→未声明编译错）②FUZZ_LOG/FUZZ_RESULT 新格式 CPP 幂等化（已有打印仅改 plog 名不再 重复插入）③re.sub 替换串转义修复（\n 被解释为真实换行破坏 C 字符串，改 lambda）④新增 parse_md_contig_tensors + --api_doc：md「非连续Tensor」列 × 的 tensor 保持连续构造（S21） - st_to_fuzz_config.py：constraints None 容错；aclTensorList 类型传递 tensorlists 名单 - gen_fuzz_cpp.py：_is_tensorlist_param 优先查 config tensorlists 名单（防名字含 list 的普通 tensor 误判，如 FfnWorkerBatching groupList）；F6 同步失败计数（aclrtSynchronizeStream 失败 写 aclnnRet 计入失败，防 host 全成功漏报异步 aicore） - gen_tiling_key_coverage.py：op_api 定位双回退（op_host/op_api 嵌套目录 + GetWorkspaceSize 符号 grep 共用实现文件，如 rrelu_with_noise 同时实现两个 API） - verify_error_scenarios.py：format=ND 的 tensor 豁免 C1 场景（ND 通用布局无 format 违反可测， 与 gen_error_scenarios 规则对齐） 分析器/提单修复——scripts: - analyze_bug_verdict.py：error 场景 core 误判双重门禁修复（优雅完成证据集 Scenario 摘要/GWS ret/ FUZZ_VERIFY + 进程完整结束信号；此前 GWS 拒绝场景 FUZZ_RESULT 写入场景重定向文件被误判为崩溃， 产生 6 个虚假 core issue 已复核关闭） - file_bug_issues.py：附件链接改用 GitCode 仓 blob URL（看板 URL 不可达）；issue 标题加 [迭代加固]； 附件打包相对路径修复 + 空 zip 拦截（此前上传 9 个 0 字节空附件）	1 day ago
verify_tiling_hit.py	update	2 months ago