Skip to content

Harness honesty: an empty recv after RST, not a quiet-window expiry - #16

Merged
HackTuah merged 19 commits into
mainfrom
slice/006-harness-honesty
Sep 8, 2026
Merged

HackTuah merged 19 commits into
mainfrom
slice/006-harness-honesty

Bind round 4's verdicts to the tree they were re-read against

d3a9891
Select commit
Loading
Failed to load commit list.