Going from synthesis in LLM-based data modeling to a deterministic system with reliable verification and repair.