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

Commits on Sep 8, 2026

Plan slice 006 before touching any shipping code
HackTuah
committed
fee39f1
Read the Bandit harness on the protocol, not on a clock, and never verdict an empty buffer
HackTuah
committed
c6cbd72
Move the mutation harness into the repository, with no machine in its paths
HackTuah
committed
b07666c
Record slice 006: the rate, the mechanism, and a false KILLED reproduced on demand
HackTuah
committed
4cb3281
Correct the test count this slice made false, and two paths that resolve nowhere
HackTuah
committed
5822025
Close round 1: both lanes require changes, and both found the record lying about its own proof
HackTuah
committed
1793ddf
Make the mutation instrument refuse a dirty target, hold a lock, and count the repeats
HackTuah
committed
d16c8ea
Repeat only an abort, and let a clean close with no answer raise
HackTuah
committed
2f3dc04
Record round 2: the measurements, the CI archive, and an archive that ate its own evidence
HackTuah
committed
fb33d7e
Round 2 verdicts: both lanes approve, and both say they are one reader
HackTuah
committed
d598647
Bind round 2's two verdicts to the tree they were written against
HackTuah
committed
ad72c1d
Re-read the rebase delta before re-recording round 2's signoffs
HackTuah
committed
ca6e541
Round 3: re-read the rebase delta, because the signoff guard refused a stale tree
HackTuah
committed
3d48ccd
Pin round 3's trees to the commit the lanes re-read
HackTuah
committed
953d1de
Bind round 3's verdicts to the tree they were re-read against
HackTuah
committed
4a6a380
Untrack signoff/verify.txt: it is regenerated, and tracking it broke the gate
HackTuah
committed
b7871a7
Round 4: forced by the signoff guard, and a limitation of the instrument
HackTuah
committed
b3a80eb
Pin round 4's trees to the commit the lanes re-read
HackTuah
committed
7d8c111
Bind round 4's verdicts to the tree they were re-read against
HackTuah
committed
d3a9891

Navigation Menu

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

Harness honesty: an empty recv after RST, not a quiet-window expiry#16
HackTuah merged 19 commits into
mainfrom
slice/006-harness-honesty

Commits on Sep 8, 2026

Plan slice 006 before touching any shipping code

Read the Bandit harness on the protocol, not on a clock, and never verdict an empty buffer

Move the mutation harness into the repository, with no machine in its paths

Record slice 006: the rate, the mechanism, and a false KILLED reproduced on demand

Correct the test count this slice made false, and two paths that resolve nowhere

Close round 1: both lanes require changes, and both found the record lying about its own proof

Make the mutation instrument refuse a dirty target, hold a lock, and count the repeats

Repeat only an abort, and let a clean close with no answer raise

Record round 2: the measurements, the CI archive, and an archive that ate its own evidence

Round 2 verdicts: both lanes approve, and both say they are one reader

Bind round 2's two verdicts to the tree they were written against

Re-read the rebase delta before re-recording round 2's signoffs

Round 3: re-read the rebase delta, because the signoff guard refused a stale tree

Pin round 3's trees to the commit the lanes re-read

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

Untrack signoff/verify.txt: it is regenerated, and tracking it broke the gate

Round 4: forced by the signoff guard, and a limitation of the instrument

Pin round 4's trees to the commit the lanes re-read

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