ENTITIES THE DESIGN NAMES AND THE CONSOLE DOES NOT SERVE.
This list may only SHRINK. Each entry is a promise the entity map made that the console has not
kept, and the count is pinned by the test so one cannot quietly become two. Building one of
these means deleting its line here — and the guard then requires it to be registered, so the
deletion and the implementation land together or not at all.
ENTITIES THE DESIGN NAMES AND THE CONSOLE DOES NOT SERVE.
This list may only SHRINK. Each entry is a promise the entity map made that the console has not kept, and the count is pinned by the test so one cannot quietly become two. Building one of these means deleting its line here — and the guard then requires it to be registered, so the deletion and the implementation land together or not at all.