Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you)
Multi-agent software synthesis maps to distributed consensus: given a prompt P defining a program set Φ(P), coordinating agents to produce compatible components φ₁...φₙ requires agreeing on a single φ ∈ Φ(P), an invariant coordination problem with known impossibility results regardless of agent intelligence. The author advocates for choreographic languages—formalizing agent interactions with game theory—as essential tooling, rejecting the 'wait for AGI' mindset that ignores foundational distributed systems literature. This reframes orchestration frameworks like LangGraph and CrewAI as needing DS-inspired correctness guarantees, not just smarter models.