All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Michael S. Tsirkin" <mst@redhat.com>
To: "Daniel P. Berrangé" <berrange@redhat.com>
Cc: "Paolo Bonzini" <pbonzini@redhat.com>,
	qemu-devel <qemu-devel@nongnu.org>,
	"Alex Bennée" <alex.bennee@linaro.org>,
	"Alistair Francis" <alistair.francis@wdc.com>,
	"BALATON Zoltan" <balaton@eik.bme.hu>,
	"Fabiano Rosas" <farosas@suse.de>,
	"Kevin Wolf" <kwolf@redhat.com>,
	"Peter Maydell" <peter.maydell@linaro.org>,
	"Warner Losh" <imp@bsdimp.com>,
	"Philippe Mathieu-Daudé" <philmd@linaro.org>
Subject: Re: [PATCH v2] docs/devel: relax policy on AI-generated contributions
Date: Fri, 5 Jun 2026 05:48:37 -0400	[thread overview]
Message-ID: <20260605054212-mutt-send-email-mst@kernel.org> (raw)
In-Reply-To: <aiKZQ2VVnERuUKt0@redhat.com>

On Fri, Jun 05, 2026 at 10:39:15AM +0100, Daniel P. Berrangé wrote:
> On Fri, Jun 05, 2026 at 05:25:36AM -0400, Michael S. Tsirkin wrote:
> > On Fri, Jun 05, 2026 at 10:17:16AM +0100, Daniel P. Berrangé wrote:
> > > On Thu, Jun 04, 2026 at 12:37:58PM +0200, Paolo Bonzini wrote:
> > > > Il mer 3 giu 2026, 19:54 Daniel P. Berrangé <berrange@redhat.com> ha
> > > > scritto:
> > > > 
> > > > > The AI policy should just
> > > > > make a point that we expect to be communicating with people not
> > > > > bots pretending to be people.
> > > > >
> > > > 
> > > > Yes, it's better to have that stated clearly.
> > > > 
> > > > > True but we also need a rule. The spirit is better explained elsewhere
> > > > > > (and also, building consensus on spirit vs. a rule are two different
> > > > > > things).
> > > > >
> > > > > Do we have a better elsewhere in this case ?  It is a point specifically
> > > > > about intent of the AI policy rule.
> > > > 
> > > > 
> > > > The rule in this draft says 20 lines, tests, mechanical changes and docs.
> > > > The spirit is what is in the commit message, basically to maximize the
> > > > benefit and limit the possible damage?
> > > 
> > > Putting "the spirit" in the commit message is essentially /dev/null to
> > > anyone reading the policy later.
> > > 
> > > > > See my reply to Peter elsewhere in the thread. I agree with your
> > > > > > concerns for both docs and discretion, but I had specific uses in mind
> > > > > > that I'd like to allow.
> > > > > >
> > > > > > For docs:
> > > > > > - create tutorials and/or feature documentation based on functional tests
> > > > >
> > > > > That doesn't sound too appealing to me. Reverse engineering docs or
> > > > > tutorials from our functional tests is exactly the kind of thing that feels
> > > > > likely to result in volumous text of marginal value which will have a large
> > > > > burden on reviewers.
> > > > >
> > > > 
> > > > At the same time this can be helpful for maintainers themselves? Let's also
> > > > look at this from the point of view of producing better output, not just
> > > > from that of being on the receiving end of slop. Especially for docs I have
> > > > a hard time imagining people sending out whole new "manuals"... The
> > > > bugfixes rule ironically seems the most dangerous to me from the
> > > > Dunning-Krueger point of view.
> > > > 
> > > > My question is: do we want disclosure for anything is created with the help
> > > > of LLMs, even if only small parts survive untouched? I think so, because a
> > > > lot more, even if edited, would still be originally from AI. But then it's
> > > > important to have rules allowing it and a way to track it.
> > > 
> > > IMHO need unconditional disclosure, because the use of the LLM impacts
> > > the license of the code. QEMU is traditionally expected to be GPLv2+
> > > licensed for all new code, but there's the train of thought that LLM
> > > code is public domain.
> > > If it gets human editting afterwards we can
> > > consider that the human edits are GPLv2+ licensed, but IMHO we still
> > > want to know the origins.
> > 
> > Wait that's a big ask.
> > 
> > DOC explicitly does not ask if code might be available anywhere else
> > under any other license. Just that contributor can contribute under GPL.
> > If it's public domain then the human can license is under GPL.
> 
> For new files, in checkpatch we validate that SPDX-License-Identifier
> is explicitly set as GPL-2.0-or-later. Contributors are expected to
> justify any divergence in the commit message.
> 
> I've seen guidance that SPDX-License-Identifier for AI output code
> should NOT state a license, under the theory it is public domain.

Not state a license? Recommended by a lawyer? Seen where? Why?

> If it is human editted though, I would expect it to overrule this
> guidance and explicitly state GPL-2.0-or-later in the SPDX tag
> unless the contributor wants to explicitly put their own edits
> under public domain too.
> 

