by definition a 4 digit code is a 4 digit numeric code, but I haven't seen a definitive source saying that the phone is secured by a 4 digit PIN, as the iPhone allows longer PIN's as well as alphanumeric passcodes.
I didn't think that was all that pedantic, I was even agreeing with you that 4-digit codes are not alphanumeric, so if anything, I was as pedantic as you.
But where I was disagreeing was that it was ever revealed that the phone in question really does have a 4 digit numeric code, because as far as I know, the size and complexity of the pass code has never been revealed by the FBI.
