[PTO 0.58.5.1] 退休 TileOp 仍被直接 lower 为 TEPL selector

[zhoubot]

问题概述

PTO-SPEC main@c71674802cad2f5db45a195b878a9bd05993b3d7 已通过
edcbd8b9c6da
退休以下软件可替代的直接 Tile 操作：

• TQUANT / TDEQUANT
• THISTOGRAM
• TSORT / TMRGSORT
• TCONCAT / TEXTRACT / TINSERT

但 TileOP API linx@f8fb8943a9f4d469c2ecd95c24086e158e63cbd8
仍把这些 C++ API 直接 lower 成旧 BSTART.TEPL selector。这样生成的 ELF
不再属于当前 PTO-SPEC 接受的指令集合。

代码证据

include/jcore/template_asm.hpp 当前仍包含：

THISTOGRAM  -> BSTART.TEPL 104
TCONCAT     -> BSTART.TEPL 96
TEXTRACT    -> BSTART.TEPL 98
TINSERT     -> BSTART.TEPL 99
TQUANT      -> BSTART.TEPL 106
TDEQUANT    -> BSTART.TEPL 107
TSORT       -> BSTART.TEPL 108
TMRGSORT    -> BSTART.TEPL 109

示例复核命令：

rg -n 'BSTART\.TEPL (96|98|99|104|106|107|108|109)' include/jcore/template_asm.hpp

根因分类

这是 TileOP API lowering 与 PTO 指令目录不同步，不是模型应通过放宽检查兼容的旧 ISA。
高层 C++ API 名称可以作为便利接口继续存在，但不能继续生成已退休的直接 selector。

建议 owner

• TileOP API include/jcore/template_asm.hpp / lowering 维护者
• 与 SuperScalarModel ISA decode、SuperNPUBench corpus 维护者联动

最小修复方向

1. 对仍有价值的高层 API，改成 PTO-SPEC 指定的基础操作软件序列。
2. 暂无可审计替代序列的接口，编译期 fail-closed，并给出迁移诊断。
3. 不要在 LLVM 或模型中重新启用已退休 selector 来维持旧 ELF。
4. 更新文档，区分“高层便利 API”与“直接 PTO 指令”。

验收条件

• 编译每个受影响 API 的最小样例并反汇编；不得出现上述退休 selector。
• 增加 source/assembly guard，防止这些 BSTART.TEPL 直接形式回归。
• make check 完整通过，而不只是 template_asm.hpp 的两个 contract tests。
• 用新 API 重建对应 SuperNPUBench 用例，并由 gfrun/gfsim 对同一 ELF 做结果验证。

关联：

• PTO-SPEC retirement: PTO-ISA/pto-spec@edcbd8b
• SuperScalarModel tracking: https://github.com/LinxISA/SuperScalarModel/issues/478
• SuperNPUBench corpus: [PTO 0.58.5] Rebuild ops corpus as 0xE9 ELF and publish one sidecar per case PTO-ISA/SuperNPUBench#99

[zhoubot]

2026-09-06：完整 gate 已在退休 TMRGSORT 文档检查处失败

当前 linx@05662833bd7bf71420b15b8f7ba8727a4569e897：

make check

首个失败为：

FAIL: TMRGSORT physical-shape contract must be documented

根因不是缺少一段应补回的 active 文档，而是 tools/check_issue_49_docs.py
仍把已退休的 TMRGSORT 当作必需直接指令。该检查还把全部 Markdown 拼接后只判断：

"TMRGSORT" in text and "physical columns" in text

旧 PASS 可以由两个不相关页面分别提供这两个字符串，不能证明 TMRGSORT 页面真的闭环。
PR #61 修改其他文档后移除了偶然命中的英文短语，从而暴露该 gate 缺陷。

请在本 issue 的 retirement 修复中同步：

1. 删除/替换 retired TMRGSORT 的旧 Doc-8 positive requirement；
2. 增加退休 selector 不得由 API 直接发出的 negative guard；
3. 文档检查必须绑定具体页面/接口，不能在全局拼接文本上做松散字符串组合；
4. 修复首个失败后继续处理 [docs] TileOP-API v0.58 文档缺陷汇总（看护 15 项） #49 已记录的三个 row-reduction 过期示例；
5. 将完整 make check 纳入 required CI。

关联：#49

[zhoubot]

2026-09-07 当前 HEAD 复测：required gate 绿，但完整 make check 仍红

版本：

Linx-TileOP-API linx = d3f8e472b08f311b4cd58b100edbcf6a67ba3351

完整执行：

make check

仍首先失败于：

FAIL: TMRGSORT physical-shape contract must be documented

绕过该过期 retirement 文档检查后，以下非文档 gate 均通过：

• test_v058_engine_contract.py: 36/36
• test_pto0585_layout_interfaces.py: 3/3
• 两个 host C++ syntax gate

但 check_tileop_usage_examples.py 仍有 TROWMAX/TROWMIN/TROWPROD 三个旧 32x32 + ValidCol=1
示例编译失败。

因此 PR #68/#69 的 required gate 绿色不能升级为完整 API gate 通过。请优先把本 issue 的退休 selector
negative guard和 #49 的示例修复纳入 required workflow；否则后续自动合入仍会允许 make check 红的提交。

[zhoubot]

2026-09-08：14 个 API 合入后完整 gate 仍在同一 retirement 检查失败

从昨日 d3f8e47 到当前 331a091 已连续合入 groupM、per-dimension lowering、layout、TIMG2COL、
InternalAcc 尝试/回退和 RedRows 修复；required gate 均为绿色。

但隔离执行：

make check

仍首先失败：

FAIL: TMRGSORT physical-shape contract must be documented

因此 required workflow 持续允许“主分支 make check 为红”的自动合入。请把 retirement gate 修复和
完整 make check 接入 required workflow 作为 #60 的最高优先级子项，否则后续绿色状态仍不可用于发布/联调判定。

关联文档失败继续由 #49 跟踪。