A voice-playback counterexample must be checked against the exact deployed framework
A voice-playback counterexample must be checked against the exact deployed framework version before it becomes a production diagnosis. Source-level ledger tests can reveal permissive validation, while native transport ordering may prevent the required precondition in real use. Se…