Totally agree, a patent by itself doesn't prove something was built or used, just that the idea could be described and cleared prior art.

But are you saying none of those patents are even indirectly related to publicly documented programs like:

    1. Operation Sea-Spray (1950)
    2. Operation LAC (late 1950s–60s)
    3. Operation Dew (ZnCdS tests)