11:13
<linus>
who is in charge of enforcing the AI policy, does that fall under CoC committee?
11:14
<linus>
https://github.com/tc39/test262/pull/4996#issuecomment-4124766293
12:28
<Michael Ficarra>
IMO it should 100% be the CoC committee, but last time we talked about it, the CoC committee was opposed to treating violations of this particular policy as CoC violations. I don't know what they thought would happen when we inevitably got to this point.
13:46
<Chris de Almeida>

the CoC committee was opposed to treating violations of this particular policy as CoC violations

this is not accurate. the CoC Committee (CoCC) never said anything of the sort. in fact, some members of the CoCC wanted the AI policy to live in the CoC itself, but ultimately that must be a committee-wide TC39 decision for which we did not have consensus, neither in the CoCC nor TC39. one committee member felt that the use of AI alone was too broad to automatically consider ANY usage of AI to be a violation of the CoC, and that the CoC already covered AI slop / wasting the committee's time, and therefore the policy itself did not belong in the CoC.

that said, the question of where the policy lives is not the same as the question of how the policy might be enforced. no one has taken the position that the policy is unenforceable.

14:07
<Chris de Almeida>
📢 unrelated: it's a spooky DST week, which means the TG5 meeting occurs today at a more convenient time for our US Pacific and Mountain Time friends (15 UTC) -- starting in about 50 minutes today's agenda: Towards a mechanization of ECMAScript modules in the Lean theorem prover (Yan Passeniouk (University of Turku), Nicolò Ribaudo (Igalia))
14:25
<Jesse>
I'm a big Lean fan but have a pre-existing obligation that prevents me from attending 😭
15:08
<Michael Ficarra>
Apologies if I'm misremembering. I'll have to go back and read the notes to refresh my memory.