revert: rollback to working version with disclaimer

app.py

@@ -384,17 +384,27 @@ def _final_payload(
     }
 
 
-def verify_on_ibm(label: str, mode: str) -> dict[str, Any]:
-    """Submit the example to IBM and return job ID immediately (no polling)."""
+def verify_on_ibm(label: str, mode: str) -> Iterator[dict[str, Any]]:
+    """Submit the example to IBM and yield progressive status updates.
+
+    First yield: ``status="submitted"`` with the IBM job_id and dashboard
+    URL. Subsequent yields: ``status="in_progress"`` with the IBM-reported
+    status and elapsed seconds. Final yield: ``status="completed"`` with
+    the full verification result, or ``status="timeout"`` if the live
+    poll loop exceeded :data:`LIVE_POLL_TIMEOUT_SECONDS`, or
+    ``status="error"`` if something went wrong.
+    """
     if label not in EXAMPLES:
-        return {"status": "error", "error": f"unknown example: {label}"}
+        yield {"status": "error", "error": f"unknown example: {label}"}
+        return
     try:
         narrow_mode = _coerce_mode(mode)
     except ValueError as exc:
-        return {"status": "error", "error": str(exc)}
+        yield {"status": "error", "error": str(exc)}
+        return
 
     if not IBM_AVAILABLE:
