One rule for FAILED, in core, that claims only what it can observe - #144

Merged

arpanghoshal merged 18 commits into

mainfrom

v0.7/2-transport

Sep 11, 2026

Commits on Sep 11, 2026

ctrlrun.transport: the NotExecuted classifier, promoted into core
arpanghoshal
committed
ed320b5
Tests for the second review round of item 2, red
arpanghoshal
committed
4c9860d
Judge the claim by the executor run, not by one connection
arpanghoshal
committed
9a317d3
Close two mutation survivors: the NO_PROXY bypass, and a datagram connect to a recorded port
arpanghoshal
committed
da016ce
Make the timed rows wait for the peer rather than for the scheduler
arpanghoshal
committed
e84a399
Tests for the third review round of item 2, red
arpanghoshal
committed
56d4c9a
A continuation leg claims nothing, and a stray thread's request is seen
arpanghoshal
committed
c084a15
Close three more mutation survivors: the open-run set, the forwarder's two marks, its proxy answer
arpanghoshal
committed
6e6d440
Say the continuation rule where the API is read, and close the run first
arpanghoshal
committed
a629665
Merge remote-tracking branch 'origin/main' into v0.7/2-transport
arpanghoshal
committed
cb890f1
G12's reused row reconnects to a port that refuses on both platforms
arpanghoshal
committed
3219cf3
Nudge CI: no workflow run was created for the previous push
arpanghoshal
committed
ff11786
Merge remote-tracking branch 'origin/main' into v0.7/2-transport
arpanghoshal
committed
69c4e87
Merge branch 'main' into v0.7/2-transport
arpanghoshal
authored
694837e
Merge remote-tracking branch 'origin/main' into v0.7/2-transport
arpanghoshal
committed
3ed7e87
G12's title fits the report table
arpanghoshal
committed
23b2f87
Merge remote-tracking branch 'origin/v0.7/2-transport' into v0.7/2-transport
arpanghoshal
committed
299adc9
A mutant that claims wherever the failure lands
arpanghoshal
committed
a2d7942

Navigation Menu

Uh oh!

One rule for FAILED, in core, that claims only what it can observe - #144

One rule for FAILED, in core, that claims only what it can observe#144
arpanghoshal merged 18 commits into
mainfrom
v0.7/2-transport

Commits on Sep 11, 2026

ctrlrun.transport: the NotExecuted classifier, promoted into core

Tests for the second review round of item 2, red

Judge the claim by the executor run, not by one connection

Close two mutation survivors: the NO_PROXY bypass, and a datagram connect to a recorded port

Make the timed rows wait for the peer rather than for the scheduler

Tests for the third review round of item 2, red

A continuation leg claims nothing, and a stray thread's request is seen

Close three more mutation survivors: the open-run set, the forwarder's two marks, its proxy answer

Say the continuation rule where the API is read, and close the run first

Merge remote-tracking branch 'origin/main' into v0.7/2-transport

G12's reused row reconnects to a port that refuses on both platforms

Nudge CI: no workflow run was created for the previous push

Merge remote-tracking branch 'origin/main' into v0.7/2-transport

Merge branch 'main' into v0.7/2-transport

Merge remote-tracking branch 'origin/main' into v0.7/2-transport

G12's title fits the report table

Merge remote-tracking branch 'origin/v0.7/2-transport' into v0.7/2-transport

A mutant that claims wherever the failure lands