AcceptsEverything

verify* accept every transition, forged or honest — the return true stub CommutativeScheme permits until real proofs exist, and what both SraScheme and XorKeystreamScheme do today.

What this arm cannot detect: any cheat whatsoever. It is not a security property and no amount of green here is evidence a deal is safe against a malicious peer. Its entire value is that the claim is now written down in the fixture and pinned by the build — a scheme that grows a verifier has to come here and say so, instead of the suite silently continuing to report "honest-transition verification" coverage over a predicate with one branch.