If the count gives you power, prove the count. Publish the invariants, fixtures, expected outputs, hashes, executable tests, and machine-readable results. “Official” is not a verification primitive. If an adversary ca...