Comment 11 for bug 1183125

I believe Jason's confirmation in comment #10, in combination with Mengdong's comment #8 - that there is a fixed mapping between pin nodes and physical outputs - is enough to say that it's verification-done at this point.