Amidon is great for ECE. Data seem to imply kids who score well on 3rd grade standardized testing are not at the school for 5th grade testing, so there seems to be reasons some families don’t stay for upper grades. Data also seems to suggest some IB kids without sibling preference did not get into PK last few years so yes, you do need backup plans. Thomson, Capitol Hill Montessori (you’ll want to make sure the philosophy and potential hiccups transferring from Montessori to non Montessori later is worth it), SWS, Tyler and Peabody are what I would do, in that order (mostly due to commute - I will die on the hill that ECE and most DCPS/DC charters are not markedly different). Add Appletree at the end.
You won’t get into PK OOB at Van Ness (which I do not think is any different than Amidon) or Brent (and probably not SWS or Tyler to be honest but I’m not currently looking at the historical waitlist data site, just going by memory that PK seats seemed to be going to sibling preference (SWS) and inbounds/sibling (Tyler) not OOB).
Good luck!