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

· Dev.to