[P0] StockLevel 对齐决赛：COUNT(DISTINCT) 联表最近 20 单

[Kosthi]

父任务 / 依赖

• Epic: 【Epic】对齐 2026 决赛测评规范（Wire Protocol + 排名负载 + 正确性） #4
• 依赖: EXEC_STREAM（BATCH 路径可后置，但最终须上 prepared 单条聚合）

背景

决赛新增：StockLevel 必须原生 COUNT(DISTINCT …)，客户端固定发送单条联表查询，禁止客户端去重/拆分。

当前 src/transaction/stock_level.rs：

SELECT COUNT(s_i_id) FROM stock WHERE s_w_id = ? AND s_quantity < ?

语义错误（无订单窗口、无 DISTINCT、无联表）。

目标逻辑（标识符可替换）

SELECT COUNT(DISTINCT s_i_id)
FROM order_line, stock
WHERE ol_w_id = :w_id
  AND ol_d_id = :d_id
  AND ol_o_id < :next_o_id
  AND ol_o_id >= :next_o_id - 20
  AND s_w_id = :w_id
  AND s_i_id = ol_i_id
  AND s_quantity < :threshold;

任务清单

• 事务内读取 d_next_o_id（或赛题规定的 next order 获取方式）
• 发送完整 COUNT(DISTINCT) 查询（兼容 COUNT(DISTINCT col) 与 COUNT(DISTINCT(col)) 探测可选）
• 使用正确 w_id / d_id / threshold（threshold 随机范围与 TPC-C 一致）
• BEGIN/COMMIT 边界；最终迁入 2-batch prepared 路径
• diagnose 增加 COUNT(DISTINCT) 探测项
• 修正当前未使用 d_id 的 bug（_d_id）

验收标准

• 与赛题逻辑 SQL 结果一致（可用固定小数据集手工核对）
• s_quantity < threshold（等于阈值不计入）
• 不在客户端做二次去重

参考

赛题第三章（六）