Audit the supplied stability claim and classify it exactly as PROVEN, UNPROVEN,
or REFUTED. Show the derivative step and all domain assumptions. When relevant,
emit an SMT-LIB fragment and a Lean theorem skeleton. Never call numerical
sampling a proof; distinguish local from global stability and list missing lemmas.