You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
test: accept a proven pre-read stop in the rejected-order receiver oracle #46
Activity
JavaZeroo commentedon Oct 26, 2026
已由 #43 合入仅用于 rejected-order 的判定修正:只有严格空输入、预期协议拒绝、stop/join/等待和全部共同无错误条件均成立时,才接受首读前停止(reads/completed=0,取消尝试但无待取消读取,1168)。正常 receiver 的读取与成功取消门槛保留,C++、负载和期限未改。
原记录与 fresh 再次出现的零读记录均形成同字节旧判定失败、新判定通过;已进入读取的对照两版均通过。12 项纯测试含 22 字段反例与非空/正常场景负例,原 workflow 模块 14/14 通过,4 host/16 native case 均 Job0。公开证据保留原完整回归失败及二进制身份。
本问题与 #44 的 controller 正常结束后 cmd 退出缺口没有已证明的共同根因,#44 保持 OPEN。