docs: add AI contribution policy

CONTRIBUTING.md

@@ -10,7 +10,7 @@ Any changes must support the following platforms:
 - Linux
 - OpenBSD (You may need to browse their man page)
 
-Your change must also be compatible with the dependency constraints that we specify in [Installation](./Installation.md). If you aren't sure if a feature is compatible, check the manual or release notes. For example, the Bash changelog is [here](https://git.savannah.gnu.org/cgit/bash.git/tree/NEWS?h=devel).
+Your change must also be compatible with the dependency constraints that are specified in [Installation](./Installation.md). If you aren't sure if a feature is compatible, check the manual or release notes. For example, the Bash changelog is [here](https://git.savannah.gnu.org/cgit/bash.git/tree/NEWS?h=devel).
 
 If you aren't able to test your new command on a platform, make that clear in your PR; someone else may be able to test it on their system.
 
@@ -29,6 +29,16 @@ Let's say you wish to add a new command. Assuming your new command is named `foo
 
 You are welcome to open up an issue to discuss new commands or features before opening a pull request.
 
+## AI Contributions
+
+Contributions that use AI tools are permitted, but there _must_ be a human in the loop. We:
+
+- allow code generated by AI.
+- partially allow issues/pull requests to be generated by AI, but it must be disclosed and we highly recommend adding additional human commentary. You must be able to vouch for its correctness as if you had written it yourself.
+- require that replies to maintainers (as in issues and PRs) must be human written.
+
+If any of the above requirements are violated or if it is clear that there is no human in the loop, we will close your pull request.
+
 ## Submitting a pull request
 
 Please follow the suggestion in `./.github/PULL_REQUEST_TEMPLATE.md`.