Fix verifier async endpoint handling

app.py

@@ -193,6 +193,9 @@ window.applyVerification = function(verdictJson) {{
     if (verdict.verdict === "PASS") {{
         setVerifierStatus("PASS");
         setStatus("Verified clean", "success");
+    }} else if (verdict.verdict === "ERROR") {{
+        setVerifierStatus("ERROR");
+        setStatus(`Verifier failed: ${{verdict.reason || "unknown error"}}`, "warning");
     }} else {{
         verdict.corrected_code = cleanGeneratedCode(verdict.corrected_code || "");
         rollbackAndReplace(verdict.corrected_code, verdict.reason || "Verifier supplied a correction", verdict.verdict);
@@ -214,13 +217,16 @@ async def verify_with_modal(prompt: str, draft_code: str, language: str) -> str:
             }
         )
 
-    async with httpx.AsyncClient(timeout=90.0) as client:
-        response = await client.post(
-            verifier_url,
-            json={"prompt": prompt, "draft_code": draft_code, "language": language.lower()},
-        )
-        response.raise_for_status()
-        return response.text
+    try:
+        async with httpx.AsyncClient(timeout=180.0) as client:
+            response = await client.post(
+                verifier_url,
+                json={"prompt": prompt, "draft_code": draft_code, "language": language.lower()},
+            )
+            response.raise_for_status()
+            return response.text
+    except Exception as exc:
+        return json.dumps({"verdict": "ERROR", "reason": str(exc)})
 
 
 async def execute_in_sandbox(code: str) -> dict:

modal_backend/verifier.py

@@ -97,14 +97,13 @@ Respond ONLY with valid JSON. No markdown, no explanation outside the JSON."""
         return parsed
 
 
-web_image = llama_image
+api_image = modal.Image.debian_slim(python_version="3.11").pip_install(
+    "fastapi", "uvicorn", "pydantic"
+)
 
 
 @app.function(
-    image=web_image,
-    gpu="A10G",
-    volumes={MODEL_DIR: model_volume},
-    scaledown_window=300,
+    image=api_image,
 )
 @modal.asgi_app()
 def verifier_endpoint():
@@ -127,7 +126,7 @@ def verifier_endpoint():
 
     @web_app.post("/verify")
     async def verify(req: VerifyRequest):
-        return Verifier().verify.remote(req.prompt, req.draft_code, req.language)
+        return await Verifier().verify.remote.aio(req.prompt, req.draft_code, req.language)
 
     @web_app.get("/health")
     async def health():

static/style.css

@@ -175,7 +175,8 @@ footer {
 
 .status-warning,
 .verdict-fix,
-.verdict-rewrite {
+.verdict-rewrite,
+.verdict-error {
     color: var(--accent-warn);
 }
 

static/ui.js

@@ -29,6 +29,7 @@ export function setVerifierStatus(verdict) {
         PASS: "Verified",
         FIX: "Fixed",
         REWRITE: "Rewritten",
+        ERROR: "Verifier error",
         CHECKING: "Verifying...",
     };
     el.textContent = labels[verdict] || "";