Skip to content

test: accept a proven pre-read stop in the rejected-order receiver oracle #46

Closed

Description

@JavaZeroo

本地最终默认回归捕获了一条独立于 #44 的测试判定缺口:workflow_fixture 的 F2 append-before-output 负例按预期拒绝并回收,但 Python 报 receiver read join。

实际记录:direct host 退出 0,五个原生 case 均 passed;F2 generation 5 正常协议拒绝、退出 2、原始接收为 0 字节,内外 Job0、线程已 join、未超时。Receiver 在 stop 先于首个 ReadConsoleW 时,reads_entered/completed 均 0;CancelSynchronousIo 返回 ERROR_NOT_FOUND(1168),wait 成功。原生循环允许此合法停止态,Python 却强制空 raw 也至少进入一次读取并至少成功取消一次。

验收范围:仅 rejected-order 明确空输入路径允许完整证明的 pre-read stop;常规及非空读取门槛保留。先由原失败记录形成 pure red,再验证严格的状态组合及独立反例,最后重跑原 workflow_fixture。禁止跳过、扩大预算、改协议负载或把原完整回归改写为通过。

#38 的 R2 回归子项;本问题不是已证明的 #44 controller 退出根因。原始失败和运输仅本地保留,公开脱敏证据随修复提交。

Activity

  1. JavaZeroo commented on Oct 26, 2026

    @JavaZeroo
    OwnerAuthor

    已由 #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。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions