Given a list of distinct integers `items`, return every possible subset. Return the subsets each sorted ascending, and the overall list sorted (by length, then lexicographically), so the output is deterministic.