How would this resolve in the context Eliezer actually wrote it - to enforce an international treaty on AI?

Nuclear facilities in, say, Iran are targeted more or less regularly, so it's not like there's a strong international norm against this.

@BrunoParga It would resolve YES.

Probably need to specify what counts as an attack. A certain $ value of damage maybe? Just wondering if some minor vandalism as part of a protest would count or if we're just talking air strike level damage.