Green proofs, empty promises: when AI agents write their own specifications