现象

aclnnTopkV2 的 sorted=false 被接受（两段返回 0），且输出仍是有序的；而资料明确写「当前该参数仅支持取 True」。

资料 math/topk/docs/aclnnTopkV2.md L128（sorted 使用说明）原文：
True表示输出结果排序，False表示输出结果不排序。注意：当前该参数仅支持取True。

期望

两种收法任选其一，但不能保持现状（声明"仅支持 True"却接受 False 且静默按 True 处理）：① 第一段对 sorted=false 返回 161002，与"仅支持取 True"的声明一致；② 或在资料里写明「sorted=false 当前等价于 true」，把这层退化关系说清楚。

环境

• 硬件：Atlas A2（910B2），npu-smi 26.1.1，aarch64
• CANN：9.2.0，g++ 11.4.0，glibc 2.35
• 仓库与提交：cann/ops-math 584b2ea6
• 复现日期：2026-10-25

复现步骤

1. 保存下方代码为 repro.cpp
2. source $ASCEND_HOME_PATH/set_env.sh
3. g++ -std=c++17 -O2 repro.cpp -o repro -I$ASCEND_HOME_PATH/include -L$ASCEND_HOME_PATH/lib64 -Wl,-rpath,$ASCEND_HOME_PATH/lib64 -Wl,--allow-shlib-undefined -lascendcl -lopapi -lnnopbase
4. REPRO_DEVICE=1 ./repro（0 号 die 非健康时换健康 die 编号）
5. 对比两组：sorted=false 与 sorted=true 的返回码与 values 完全相同

复现脚本

// aclnnTopkV2: doc says "sorted 当前仅支持取 True", but sorted=false is accepted
// (both stages return 0) and the result is still sorted.
// Control group: sorted=true -> 0/0.
#include <cstdio>
#include <cstdlib>
#include <vector>
#include "acl/acl.h"
#include "aclnnop/aclnn_topk.h"

static aclTensor* Mk(std::vector<int64_t> sh, aclDataType dt, void* dev) {
    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(), dev);
}

static int Run(bool sorted, void* self, void* val, void* idx) {
    aclTensor* ts = Mk({4, 8}, ACL_FLOAT, self);
    aclTensor* tv = Mk({4, 3}, ACL_FLOAT, val);
    aclTensor* ti = Mk({4, 3}, ACL_INT64, idx);
    uint64_t ws = 0;
    aclOpExecutor* ex = nullptr;
    int r = (int)aclnnTopkV2GetWorkspaceSize(ts, 3, 1, true, sorted, 0, tv, ti, &ws, &ex);
    printf("  sorted=%-5s -> phase1=%d", sorted ? "true" : "false", r);
    if (r == 0) {
        void* p = nullptr;
        if (ws > 0) aclrtMalloc(&p, ws, ACL_MEM_MALLOC_HUGE_FIRST);
        int r2 = (int)aclnnTopkV2(p, ws, ex, nullptr);
        aclError sr = aclrtSynchronizeStream(nullptr);
        float out[3] = {0, 0, 0};
        aclrtMemcpy(out, 12, val, 12, ACL_MEMCPY_DEVICE_TO_HOST);
        printf("  phase2=%d sync=%d  row0 values=%.0f %.0f %.0f\n", r2, (int)sr,
               out[0], out[1], out[2]);
        if (p) aclrtFree(p);
    } else {
        printf("\n");
    }
    aclDestroyTensor(ts); aclDestroyTensor(tv); aclDestroyTensor(ti);
    return r;
}

int main() {
    int dev = getenv("REPRO_DEVICE") ? atoi(getenv("REPRO_DEVICE")) : 0;
    aclInit(nullptr);
    aclrtSetDevice(dev);

    void *self = nullptr, *val = nullptr, *idx = nullptr;
    aclrtMalloc(&self, 128, ACL_MEM_MALLOC_HUGE_FIRST);
    aclrtMalloc(&val, 48, ACL_MEM_MALLOC_HUGE_FIRST);
    aclrtMalloc(&idx, 96, ACL_MEM_MALLOC_HUGE_FIRST);
    float host[32];
    for (int r = 0; r < 4; ++r) {
        float row[8] = {9, 3, 7, 3, 1, 8, 2, 5};
        for (int c = 0; c < 8; ++c) host[r * 8 + c] = row[c];
    }
    aclrtMemcpy(self, 128, host, 128, ACL_MEMCPY_HOST_TO_DEVICE);

    printf("[1] control: sorted=true\n");
    Run(true, self, val, idx);
    printf("[2] defect : sorted=false (doc: only true is supported)\n");
    Run(false, self, val, idx);

    aclrtFree(self); aclrtFree(val); aclrtFree(idx);
    aclrtResetDevice(dev);
    aclFinalize();
    return 0;
}

实测输出：

[1] control: sorted=true
  sorted=true  -> phase1=0  phase2=0 sync=0  row0 values=9 8 7
[2] defect : sorted=false (doc: only true is supported)
  sorted=false -> phase1=0  phase2=0 sync=0  row0 values=9 8 7

影响

从 torch.topk(..., sorted=False) 迁过来的代码会按"不排序"的语义使用结果（只取集合、依赖原始出现顺序做后续 gather），实际拿到有序结果；返回码是 0，偏差不会在调用点暴露，只能靠下游数值异常反推。

建议

优先按①在第一段拒绝（math/topk/op_api/aclnn_topk.cpp 的 CheckParamValid 里对 sorted == false 返回 161002），与同文件已有 dim/k 越界检查放在一起；若产品上确需支持 sorted=false，按②改资料并写明退化语义。