Definitive Contract to Galois, Inc. by Department of the Air Force: $9.8M obligated, latest action 2025-12-18. Verification Engineering for Real-world…