Appendix A — CPWA and Filippov Technical Proofs

Purpose. Full proofs deferred from Parts III–IV: Lemma 3.2 in coordinates, the nonsmooth-LaSalle argument for Theorem 4.1, the sector-condition computation for Theorem 4.2, and the no-Zeno argument.

A.1 Contents

• Full proof of Lemma 3.2 in coordinates.
• Nonsmooth-LaSalle argument for Theorem 4.1.
• Sector-condition computation for Theorem 4.2.
• No-Zeno argument (citing Thuan–Çamlıbel 2011, to verify).

A.2 Exposition

[TO FILL: full technical exposition. This appendix is where heavy proofs and advanced remarks live; the main chapters point here rather than duplicating the material.]