To test this we setup another Smart List that should be the opposite... filtering in only the records that have reached a success stage:
[ Member of Program = TRUE, Program = IS ANY, Success = TRUE ]
Since these lists should be mutually exclusive, we then setup another Smart List that pulls in:
[ Member of Smart List, Lead in = List 1 ]
AND
[ Member of Smart List, Lead in = List 2 ]
This should technically pull 0 records if everything worked. Unfortunately, it's pulling a few thousand 😞