-        return {
+        yield {
             "status": "error",
             "error": (
                 "IBM_QUANTUM_TOKEN and/or IBM_QUANTUM_INSTANCE are not set "
@@ -402,34 +412,125 @@ def verify_on_ibm(label: str, mode: str) -> dict[str, Any]:
                 "unavailable; use the simulator button."
             ),
         }
+        return
 
     start = time.monotonic()
     try:
         job, job_id, backend_name, prepared = _prepare_and_submit(label)
     except Exception as exc:
-        return {
+        yield {
             "status": "error",
             "error": f"{type(exc).__name__}: {exc}",
         }
+        return
 
-    elapsed = int(time.monotonic() - start)
-    return {
+    yield {
         "status": "submitted",
         "ibm_job_id": job_id,
         "ibm_job_url": IBM_CONSOLE_BASE + job_id,
         "ibm_status": "QUEUED",
-        "seconds_elapsed": elapsed,
+        "seconds_elapsed": int(time.monotonic() - start),
         "backend": backend_name,
         "example": label,
         "mode": narrow_mode,
         "message": (
-            f"Job submitted to {backend_name} in {elapsed}s. "
-            "The job is now running on IBM Quantum hardware. "
-            "Click 'Check job status' below to retrieve the result when ready "
-            "(typically 1-3 minutes for queue + execution). "
-            f"Job ID: {job_id}"
+            "Job submitted. Polling every "
+            f"{POLL_INTERVAL_SECONDS} s for up to "
+            f"{LIVE_POLL_TIMEOUT_SECONDS // 60} minutes. If your browser "
+            "loses the live stream before the job finishes, copy the "
+            "Job ID from this output and use the 'Recover a previous "
+            "job' panel below."
         ),
     }
+
+    while True:
+        elapsed = int(time.monotonic() - start)
+        if elapsed > LIVE_POLL_TIMEOUT_SECONDS:
+            yield {
+                "status": "timeout",
+                "ibm_job_id": job_id,
+                "ibm_job_url": IBM_CONSOLE_BASE + job_id,
+                "seconds_elapsed": elapsed,
+                "message": (
+                    "Live wait exceeded "
+                    f"{LIVE_POLL_TIMEOUT_SECONDS} s without the job "
+                    "completing. The job is still running on IBM. Use "
+                    "the 'Recover a previous job' panel below with this "
+                    "Job ID once it finishes (typical wall-clock 2-20 "
+                    "minutes for free-tier queue + run)."
+                ),
+            }
+            return
+
+        time.sleep(POLL_INTERVAL_SECONDS)
+
+        try:
+            ibm_status = str(job.status())
+        except Exception as exc:
+            yield {
+                "status": "error",
+                "ibm_job_id": job_id,
+                "ibm_job_url": IBM_CONSOLE_BASE + job_id,
+                "seconds_elapsed": int(time.monotonic() - start),
+                "error": f"polling failed: {type(exc).__name__}: {exc}",
+            }
+            return
+
+        if ibm_status not in IBM_TERMINAL_STATUSES:
+            yield {
+                "status": "in_progress",
+                "ibm_job_id": job_id,
+                "ibm_job_url": IBM_CONSOLE_BASE + job_id,
+                "ibm_status": ibm_status,
+                "seconds_elapsed": int(time.monotonic() - start),
+            }
+            continue
+
+        if ibm_status != "DONE":
+            yield {
+                "status": "error",
+                "ibm_job_id": job_id,
+                "ibm_job_url": IBM_CONSOLE_BASE + job_id,
+                "ibm_status": ibm_status,
+                "seconds_elapsed": int(time.monotonic() - start),
+                "error": f"IBM job ended with status {ibm_status}",
+            }
+            return
+
+        try:
+            result_obj = job.result()
+            pub_result = result_obj[0]
+            raw_counts = pub_result.data.meas.get_counts()
+        except Exception as exc:
+            yield {
+                "status": "error",
+                "ibm_job_id": job_id,
+                "ibm_job_url": IBM_CONSOLE_BASE + job_id,
+                "seconds_elapsed": int(time.monotonic() - start),
+                "error": f"result fetch failed: {type(exc).__name__}: {exc}",
+            }
+            return
+
+        counts = _decode_counts(raw_counts)
+        verification = _build_verification_result(counts, prepared, backend_name, narrow_mode)
+        wall = round(time.monotonic() - start, 1)
+        yield _final_payload(
+            label, narrow_mode, job_id, backend_name, verification, wall, ibm_status, int(wall)
+        )
+        return
+
+
+# --------------------------------------------------------------------------
+# Manual recovery path - look up a previous job by ID
+# --------------------------------------------------------------------------
+
+
+def check_job_status(job_id: str) -> dict[str, Any]:
+    """One-shot status query for a job already submitted (live stream lost)."""
+    job_id = (job_id or "").strip()
+    if not job_id:
+        return {"error": "Enter a Job ID first."}
+
     if not IBM_AVAILABLE:
         return {
             "error": (
@@ -580,12 +681,10 @@ with gr.Blocks(title="QVerify") as demo:
                     interactive=IBM_AVAILABLE,
                 )
             gr.Markdown(_ibm_status_md)
-            gr.Markdown("⚠️ **Known limitation:** On HuggingFace's free tier (CPU Basic), the live progress stream may disconnect during long IBM jobs (typically 1-3 minutes). The job **continues executing on IBM hardware** regardless. If the Result panel clears before completion, copy the Job ID shown initially and use the \"Recover a previous job\" panel below. All executions are verifiable at [IBM Quantum Workloads](https://quantum.cloud.ibm.com/workloads).")
 
         with gr.Column(scale=1):
             gr.Markdown("### Result")
             output = gr.JSON(label="Verification result")
-            btn_check_status = gr.Button("Check job status", variant="secondary", visible=True)
 
     example_dd.change(
         _on_example_change,
@@ -602,11 +701,6 @@ with gr.Blocks(title="QVerify") as demo:
         inputs=[example_dd, mode_radio],
         outputs=output,
     )
-    btn_check_status.click(
-        lambda out: check_job_status(out.get("ibm_job_id", "")) if isinstance(out, dict) else {"error": "No job submitted yet"},
-        inputs=output,
-        outputs=output,
-    )
 
     gr.Markdown("---")
     gr.Markdown("### 4. Recover a previous job (fallback)")
@@ -640,15 +734,14 @@ with gr.Blocks(title="QVerify") as demo:
         "host the translator, so this Space is verifier-only. See the "
         "[GitHub repository](https://github.com/Quantum-Labor/qverify) "
         "for the end-to-end pipeline.\n\n"
-        "**IBM hardware runs are submitted via your IBM Quantum "
-        "free-tier account** (Open Plan, approximately 10 minutes of "
-        "quantum time per month, shared across users). The Space "
-        "orchestrates the call; the actual circuit executes on "
-        "`ibm_fez` (Heron r2, 156 qubits) via IBM Cloud. Live polling "
-        f"updates the UI every {POLL_INTERVAL_SECONDS} s; if the "
-        "connection drops, use the fallback panel above with the Job "
-        "ID. Previously verified hardware runs are documented "
-        "[here](https://github.com/Quantum-Labor/qverify#hardware-run)."
+        "**IBM hardware runs may take 2-20 minutes** due to free-tier "
+        "queue plus on-device execution and result fetch. The live "
+        f"button polls automatically every {POLL_INTERVAL_SECONDS} s "
+        f"for up to {LIVE_POLL_TIMEOUT_SECONDS // 60} minutes; if the "
+        "connection drops during a long run, use the 'Recover a "
+        "previous job' panel above with the Job ID from your initial "
+        "submission. Hardware credit is shared across users on the "
+        "Open Plan (~10 minutes/month total)."
     )