HakiCC: LLM-Multiagenten-Pipeline entwirft, verifiziert und optimiert Nebenläufigkeitsprotokolle automatisch 2. Oktober 2026