A transaction class randomizes reliably in directed tests, but constrained-random regressions start failing with no-solution messages after incremental feature constraints are added.
Sharp increase in randomize failure percentage for specific scenario knobs and seed ranges.
Debugging solver internals before checking contradictory implication constraints.
Using broad soft constraints that silently mask intent until override order changes.
Disabling failing constraints globally instead of minimizing and proving satisfiability.