Infrastructure-free domain contracts for replicated applications.