Require a boolean type attribute based on State transition
One answer
It is not possible to require a boolean attribute. See https://jazz.net/forum/questions/65004/unable-to-add-custom-attributeboolean-as-require-attribute/65005 and other discussions.
Any boolean attribute has always a default value (false as far as I can tell). There is no undefined.