Widen identifier detection in validation gate
Property names inside type literals and destructured parameter names are now collected from the source diff. This removes false-positive identifier ... not present in diff rejections for code like type RetryOptions = { maxAttempts: ... }.