Yes.  So far we just asked:

  (b) The contribution is based upon previous work that, to the best
      of my knowledge, is covered under an appropriate open source
      license and I have the right under that license to submit that
      work with modifications, whether created in whole or in part
      by me, under the same open source license (unless I am
      permitted to submit under a different license), as indicated
      in the file; or


this:
	 unless I am permitted to submit under a different license
applies to public domain works.


> Ultimately QEMU is a copyleft project as a whole and IMHO we should
> prioritize retaining that for as large a portion of the codebase is
> is practical.

But of course. We can make this explicit too: that
contributing it should be under GPL and/or implies licensing it under GPL.


> > > > It would definitely be intended for merge. There's a lot of boilerplate
> > > > code in the Rust bindings, for example, that is voluminous but *mostly*
> > > > lacks creativity---the creative part basically can be described by the
> > > > spec/docs and should already clear the low bar required for originality,
> > > > even if the code is automatically generated. I included a couple examples
> > > > in my reply to Peter.
> > > 
> > > So we know there are examples which are probably low risk from a license
> > > POV, but which are massively larger than 20 lines of code. This just
> > > makes me more uncomfortable with the 20 line rule as the definition of
> > > the policy - we know that rule is wrong / undesirable from the start and
> > > needs this exception to make it viable.
> > 
> > So 20 lines or mechanical changes? what is considered mechanical will be
> > decided by maintainers, contributor should check with them up front.
> 
> If we are wanting to allow mechanical changes / boilerplate, then we
> should express that in the policy such that the policy can be reasonably
> understood without having to ask permission / questions ahead of time. 
> 
> With regards,
> Daniel

Indeed but what is mechanical is a matter of taste.


> -- 
> |: https://berrange.com       ~~        https://hachyderm.io/@berrange :|
> |: https://libvirt.org          ~~          https://entangle-photo.org :|
> |: https://pixelfed.art/berrange   ~~    https://fstop138.berrange.com :|



  reply	other threads:[~2026-06-05  9:49 UTC|newest]

Thread overview: 36+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-05-29  9:46 [PATCH v2] docs/devel: relax policy on AI-generated contributions Paolo Bonzini
2026-05-29 11:52 ` Alex Bennée
2026-05-29 13:06   ` Paolo Bonzini
2026-05-29 13:10     ` Michael S. Tsirkin
2026-05-29 11:59 ` BALATON Zoltan
2026-05-29 15:34 ` Peter Maydell
2026-05-29 15:46   ` Michael S. Tsirkin
2026-05-29 15:55     ` Peter Maydell
2026-05-29 16:17     ` Paolo Bonzini
2026-05-29 17:47       ` Michael S. Tsirkin
2026-06-02  7:38   ` Michael S. Tsirkin
2026-06-02  8:09     ` Paolo Bonzini
2026-06-02 15:53 ` Stefan Hajnoczi
2026-06-03 11:35   ` Paolo Bonzini
2026-06-03 14:55     ` Stefan Hajnoczi
2026-06-03 14:59 ` Daniel P. Berrangé
2026-06-03 15:06   ` Michael S. Tsirkin
2026-06-03 15:35   ` Paolo Bonzini
2026-06-03 17:54     ` Daniel P. Berrangé
2026-06-04 10:37       ` Paolo Bonzini
2026-06-05  9:17         ` Daniel P. Berrangé
2026-06-05  9:25           ` Michael S. Tsirkin
2026-06-05  9:39             ` Daniel P. Berrangé
2026-06-05  9:48               ` Michael S. Tsirkin [this message]
2026-06-05 10:23                 ` Daniel P. Berrangé
2026-06-05 10:28                   ` Michael S. Tsirkin
2026-06-05 10:34                     ` Daniel P. Berrangé
2026-06-05 11:26                   ` Paolo Bonzini
2026-06-05 12:39                   ` BALATON Zoltan
2026-06-05 13:00                     ` Daniel P. Berrangé
2026-06-03 18:14     ` Alex Bennée
2026-06-03 18:20       ` Daniel P. Berrangé
2026-06-04 10:04         ` Alex Bennée
2026-06-04  6:08       ` Michael S. Tsirkin
2026-06-05 10:12     ` Kevin Wolf
2026-06-05 10:23       ` Michael S. Tsirkin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20260605054212-mutt-send-email-mst@kernel.org \
    --to=mst@redhat.com \
    --cc=alex.bennee@linaro.org \
    --cc=alistair.francis@wdc.com \
    --cc=balaton@eik.bme.hu \
    --cc=berrange@redhat.com \
    --cc=farosas@suse.de \
    --cc=imp@bsdimp.com \
    --cc=kwolf@redhat.com \
    --cc=pbonzini@redhat.com \
    --cc=peter.maydell@linaro.org \
    --cc=philmd@linaro.org \
    --cc=qemu-devel@nongnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.