Candidate db463a7b…ab89 (5 files) on 277d1fa21. Adds the note-2 test for a thread
decision raised before row 121; mutants 6 of 6 killed after fixing the test to
supersede an open decision (first run left M6 alive, recorded). Owner's gate exit 0;
gate.sh now sets COMPOSE_PROJECT_NAME=dewey-r136 and removes its network at exit.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
10 lines
1.0 KiB
Plaintext
10 lines
1.0 KiB
Plaintext
mutants start 2026-10-15T23:44:24Z
|
|
M1-authority-thread KILLED rc=1 | ✖ REQ-DEC REQ-THREAD-1 a thread approval is consumed only by a run holding the same thread (204.911469ms) | ✖ REQ-DEC REQ-THREAD-1 a thread instance decision raised before row 121 is not consumed or superseded by any thread run (290.06368ms)
|
|
M2-supersede-role KILLED rc=1 | ✖ REQ-DEC a later run of the same instance supersedes an open decision; another instance cannot (212.837852ms)
|
|
M3-supersede-thread KILLED rc=1 | ✖ REQ-DEC REQ-THREAD-1 a thread decision is superseded only from the same thread (203.128744ms)
|
|
M4-authority-role KILLED rc=1 | ✖ REQ-DEC another instance of the same definition cannot consume an approval, and its refusal consumes nothing (161.514688ms)
|
|
M5-authority-null-any-thread KILLED rc=1 | ✖ REQ-DEC REQ-THREAD-1 a thread instance decision raised before row 121 is not consumed or superseded by any thread run (296.945458ms)
|
|
M6-supersede-null-any-thread SURVIVED rc=0 |
|
|
restored True
|
|
mutants end 2026-10-15T23:44:40Z rc=0
|