engine: complete the finite-set lattice, and seam off the representation