Argue Prong 3 without Hand-waving

把 prong 3 从泛化总结里拆出来，建立独立的 waiver-balance logic。