{
  "prompt": "Die Datei `dienst/config.ini` ist kaputt. In `anleitung.txt` steht, welche Werte gelten sollen. Repariere die config.ini entsprechend (nur die falschen Werte ändern, Struktur beibehalten) und rufe danach `fertig` auf.",
  "max_schritte": 8,
  "sandkasten": {
    "anleitung.txt": "Sollwerte für dienst/config.ini:\n- port muss 9001 sein (Zahl, nicht Text!)\n- loglevel muss info sein\n- Der Eintrag host bleibt unverändert.\n",
    "dienst/config.ini": "[server]\nhost = 127.0.0.1\nport = abc\nloglevel = debug\n"
  },
  "checks": [
    {"datei": "dienst/config.ini", "regex": "^port\\s*=\\s*9001\\s*$"},
    {"datei": "dienst/config.ini", "regex": "^loglevel\\s*=\\s*info\\s*$"},
    {"datei": "dienst/config.ini", "regex": "^host\\s*=\\s*127\\.0\\.0\\.1\\s*$"}
  ]
}