Lines of code are easily produced using coding models. OK, so let's add another criterium, 'lines of code produced by a human'. Now some form of arbitrage is needed to discern vibe-coded lines from human-coded ones.