Status: IN
`not (A - Counter(B))` is true iff B contains at least as many of every key as A; this Counter subtraction idiom (which drops zero/negative counts) is the sole correctness mechanism for the completing-word check.
Source: entries/2026/06/06/shortest-completing-word-solution.md