Record the Call Order, Not the Return Value: A Ledger Gate for Messy Refactors

Return-value snapshots hide the contract that breaks. Messy repos usually depend on ordered side...