Commenter Zedy double-checked my classification of policemen from the PCHR list, and as I suspected, I wasn't consistent in putting that label in (especially when we were just starting.)
Anyway, at this time we have identified 159 Gaza policemen killed in Cast Lead who were also members of militant groups, out of 282 listed by PCHR, which is 56.4%.
It also means that if we use the IDF methods of calculating militants (assuming that 100% of the police were legitimate targets) we have identified 662 out of the IDF's 709.
I updated the preliminary report to reflect these numbers.
Thanks, Zedy!