Candidate manifest 616f953fe09bfc198645886bc4c7228a0fdeafa8c89b1729f2be8a5222689607 on dda7e31b0.
Owner's gate 23:11:36Z-23:15:46Z exit 0; mutants 17 of 17 killed.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
22 lines
4.3 KiB
Plaintext
22 lines
4.3 KiB
Plaintext
2026-10-15T23:06:30Z
|
|
B1-recipient KILLED | bus: a message to a running role sends no notice and its result is unchanged; no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
B2-to-human KILLED | bus: no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance
|
|
B3-to-tester KILLED | bus: no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance
|
|
B4-thread-instance KILLED | bus: no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance
|
|
B5-to-launcher KILLED | bus: no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
B6-from-launcher KILLED | bus: no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance | harness: a RESULT gets no automatic reply; failed turns reply with the reason; a failed state read fails the turn: no adapter runs, the sender hears why, the message is read; a message read a day after it was sent shows the time it was sent; a task closed on the tracker is missing from the next turn's open list; end_run and change_organization reach the broker with the tool's arguments, and refusals keep their codes; launches revoked and then restored: the turn's block reads a
|
|
B7-from-tester KILLED | bus: no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance | cli: talk --tester to a stopped role says nobody is told to launch it
|
|
B8-no-launcher KILLED | bus: a business with no launch block tells nobody and says there is no launcher | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
B9-notice-sent KILLED | bus: a message to a stopped role sends launch.by one notice, and the result says so; a re-route at a claim, a release and claim, and a broker restart send no second notice; a run launched but not yet claimed counts as no holder; the notice sender stays internal: no role is named _bus and no caller can send as it or to it | harness: the bus's launch notice is one turn with no reply, and is not taken again | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
B10-class-result KILLED | bus: a message to a stopped role sends launch.by one notice, and the result says so | harness: the bus's launch notice is one turn with no reply, and is not taken again
|
|
B11-launcher-running KILLED | bus: a message to a stopped role sends launch.by one notice, and the result says so; no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
B12-result-waiting KILLED | bus: a business with no launch block tells nobody and says there is no launcher; a message to a stopped role sends launch.by one notice, and the result says so; a run launched but not yet claimed counts as no holder; no notice for a message to launch.by, from it, from a tester, to the human, or in a thread to a thread instance | harness: the bus's launch notice is one turn with no reply, and is not taken again | cli: talk --tester to a stopped role says nobody is told to launch it; talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
C1-printed KILLED | cli: talk --tester to a stopped role says nobody is told to launch it; talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
C2-no-launch-by KILLED | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
C3-launcher-down-self KILLED | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
C4-tester-line KILLED | cli: talk --tester to a stopped role says nobody is told to launch it
|
|
C5-launcher-down-either KILLED | cli: talk says when the role isn't running, whether launch.by was told, and how to start launch.by
|
|
restored True
|
|
rc=0
|
|
2026-10-15T23:11:24Z
|