环境

• 硬件：Ascend 910B2（Atlas A2 系列，单卡）；CANN 9.2.0（npu-smi 26.1.1）
• 算子仓版本：cann/ops-math master d04d2af9（git fetch 后 git rev-parse HEAD 取得）
• 资料文件：math/floor_div/docs/aclnnFloorDivide&aclnnInplaceFloorDivide.md（共 17030 字符）

现象

资料 aclnnInplaceFloorDivideGetWorkspaceSize 的参数表里，selfRef 的「使用说明」只写：

数据类型需要与other满足数据类型推导规则（参见互推导关系），shape需要与other满足broadcast关系。

但原地接口实际上还要求 selfRef 的 shape 恰好等于 selfRef 与 other 广播之后的 shape，
否则第一段返回 161002。这句话资料里没有。按资料字面构造的合法用例
（selfRef=[1,3]、other=[2,3]，二者可广播）在两段式第一段就被拒。

## 约束说明 一节只写了「确定性计算：默认确定性实现」与「FLOAT16/BFLOAT16 精度有限」，
也没有涉及原地写回的 shape 约束。

复现步骤

1. 进入算子仓根目录（math/floor_div/docs/ 的上级）；
2. 保存下方脚本为 doc_assert_broadcast.py；
3. IFD_DOC=math/floor_div/docs/aclnnFloorDivide&aclnnInplaceFloorDivide.md python3 doc_assert_broadcast.py
4. 观察退出码与输出（1 + [DEFECT] 表示资料缺该声明）。

复现脚本

import io, os, re, sys

PATH = os.environ.get("IFD_DOC",
                      "math/floor_div/docs/aclnnFloorDivide&aclnnInplaceFloorDivide.md")
text = io.open(PATH, encoding="utf-8", errors="replace").read()
m = re.search(r"## aclnnInplaceFloorDivideGetWorkspaceSize(.*?)(?=\n## )", text, re.S)
sect = m.group(1) if m else ""
flat = re.sub(r"<[^>]+>", "", sect)          # 表格单元格里有 <a href=...>
assert "selfRef" in flat and "broadcast" in flat, "资料措辞已变，需人工复核"
assert re.search(r"shape\s*需要与\s*other\s*满足", flat), "找不到广播关系声明"

pats = [r"selfRef[^。]{0,80}(等于|一致|相同)[^。]{0,40}(广播|broadcast)",
        r"selfRef[^。]{0,80}(广播|broadcast)[^。]{0,40}(之后|后)[^。]{0,20}(形状|shape)[^。]{0,20}(等于|一致)",
        r"(原地|原地写回|inplace)[^。]{0,60}(形状|shape)[^。]{0,30}(等于|一致)[^。]{0,30}(广播|broadcast)",
        r"(广播|broadcast)[^。]{0,30}(结果|后)[^。]{0,30}(存储|写回|容纳)[^。]{0,40}selfRef"]
hit = [mm.group(0) for p in pats for mm in re.finditer(p, text, re.S)]
if hit:
    print("[OK] 资料已声明原地约束：%s" % hit[0].replace("\n", " ")[:80])
    sys.exit(0)
print("[DEFECT] 资料未声明「原地接口要求 selfRef 的 shape 恰等于广播结果」，"
      "而实现按此校验（selfRef=[1,3]/other=[2,3] 第一段返回 161002）")
sys.exit(1)

实测输出：

[DEFECT] 资料未声明「原地接口要求 selfRef 的 shape 恰等于广播结果」，而实现按此校验（selfRef=[1,3]/other=[2,3] 第一段返回 161002）
$ echo $?
1

上板补充证据（C++ 两段式直调，同仓 op_api 校验链）：

selfRef=fp32[1x3] other=fp32[2x3]  ->  GetWorkspaceSize=161002
selfRef=fp32[2x3] other=fp32[1x3]  ->  GetWorkspaceSize=0（正常）
selfRef=fp32[3]   other=fp32[2x3]  ->  GetWorkspaceSize=161002

期望

在 selfRef 的「使用说明」列（或 ## 约束说明）补一句，例如：

原地接口要求 selfRef 的 shape 等于 selfRef 与 other 广播之后的 shape；若广播结果比
selfRef 大，第一段返回 161002。

这样调用方才能从资料判断「我能广播到更大形状吗」。

影响

• 首次集成即被拦：用户按资料把 [1,3] 与 [2,3] 组合（资料允许的广播关系）传进来，
  第一段直接 161002，而资料没有任何一句能解释原因。
• 错误码表只写「selfRef和other的shape无法做broadcast」——本用例的 shape 可以广播，
  报错文案与真实原因不符，进一步增加排障成本。

建议

1. 参数表 selfRef 行补上述约束（最省事的落点）；
2. 或在 ## 约束说明 增一条「原地接口的 shape 约束」；
3. 顺带修正报错文案：CheckInplace() 里该分支的 OP_LOGE 用的是
   ACLNN_ERR_PARAM_NULLPTR（math/floor_div/op_api/aclnn_floor_divide.cpp:388 附近），
   plog 会打印「空指针」而返回码是 161002，与本条资料缺陷同源，建议一并澄清。