[confirmed]Intervention Pact AI never casts it.

[Aswan jaguar]

Describe the Bug:
1- AI attacked with Needle Spires animated and when it dealt damage I cast Intervention Pact I selected damage card and as a result only the first 2 damage from double strike were prevented not the whole 4 damage is this correct?Does "the next time" clause in it's rules text separates the double strike in 2 different timings so correctly prevents only the first strike damage? or just a problem of not selecting the source but the damage card produced.correct
2- AI never cast it in numerous games to save itself.
Which card did behave improperly ?
Intervention Pact

Which update are you using?(date,name)Which type(Duel,Gauntlet,Sealed Deck)
Manalink 2016/08/27: Eldritch Moon v2, duel

What exactly should be the correct behavior/interaction ?
2- AI casts it.
Are any other cards possibly affected by this bug ?
-

[Korath]

That's correct; creatures with double strike deal damage twice, not once for double the damage. Rule 510.4. Same reason an unblocked Markov Blademaster triggers twice.

[Aswan jaguar]

I also had this error when I prevented with Intervention Pact damage made by Sawtooth Loon.

error | Open

Event Type: Error
Event Source: Application Error
Event Category: None
Event ID: 1000
Date: 28/10/2016
Time: 10:23:53 πμ
User: N/A
Computer: ASWAN_JAGUAR
Description:
Faulting application magic.exe, version 7.0.0.0, faulting module magic.exe, version 7.0.0.0, fault address 0x00076b58.

For more information, see Help and Support Center at http://go.microsoft.com/fwlink/events.asp.
Data:
0000: 41 70 70 6c 69 63 61 74 Applicat
0008: 69 6f 6e 20 46 61 69 6c ion Fail
0010: 75 72 65 20 20 6d 61 67 ure mag
0018: 69 63 2e 65 78 65 20 37 ic.exe 7
0020: 2e 30 2e 30 2e 30 20 69 .0.0.0 i
0028: 6e 20 6d 61 67 69 63 2e n magic.
0030: 65 78 65 20 37 2e 30 2e exe 7.0.
0038: 30 2e 30 20 61 74 20 6f 0.0 at o
0040: 66 66 73 65 74 20 30 30 ffset 00
0048: 30 37 36 62 35 38 0d 0a 076b58..