semilattice-server