Run phase 3.2: trashed or derezzed ice

By instinctive, in Android: Netrunner Rules Questions

FAQ 1.2: 3.2 Resolve all subroutines not broken on the encountered ice.

Question: if the ice is (a) trashed or (b) derezzed during this phase, do as-yet unresolved subroutines continue to resolve?

Examples:

Sensei > Data Mine

Sensei > Cell Portal

Thanks.

since subroutines must trigger in order, even though they can be broken in any order, I lean towards that they would not, in fact, end the run, because they would already be trashed/derezzed by the time the subroutine tried to go off.

When a piece of ice is trashed or derezzed via a subroutine effect, it becomes immediately inactive, so no further subroutines resolve.

I see where you are coming from, but I don't see it in the rules or FAQ.

In terms of argument "by theme," it is a possible interpretation that all unbroken subroutines are already "out on the net," on their way to the runner, so the fate of the ice is irrelevant after phase 3.1 is passed.

I could believe that the literal interpretation of the timing structure of a run implies that they do continue to resolve, since they are "unbroken subroutines." Nowhere is a dependence on the original ice stated, unless I am overlooking it?

The rulebook pages 16 and 18 (ice and runs) uses the same language: unbroken subroutines resolve.

I looked for an interpretation by Lukas for this case and couldn't find it.

Regarding your argument of the subroutines already being 'on the net', I dispute that postulation based on the fact the rules state that unbroken subroutines resolve ONE BY ONE (p.16). Ergo, you do 1 net damage and trash data mine - date mine trashes and becomes inactive, remaining subroutines do not fire.

Same for Cell Portal de-rezzing - it becomes inactive, remaining subroutines do not resolve as the card is no longer active for the remaining subroutines to be able to resolve.

Thank you Saturnine, that exactly answers the question.

Commissar, yes, I saw that interpretation, which turns out to be true, but I wanted a definitive ruling. Thanks for answering!