Definitive Contract to Galois, Inc. by Defense Advanced Research Projects Agency: $12.6M obligated, latest action 2025-09-29. The Continuous-correctness…