Astra's machine-checked proofs, DeepMind's whole-body robots, a rebuilt agent protocol, and the EU's transparency deadline — July 27 to August 2, 2026. Some weeks in AI are all launch trailer. This one was mostly receipts. Between July 27 and August 2, a model produced mathematics you can machine-verify, a robotics stack learned to use its legs, the protocol underneath most AI agents got rebuilt from the floor up, and the EU's transparency rules stopped being hypothetical. He