Utility Dynamics in RSA (Stub) #
Demonstrates that expected listener utility E[V_L] is NOT monotonically increasing during RSA iterations, even though G_α is (@cite{zaslavsky-hu-levy-2020}, Proposition 2).
Old RSAScenarioQ-based counterexample removed; restate using RSAConfig.