A property where generated outputs are guaranteed to be valid (e.g., chemically correct molecules) by design of the generation process.