1: \begin{abstract}

2: 

3: The asynchronous computability theorem (ACT) uses concepts from combinatorial

4: topology to characterize which tasks have wait-free solutions in read-write memory.

5: A task can be expressed as a relation between two chromatic simplicial complexes.

6: The theorem states that a task has a protocol (algorithm) if and only if there is a certain

7: chromatic simplicial map compatible with that relation.

8: 

9: While the original proof of the ACT relied on an involved combinatorial argument,

10: Borowsky and Gafni later proposed an alternative proof that relied on a algorithmic construction,

11: termed the ``convergence algorithm''.

12: The description of this algorithm was incomplete, and presented without proof.

13: In this paper, we give the first complete description, along with a proof of correctness.

14: 

15: \end{abstract}

16: