Cofinitely soc-supplemented lattices