Accept contributions on evidence, not on authorship.
Where independent formalizations of a clause disagree
Error bounds and targeted falsification for Triton kernels
Cut non-English token cost, with a certified bound