These kind of poker machines are regulated to limit the amount of money they're allowed to keep: usually expressed in cents in the dollar e.g. 86¢. The regulato

These kind of poker machines are regulated to limit the amount of money they're allowed to keep: usually expressed in cents in the dollar e.g. 86¢. The regulators read the code and certify it. Could you prove that the extra entropy added to the PRNG pool would not change the limits? Bigger challenge: could you present it in a way that a regulator would agree with you?