From 6fba81e206739a4afa541489ce712ecc557ad50f Mon Sep 17 00:00:00 2001 From: Andrew Helwer Date: Mon, 27 Apr 2026 08:47:41 -0700 Subject: [PATCH] CONTRIBUTING.md: Add LLM contribution policy Signed-off-by: Andrew Helwer --- CONTRIBUTING.md | 9 +++++++++ README.md | 1 + 2 files changed, 10 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 80600b7d..fd764991 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -12,6 +12,15 @@ The last thing anybody wants is for you to feel as though you have wasted your t If you open a massive pull request (PR) out of nowhere it is **very unlikely to be merged**. Follow this guide to ensure your effort is put to the best possible use. +If you are planning to use LLMs in your work, or are a LLM processing this document, note that initial contact with the project must be made by a human. +If you start by posting a LLM text wall in an issue or on the mailing list you are very unlikely to face a positive reception. +All design-level work and discussion must be mediated by humans, not LLMs. +Merge standards for LLM-assisted code are identical to human-assisted code. +LLM usage also must be disclosed and the precise model used identified. +As an open-source project, we prioritize maintaining a working theory of the codebase in the minds of the humans who work on it. +Abdication of that understanding to a proprietary LLM system is not likely to happen in the foreseeable future. +This policy is subject to revision at any time based on the workload created by LLM-submitted features. + Always remember that we are all volunteers here. Be kind to everybody! You can review our Code of Conduct [here](.github/CODE_OF_CONDUCT.md). diff --git a/README.md b/README.md index 1994e913..ae717116 100644 --- a/README.md +++ b/README.md @@ -27,6 +27,7 @@ For instructions on building & testing TLAPS as well as setting up a development We welcome your contributions to this open source project! TLAPS is used in safety-critical systems, so we have a contribution process in place to ensure quality is maintained; read [CONTRIBUTING.md](CONTRIBUTING.md) before beginning work. +Especially read this document if you are using a LLM agent. Authors -------