common/org.js.lolifamily.minecraftmcp.patch/PatchDiagnostics/editDistance

editDistance

private fun editDistance(query: String, candidate: String): Int

Case-insensitive Levenshtein distance, two-row DP.

Unnormalized on purpose: the raw length term is what keeps short unrelated names away from a long query, and dividing by length ranks them back up. Case-insensitive because a wrong-case name is a typo, not a different method.