TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples. - Shuren Xia; Qiwei Li 006; Taqiya Ehsan; Jorge Ortiz 001 (CAIS, 2026)