we have absolutely no idea ... about the technological stack [or] how much progress was made....
Can anyone think of another way to find out?
covert HUMINT or surveillance technology
If we publish the code, it's not covert anymore. We all deserve to see the mentions of Wikipedia which occurred in the SMISC program and project archives, if we want to protect our readers from whichever intelligence agencies have hacked Foundation servers.
I selected BOLT and SMISC from https://web.archive.org/web/20150529033655/http://www.darpa.mil/opencatalog/...
because they appeared compatible with Asimov's three laws of robotics, and did not appear to be harmful. There is one project in there, CSFV which could be actively harming the Foundation's ability to attract and retain volunteer editors:
"Crowd Sourced Formal Verification (CSFV) is a DARPA program that aims to investigate whether large numbers of non-experts can perform formal verification faster and more cost-effectively than conventional processes. The goal is to transform verification into a more accessible task by creating fun, intuitive games that reflect formal verification problems. Playing the games would effectively help software verification tools complete corresponding formal verification proofs."
Doesn't that mean that the Foundation has the legal standing to see all three of those projects published?