TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples (ArXiv cs.MA Recent Papers, 2026)