Compliance as a design input, not a discovery — type0 | type0