现象

aclnnMoeTokenPermuteGrad 的 numTopk 是 int64_t 标量参数（不是 tensor 取值），
资料只写了上界 numTopk <= 512，未写下界。实测在形状完全合法的前提下只改这个标量：

numTopk = -1 不只是「没拒」，还被 tiling 静默改写成 1：

moe_token_permute_grad_tiling.cpp:129
    param.input.topK = topK == -1 ? 1 : topK;
moe_token_permute_grad_tiling.cpp:130
    param.input.tokensNum = safeDiv(param.input.totalLength, param.input.topK);

numTopk = -3 不走这条分支，safeDiv(32, -3) 得负 tokensNum，SetBlockDim 拿到负值 → 核异常。

环境

A2 910B2；CANN 9.2.0；cann/ops-transformer master 92d0f9c2。

期望

numTopk 是标量参数，host 侧一次比较即可校验，没有性能理由不做。
建议：

1. numTopk < 1 时返回 ACLNN_ERR_PARAM_INVALID / 161002（与 numTopk = 0 现状一致）；
2. 资料补上明确的取值范围下界（如「取值范围 [1, 512]」），避免调用方误以为负数有特殊语义
   （-1 被当成「自动推断」这类约定若不写进资料，就只能靠读源码猜）。

复现步骤

1. 保存下面的 r.cpp。
2. 编译：g++ -std=c++17 r.cpp -o r -I$ASCEND_HOME_PATH/include -L$ASCEND_HOME_PATH/lib64 -lascendcl -lnnopbase -lopapi
3. 运行：./r 0

复现脚本

// aclnnMoeTokenPermuteGrad numTopk 标量非法值复核（编译/运行见「复现步骤」）
#include <cstdio>
#include <cstdlib>
#include <vector>
#include "acl/acl.h"
#include "aclnnop/aclnn_moe_token_permute_grad.h"
static aclTensor *mk(const std::vector<int64_t> &sh, aclDataType dt, void *dv) {
    std::vector<int64_t> st(sh.size(), 1);
    for (int i = (int)sh.size() - 2; i >= 0; --i) st[i] = sh[i + 1] * st[i + 1];
    return aclCreateTensor(sh.data(), sh.size(), dt, st.data(), 0, ACL_FORMAT_ND,
                           sh.data(), sh.size(), dv);
}
int main(int argc, char **argv) {
    aclInit(nullptr); aclrtSetDevice(argc > 1 ? atoi(argv[1]) : 0);
    aclrtStream s = nullptr; aclrtCreateStream(&s);
    // 形状固定（等价 example 的 tokens=8, topK=4）：sortedIndices dim0 = 32, hidden = 16
    const int TOTAL = 32, H = 16;
    std::vector<int64_t> gs{TOTAL, H}, is{TOTAL}, os{TOTAL, H};
    size_t bg = (size_t)TOTAL * H * 4, bi = (size_t)TOTAL * 4;
    void *dg, *di, *dout;
    aclrtMalloc(&dg, bg, ACL_MEM_MALLOC_HUGE_FIRST); aclrtMalloc(&di, bi, ACL_MEM_MALLOC_HUGE_FIRST);
    aclrtMalloc(&dout, bg, ACL_MEM_MALLOC_HUGE_FIRST);
    std::vector<float> hg(TOTAL * H, 1.f);
    std::vector<int> hi(TOTAL);
    for (int i = 0; i < TOTAL; ++i) hi[i] = i;   // 合法排列
    aclrtMemcpy(dg, bg, hg.data(), bg, ACL_MEMCPY_HOST_TO_DEVICE);
    aclrtMemcpy(di, bi, hi.data(), bi, ACL_MEMCPY_HOST_TO_DEVICE);
    aclTensor *tg = mk(gs, ACL_FLOAT, dg), *ti = mk(is, ACL_INT32, di);
    aclTensor *to = mk(os, ACL_FLOAT, dout);
    const long long ks[5] = {4, 1, 0, -1, -3};
    for (int k = 0; k < 5; ++k) {
        uint64_t ws = 0; aclOpExecutor *ex = nullptr;
        auto r1 = aclnnMoeTokenPermuteGradGetWorkspaceSize(tg, ti, ks[k], false, to, &ws, &ex);
        void *wp = nullptr;
        if (ws > 0) aclrtMalloc(&wp, ws, ACL_MEM_MALLOC_HUGE_FIRST);
        auto r2 = r1 == 0 ? aclnnMoeTokenPermuteGrad(wp, ws, ex, s) : -999;
        auto r3 = r1 == 0 ? aclrtSynchronizeStream(s) : -999;
        printf("numTopk=%-3lld GWS=%-6d Exec=%-6d Sync=%-6d\n", ks[k], (int)r1, (int)r2, (int)r3);
    }
    return 0;
}

实测输出（第一段全部返回 0，即从不拦）：

numTopk=4    GWS=0      Exec=0      Sync=0
numTopk=1    GWS=0      Exec=0      Sync=0
numTopk=0    GWS=0      Exec=361001 Sync=0
numTopk=-1   GWS=0      Exec=0      Sync=0
numTopk=-3   GWS=0      Exec=0      Sync=507035

影响

1. numTopk = -1 静默改语义：tiling 改写成 1，调用方以为传了「自动推断」，
   实际按 topK = 1 计算，无任何提示 —— 静默错值风险；
2. numTopk = -3 崩溃：tokensNum 为负 → SetBlockDim 负值 → vector core exception，
   污染同进程后续调用；
3. MoE 反向主链路，numTopk 常由上游配置传入，写错一个负值即踩到。

建议

1. op_api/aclnn_moe_token_permute_grad.cpp 的 CheckParams 增加 numTopk >= 1
   （标量校验零成本，放在 tiling 之前）；
2. 若 -1 确要作为「自动推断 topK」的合法语义，必须 ① 写进资料、
   ② 只认 -1 这一个哨兵值，-3 等其它负数一律拒绝；
3. 资料 aclnnMoeTokenPermuteGrad.md:114,244 的「numTopk <= 512」补上明确下界。

备注

• 本条与「tensor 取值越界不校验」是两回事：numTopk 是 int64_t 标量，host 侧一次 if
  即可，不存在打断 vector 流水的问题。阴性对照：numTopk = 0 被正确拒绝（361001），
  说明该接口确有标量校验通道，只是漏了负数分支。