since the bitsofproof supernode implements that correctly (otherwise it would not validate the entire chain and testnet3). Let us think about this longer...
Validating the existing chain is _NOT_ proof that it implements it correctly. To be correct all implementations must accept AND reject the same things. Most possible things are not in the chains because, if for no other reason, most possible things are rejected.
Grau, Please confirm that you understand this. It's very important.