Case 1 (1♣) - 1♣ this is a funky one and depends heavily on agreements if you're playing sa/2o1 and 2+ for a 1♣ opener you are generally relegated to 2♣ or 1NT since double generally does not (should not?) promise 2+ clubs. if 1♣ necessarily promises no 4c major then you don't really have a call that is valid for subset condition, since you don't really have a functional way to show exactly: 2+c, 3- h and a, AND opening points this gets really tricky if 1c shows 3+ though that being said, I believe acbl rules permit upgrading the bid to the adequate level to be "good enough" of a comparable call, but with obvious UI consequences afterwards. this is a situation where I'd have to see the offender and their partner's hands to know what is and isnt allowable, but depending on agreements I'd lean towards 1nt showing strength and 2+ clubs or 2c "just bid it at the lowest legal level" being fine enough but with some restrictions on bidding (ie, if they have an agreement that stayman is on when nt is overcalled, offender's partner MUST bid stayman to ask with an appropriate hand) and then it's offender and partner's job to disentangle themselves from where they end up I think it's fine as a once-or-twice shortcut solution to just have offender correct their bid to 2c and have a tableside announcement that this is not Michaels, but a correction of an insufficient bid. Case 2 1♣ - (1♠) - 1♥ double is fine and most people would agree that it is close enough even if some may do it with 3 hearts and a stronger hand Case 3 1♠ - (2♥) - 1NT(Director!) if I am being liberal, I would be ok with x, presumably opener would check for stoppers with 3h if strong enough, and the hand certainly would suit such a double if the insufficient bid wasn't made I would want to see opener's hand though and make sure they aren't making an invitational 2n bid without a stopper in hand already (aka using the UI that partner has a heart stopper)