Signed receipts for AI coding agents

AI coding agents now open their own pull requests and merge them. The git author string on a commit is mutable, so a name in a commit header proves nothing about who wrote the change or under whose au