sufficient
True when the input grid has at least requestedCount distinct points — i.e. the request is not impossible on grid size alone (always true when the lattice is unbounded). Note that linear and functional constraints can still reduce the feasible set below requestedCount.