The @aave situation isn't about who's right. It's a preview of what happens when you leave ambiguity unresolved. Every successful protocol will face this eventually.