AIKernel formale Grundlagen: Vertrag-basierte semantische Ausführung für regulierte KI-Systeme | Synapse