Start with the claim.
Separate what was announced from what the evidence actually establishes.
Independent research by Brennan McCloud
Independent audits of what systems actually establish.
Source-led research on verification, assurance, operations, and the evidence required when intelligent systems make consequential claims or take consequential actions.
A proof can be timeless. Verification cannot.
A plain-English investigation of what machine verification proves, what it does not, and why the distinction matters when AI agents take real actions.
Plain-English investigation · Technical appendix includedRead the findings
Show the boundary.
Make clear what software verifies, what it assumes, and where judgment returns to people.
Leave the receipts.
Expose sources, measurements, caveats, and the path another person can use to check the work.