Typed Domain Grounding (TDG) setzt auf eingebettete, typsichere DSLs in etablierten Hostsprachen, um LLM-Halluzinationen durch Compiler-Prufungen zu minimieren.