Why LLMs can understand scheduling rules yet produce invalid schedules, and how deterministic solvers and independent checks make them reliable.