So for those interested, the Israeli strike seems to have involved the following as a most likely scenario (although others are possible).
Target appears to have been the S-300 radar at the airbase at Isfahan. The site of this was struck and the unit including launchers has now been removed. It is unclear if this was before or after the strike.
The method appears to have been at least two air launched ballistic missiles, design of which doesn’t quite match anything known so likely is a specialised weapon evolved from the SPARROW series of (claimed) “target simulators”. The boosters came down in east-central Iraq; assuming they covered a good distance (but came down well short due to drag compared to the warhead) then the launch position was most likely eastern Jordan or southern Syria. Would all have been visible to US/allies.
This implies around 700nm of range from launch which is further than hitherto known, adding to the feeling that this is something we haven’t seen.
Choice of target is appropriate; an airbase for an airbase, and precisely hitting an air defence asset which either never saw the incoming projectile or failed to engage it sends a strong message that Israel can neutralise even the best air defences Iran has. Unclear if this was a stealth feature, use of jamming, or manoeuvre capability/dodging although reported explosions could indicate the battery was firing off and missing. Notably, the Iranian weapons that got through against Israel may have involved manoeuvring in the terminal phase so this is similar capability.
After the strike every air defence gunner in Iran seems to have had a good blast at anything nearby including birds, nearby mountains, clouds, the moon etc as is usual when everyone is on a hair trigger. This is the threat to aviation as we saw in 2020 outside Tehran.