{
  "checker": {
    "claims": [
      {
        "claim": "The smoke suite writes results for each challenge",
        "command": "<guest-path> -m westquant_qiskit.cli --suite smoke --output results/claim-grid",
        "evidence": "\"challenge_id\": \"qft4-line\", \"default_baseline\": {\"compile_success\": true, \"config\": {\"approximation_degree\": 1.0, \"basis_gates\": null, \"layout_method\": \"default\", \"optimization_level\": 2, \"routing_method\": \"default\", \"seed_transpiler\": 0, \"translation_method\": \"default\"}, \"error\": null, \"metrics\": {\"depth\": 33, \"duration\": null, \"n_clbits\": 0, \"n_qubits\": 4, \"operations\": {\"cx\": 15, \"rz\": 25, \"sx\": 8}, \"size\": 48, \"swap_gates\": 0, \"two_qubit_gates\": 15}, \"verification\": {\"diagnostics\": {}, \"equivalence\": \"exact\", \"method\": \"qiskit.quantum_info.Operator.from_circuit().equiv\", \"reason\": null, \"",
        "expected": "stdout summary for challenge qft4-line",
        "input": "--suite smoke --output results/claim-grid",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"challenge_id\": \"qft4-line\"",
        "returncode": 0,
        "source": "Each challenge writes:",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "The sequential search runs with the requested beam width",
        "command": "<guest-path> --suite smoke --search sequential --beam-width 3 --output results/claim-seq",
        "evidence": "\"beam_width\": 3, \"best_delta_vs_default_baseline\": {\"depth\": 0, \"duration\": null, \"size\": 0, \"swap_gates\": 0, \"two_qubit_gates\": 0}, \"best_metrics\": {\"depth\": 6, \"duration\": null, \"n_clbits\": 0, \"n_qubits\": 4, \"operations\": {\"cx\": 3, \"rz\": 2, \"sx\": 1}, \"size\": 6, \"swap_gates\": 0, \"two_qubit_gates\": 3}, \"best_prefix\": {\"layout\": \"trivial\", \"optimization\": 0, \"routing\": \"basic\", \"translation\": \"translator\"}, \"best_state_id\": \"ghz4-line:seq:e3087571bca35873\", \"challenge_id\": \"ghz4-line\", \"default_baseline_metrics\": {\"depth\": 6, \"duration\": null, \"n_clbits\": 0, \"n_qubits\": 4, \"operations\": {\"cx\": ",
        "expected": "summary reports beam_width 3",
        "input": "--suite smoke --search sequential --beam-width 3",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"beam_width\": 3",
        "returncode": 0,
        "source": "Each challenge writes `trajectory.jsonl` in addition to `summary.json` and",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README, pyproject entry points and src/ (grep for cron, schedule, webhook, loop, sleep, daemon, --once, --now). The three console entry points (westquant-qiskit-search, westquant-qiskit-1000, westquant_qiskit.cli) are one-shot runs with no scheduler or loop; the README's Run/resume is a manual re-run of a batch, not a product cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README, pyproject entry points and src/ (grep for cron, schedule, webhook, loop, sleep, daemon, --once, --now). The three console entry points (westquant-qiskit-search, westquant-qiskit-1000, westquant_qiskit.cli) are one-shot runs with no scheduler or loop; the README's Run/resume is a manual re-run of a batch, not a product cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "-m",
        "westquant_qiskit.cli",
        "--suite",
        "smoke",
        "--output",
        "results/probe-smoke"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "{\"best_candidate_id\": \"qiskit:ddf7e15f413cdf85\", \"best_config\": {\"approximation_degree\": 1.0, \"basis_gates\": null, \"layout_method\": \"trivial\", \"optimization_level\": 0, \"routing_method\": \"basic\", \"seed_transpiler\": 0, \"translation_method\": \"translator\"}, \"best_delta_vs_default_baseline\": {\"depth\": 0, \"duration\": null, \"size\": 0, \"swap_gates\": 0, \"two_qubit_gates\": 0}, \"best_metrics\": {\"depth\": 6, \"duration\": null, \"n_clbits\": 0, \"n_qubits\": 4, \"operations\": {\"cx\": 3, \"rz\": 2, \"sx\": 1}, \"size\": 6, \"swap_gates\": 0, \"two_qubit_gates\": 3}, \"challenge_id\": \"ghz4-line\", \"default_baseline\": {\"compile_success\": true, \"config\": {\"approximation_degree\": 1.0, \"basis_gates\": null, \"layout_method\": \"default\", \"optimization_level\": 2, \"routing_method\": \"default\", \"seed_transpiler\": 0, \"translation_method\": \"default\"}, \"error\": null, \"metrics\": {\"depth\": 6, \"duration\": null, \"n_clbits\": 0, \"n_qubits\": 4, \"operations\": {\"cx\": 3, \"rz\": 2, \"sx\": 1}, \"size\": 6, \"swap_gates\": 0, \"two_qubit_gates\": 3}, \"verification\": {\"diagnostics\": {}, \"equivalence\": \"exact\", \"method\": \"qiskit.quantum_info.Operator.from_circuit().equiv\", \"reason\": null, \"verified\": true}}, \"input_metrics\": {\"depth\": 4, \"duration\": nul\n[excerpt truncated]",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Repository test suite passes offline",
        "command": "<guest-path> -m pytest tests/ -v",
        "deferred": false,
        "evidence": "erve_distribution PASSED [ 75%]\ntests/test_stage.py::test_routing_pass_returns_selected_candidate_dag PASSED [ 79%]\ntests/test_stage.py::test_optimization_never_worse_than_default[1] PASSED [ 83%]\ntests/test_stage.py::test_optimization_never_worse_than_default[2] PASSED [ 87%]\ntests/test_stage.py::test_optimization_never_worse_than_default[3] PASSED [ 91%]\ntests/test_stage.py::test_all_candidates_failing_raises PASSED           [ 95%]\ntests/test_stage.py::test_optimization_level_zero_is_respected PASSED    [100%]\n\n============================== 24 passed in 3.48s ==============================",
        "expected": "24 tests pass",
        "input": "pytest tests/ -v",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": ".github/workflows/tests.yml",
        "verdict": "yes"
      },
      {
        "claim": "Pilot runs a limited number of challenges",
        "command": "<guest-path> --output results/example-pilot-1 --beam-width 3 --limit 1",
        "deferred": false,
        "evidence": "{\"challenge_id\": \"wq1000-0000-ghz-line-n04-v0-8a72d561\", \"elapsed_seconds\": 2.9104176519999783, \"progress\": \"1/1\", \"status\": \"completed\"}\n{\"action_evaluations\": 30, \"compile_success_rate\": 1.0, \"completed_challenges\": 1, \"run_status_counts\": {\"completed\": 1}}",
        "expected": "completed_challenges 1",
        "input": "--limit 1 (README uses --limit 25; 25 exceeded the exec time ceiling)",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "README's 'pip install -e ../westquant-core' could not run: no sibling checkout exists in the guest. Installed westquant-core 0.2.1 from PyPI instead (pyproject requires >=0.2.0a1).",
    "README's 'westquant-qiskit-1000 --limit 25' pilot exceeded the exec tool's attempt ceiling (returncode 124) and was stopped; no process left running. Replayed the same command with --limit 1 instead.",
    "westquant-qiskit-1000 --manifest-only writes manifest.json into the output directory with no stdout, so it is run manually and not replayed as a claim (silent directory output).",
    "Qiskit plugin snippet (pm.run / westquant_selection) is not driven by a CLI entry point; covered only by the repository's tests/test_stage.py, which is part of the 24 passing tests."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Run the README smoke suite (python -m westquant_qiskit.cli --suite smoke --output ...) and the sequential search, then check the Qiskit representation search output",
  "operation_scope": "Linux guest, Python 3.12.3 venv at <guest-path>, qiskit 2.6.1 (README requires >=2.5,<3), westquant-core 0.2.1 from PyPI (README expects a sibling ../westquant-core checkout that is absent). No browser needed; the CDP endpoint returned HTTP 200 but was not used.",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "pip install westquant-core (PyPI, replaces sibling checkout ../westquant-core)",
    "pip install -e . (in workspace)",
    "python -m westquant_qiskit.cli --suite smoke --output results/qiskit-smoke",
    "westquant-qiskit-search --suite smoke --search sequential --beam-width 3 --output results/seq-smoke-a",
    "westquant-qiskit-1000 --output results/wq-seq-1000-a --manifest-only",
    "westquant-qiskit-1000 --output results/pilot-probe-1000 --beam-width 3 --limit 1",
    "python -m pytest tests/ -v (24 passed)"
  ],
  "stuck_step": null,
  "suggested_fix": "None required for the working path. Consider documenting that westquant-core is installed from PyPI when no sibling checkout exists."
}