Sisyphus Protocol scored, re-encountering Konjin after Arruaceiras Crew trashes ICE bug

[QuestiusII]

Hi, I forgot to use /bug during the game in which it occurred, but I will describe it here to the best of my ability. It is simple to reproduce.

Cards: Arruaceiras Crew, Konjin, Sisyphus Protocol, Saisentan

1. Situation: Corp has scored a Sisyphus Protocol one turn ago. During the next Runner's turn, the Runner runs Server 1. Konjin is in Server 1 Position 1. During the Psi-Game encounter ability, the Runner spends 0 credits, and the Corp spends 2 credits. Corp forces the Runner to encounter Saisentan in Server 2 Position 0. Runner uses the first ability of Arruaceiras Crew to tag themselves and reduce Saisentag to 0 strength. Runner uses the second ability of Arruaceiras Crew to trash Arruaceiras Crew and trash Saisentan.

2. Bug: After Saisentan is trashed, the Runner encounters Konjin again. There is no usual pop-up asking the Corp how they would like to pay for Sisyphus Protocol. Instead, Konjin is encountered and the Psi-Game encounter ability triggers again.

3. Outcome: Runner and Corp communicate, and both bet 0 credits on the second Konjin Psi-Game encounter ability. Runner then encounters Tatu-Bola in Server 1 Position 0. Runner breaks Tatu-Bola using Audrey v2 and successfully breaches the server. Run completes without incident and there are no further bugs.

My Guess: Though Sisyphus Protocol is not explicitly part of this interaction, I think it is part of the bug. My guess is that Jnet encounters an issue when trying to resolve the interaction of re-encountering a trashed Sentry or Code Gate via Konjin. Regardless, the big point is that in no instance should Konjin be encountered again (except against Rielle 'Kit' Peddler when Konjin is made into a Code Gate).

Big fan of all your work on Jnet, thanks so much for keeping an integral part of the Netrunner community alive.