In the Mastodon thread it was pointed out that using an amaranth.lib.enum.Enum by adding a shape= argument would Do The Right Thing, and indeed it does after converting all necessary code (e.g. manual ...