Constraint / random lite

Dice-level CRV literacy: rand fields, a simple constraint, randomize() success/fail, and a seed. Not a full solver. Starter: data inside {[0:15]} with one legal roll.