[P2] 占位方案(used_core_num=0)可被 evaluate 判为可行并给出正常时延：recommend"无方案"与 evaluate"可行"矛盾 #18

New Issue

admin · 2026-09-03T13:03:56Z

admin commented

2026-09-03 13:03:56 +00:00

K=1 且 B<128 的占位方案（router._no_plan: used_core_num=0, timing=None, advice="[无方案]"）若被用户拿去 evaluate：约束校验走 AIV 分支只查 used_core_num>aiv_num（0 通过），特殊分支 evaluate 照常计算 → feasible=True、t_total=10.49us、给出正常 advice。与 #5 整改消除的"生成/评估结论矛盾"同类，只是换到了占位路径（复评报告 v3.0 §3.2/R3）。
期望：constraints 增加 used_core_num<1 的通用违规（占位/无效方案不可评估），evaluate 对占位方案判 infeasible；补回归测试。

K=1 且 B<128 的占位方案（router._no_plan: used_core_num=0, timing=None, advice="[无方案]"）若被用户拿去 evaluate：约束校验走 AIV 分支只查 used_core_num>aiv_num（0 通过），特殊分支 evaluate 照常计算 → feasible=True、t_total=10.49us、给出正常 advice。与 #5 整改消除的"生成/评估结论矛盾"同类，只是换到了占位路径（复评报告 v3.0 §3.2/R3）。期望：constraints 增加 used_core_num<1 的通用违规（占位/无效方案不可评估），evaluate 对占位方案判 infeasible；补回归测试。

admin commented

2026-09-03 13:10:25 +00:00

【修复说明 · 乱码重写】原评论提交时编码损坏、内容不可恢复, 以下按 git 记录 / issue 正文 / 残留文本重建 (要点级, 非逐字原稿):

[P2] 占位方案 (used_core_num=0) 被 evaluate 判可行并给正常时延已修复 (commit 9afe6ee):

constraints.check_plan_constraints: used_core_num < 1 直接判 "占位/未生成方案, 不可评估";
evaluate 侧输出 feasible=False + violations 明细, 不再产生伪时延/伪建议;
回归 test_issue18_placeholder_plan_infeasible_in_evaluate。

【修复说明 · 乱码重写】原评论提交时编码损坏、内容不可恢复, 以下按 git 记录 / issue 正文 / 残留文本重建 (要点级, 非逐字原稿): [P2] 占位方案 (used_core_num=0) 被 evaluate 判可行并给正常时延已修复 (commit 9afe6ee): - constraints.check_plan_constraints: used_core_num < 1 直接判 "占位/未生成方案, 不可评估"; - evaluate 侧输出 feasible=False + violations 明细, 不再产生伪时延/伪建议; - 回归 test_issue18_placeholder_plan_infeasible_in_evaluate。

admin closed this issue

2026-09-03 13:10:25 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: admin/matmul-analysis#18