Two-chart cokernel finiteness