Maintainer here. In the case where a human edits a previously AI-generated line we simply track that as a human-produced line of code. We are thinking of makin

Maintainer here. In the case where a human edits a previously AI-generated line we simply track that as a human-produced line of code. We are thinking of making this a distinct subcategory because there's a lot of useful info in that data. Regarding performance we haven't done rigorous benchmarks but we've been using this internally and haven't noticed any problems