[TileOP API] TROWSUM assembly emits stale B.ASSEMBLE ParentSize encoding

[jiale-wangOwO]

ASL-authoritative diagnosis

Current pto-spec/main 2486822e includes pto-spec#265 (cbd64442): B.ASSEMBLE field 5 is WriterSizeCode, not ParentSizeCode. INIT takes parent capacity from the preceding allocating B.IOT.SizeCode; MIDDLE/LAST uses the final source-form Local B.IOT as one ParentRef. Every participating Local writer needs WriterSizeCode 1..10.

The supplied ELF (SHA-256 2f244a87c4e2961dcf345679d07bc55a6100c855a57d0413d195471d72923836) has only 0x00059053 and 0x00059853: both are INIT=0 with WriterSizeCode=0, and there is no INIT=1 B.ASSEMBLE. It is therefore ASL-invalid.

Required TileOP fix

• TROWSUM(range::assemble<INIT>): emit allocating source-plus-destination B.IOT with parent capacity, then contiguous B.ASSEMBLE INIT with nonzero WriterSizeCode.
• TROWSUM_ASS: retain its final source-form ParentRef carrier, but encode the nonzero fragment WriterSizeCode instead of stale ParentSizeCode.
• Add a compile plus disassembly regression for INIT, MIDDLE, and LAST.

For the #144 FP32 [32,1] fragments, WriterSizeCode is 1. gfrun supports the corrected Local ParentRef form in https://github.com/LinxISA/SuperScalarModel/pull/677. No PTO ASL change is requested.

[VV0003]

已核实并在 PR #151 修复。

判定

报告属实。当前 TileOP 的 reduction _ASS（含 TROWSUM_ASS）在
range::assemble carrier 上发射的 B.ASSEMBLE 第 5 字段编码的是过时的
ParentSizeCode（continuation 时为 0），与 pto-spec main（#265，
cbd64442）的 WriterSizeCode 合同冲突；issue 中的 ELF
（0x00059053/0x00059853，INIT=0 且 WriterSizeCode=0）确为 ASL-invalid。

ISA 依据

/tmp/pto-spec-current pto-spec main：

• asl/block/operands/B.ASSEMBLE.asl（PTO-BLOCK-B-ASSEMBLE）：
  • field 5 = WriterSizeCode（当前 writer extent）；
  • "Participating INIT, MIDDLE, and LAST writers require a legal nonzero
    WriterSizeCode"；
  • Local WriterSizeCode 合法值 1..10；raw 13..15 reserved；
  • INIT 父容量来自前一个 allocating destination binder 的 SizeCode；
    Local continuation 由 final source-form binder 承载 ParentRef。

修复（PR #151）

1. plain TROWSUM：INIT carrier 上新增 contiguous
   B.ASSEMBLE 1, LAST, RegSrc, uimm11, WriterSizeCode，destination
   B.IOT 携带父容量；
2. TROWSUM_ASS 及同族 reduction _ASS：destination-only
   B.ASSEMBLE 第 5 字段由 ParentSizeCode 改为当前 fragment 的
   WriterSizeCode（由 fragment 字节容量编译期推导，非零）；
3. 合同测试与 TROWSUM.md 文档同步更新。

实测

# INIT_LAST producer（fragment 128B，父 512B）
BSTART.TEPL TROWSUM, FP32
B.IOT      t#1, mask=1111, last, ->t<256B>
B.ASSEMBLE 1, 0, zero, 0, 1

# INIT + LAST 多 slot
B.ASSEMBLE 1, 0, zero, 0, 3
B.ASSEMBLE 0, 1, zero, 2, 3

llvm-mc round-trip 通过；test_v058_engine_contract 52/52、
test_pto0585_layout_interfaces 3/3 通过。

后续建议

• FP32 [32,1] fragment 的 WriterSizeCode=1，与 issue 预期一致；
  gfrun 侧请配合 SuperScalarModel#677 的 Local ParentRef 形式验证。
• 未做 PTO ASL 变更（与 issue 结论一致）。

[VV0003]

更正：本修复初版（PR #151 首个 commit）误带入一份过时工作树头文件，相对 linx 误删了 ~330 行（atomic RMW gather/scatter 等家族）。已在发现后立即 rebase 到最新 linx（8e7a6b9）并 force-push 更正；现 PR diff 仅含 TROWSUM/TROWSUM_ASS 的 WriterSizeCode 修复（2 文件，+63/-3），不存在任何接口删除。请以 force-push 后的 4dea84e 为准。