WestQuantOpen/westquant-qiskit

No problems traced to this repository code in these checks.

Reviewed as expected for a test run: attempted writes that failed, so nothing was written.

OSV scanned supported lockfiles; unpinned dependencies and unsupported formats are outside this check.

A short run cannot establish that code is safe.

Connections show IP addresses; proxies can hide the final hostname.

Tracing covers dispatched commands and their children, not the whole OS; guest root can interfere with tracing.

Full safety evidence →

• The smoke suite writes results for each challenge: Real input produced the expected result: "challenge_id": "qft4-line"

  Source: Each challenge writes:

  Input: --suite smoke --output results/claim-grid

  Expected: stdout summary for challenge qft4-line

  Command: <guest-path> -m westquant_qiskit.cli --suite smoke --output results/claim-grid

  Observed: "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, "

• The sequential search runs with the requested beam width: Real input produced the expected result: "beam_width": 3

  Source: Each challenge writes `trajectory.jsonl` in addition to `summary.json` and

  Input: --suite smoke --search sequential --beam-width 3

  Expected: summary reports beam_width 3

  Command: <guest-path> --suite smoke --search sequential --beam-width 3 --output results/claim-seq

  Observed: "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":

Examples

• Repository test suite passes offline: command completed successfully

  Source: .github/workflows/tests.yml

  Input: pytest tests/ -v

  Expected: 24 tests pass

  Command: <guest-path> -m pytest tests/ -v

  Observed: erve_distribution PASSED [ 75%] tests/test_stage.py::test_routing_pass_returns_selected_candidate_dag PASSED [ 79%] tests/test_stage.py::test_optimization_never_worse_than_default[1] PASSED [ 83%] tests/test_stage.py::test_optimization_never_worse_than_default[2] PASSED [ 87%] tests/test_stage.py::test_optimization_never_worse_than_default[3] PASSED [ 91%] tests/test_stage.py::test_all_candidates_failing_raises PASSED [ 95%] tests/test_stage.py::test_optimization_level_zero_is_respected PASSED [100%] ============================== 24 passed in 3.48s ==============================

• Pilot runs a limited number of challenges: command completed successfully

  Source: README.md

  Input: --limit 1 (README uses --limit 25; 25 exceeded the exec time ceiling)

  Expected: completed_challenges 1

  Command: <guest-path> --output results/example-pilot-1 --beam-width 3 --limit 1

  Observed: {"challenge_id": "wq1000-0000-ghz-line-n04-v0-8a72d561", "elapsed_seconds": 2.9104176519999783, "progress": "1/1", "status": "completed"} {"action_evaluations": 30, "compile_success_rate": 1.0, "completed_challenges": 1, "run_status_counts": {"completed": 1}}

Local or hosted: local

Run the README smoke suite (python -m westquant_qiskit.cli --suite smoke --output ...) and the sequential search, then check the Qiskit representation search output

cd <guest-path> && ls -la && git status 2>&1 | head -3; id -u; python3 --version; cat README.md 2>/dev/null | head -c 6000
echo $CDP_URL; curl -sS -m 10 $CDP_URL/json/version; echo; echo EXIT=$?
cd <guest-path> && cat pyproject.toml; ls -R src tests docs | head -60; ls <guest-path> ; ls <guest-path> 2>&1 | head; ls .coldpass; cat westquant-plugin.json
cd <guest-path> && cat .gitignore | head -20; ls .github/*; cat .github/workflows/*.yml 2>/dev/null | head -80
cd /tmp && (python3 -m venv <guest-path> 2>&1 || (sudo -n apt-get -o DPkg::Lock::Timeout=300 install -y python3-venv >/tmp/apt.log 2>&1 && python3 -m venv <guest-path>)); <guest-path> --version && <guest-path> install -q --upgrade pip 2>&1 | tail -3; <guest-path> index versions westquant-core 2>&1 | head -3; <guest-path> index versions qiskit 2>&1 | head -2
cd <guest-path> && <guest-path> install -q westquant-core 2>&1 | tail -5; echo RC=$?; <guest-path> show westquant-core | head -2
cd <guest-path> && <guest-path> install -e . 2>&1 | tail -5; echo RC=$?
cd <guest-path> && ls results 2>&1; time timeout 900 <guest-path> -m westquant_qiskit.cli --suite smoke --output results/qiskit-smoke > <guest-path> 2>&1; echo RC=$?; tail -c 1500 <guest-path>; ls -la results/qiskit-smoke 2>&1
cd <guest-path> && ls results/qiskit-smoke/random4d4-ring; head -c 600 results/qiskit-smoke/random4d4-ring/summary.json; echo; head -c 400 results/qiskit-smoke/random4d4-ring/training.jsonl; echo; head -c 300 <guest-path>; echo; cat src/westquant_qiskit/cli.py | head -c 3500
cd <guest-path> && ls -la results/qiskit-smoke/*/ | head -30; ls tests docs; grep -n "suite\|output" src/westquant_qiskit/cli.py | head -40
cd <guest-path> && timeout 900 <guest-path> --suite smoke --search sequential --beam-width 3 --output results/seq-smoke-a > <guest-path> 2>&1; echo RC=$?; ls results/seq-smoke-a; head -c 400 <guest-path>; echo; <guest-path> --output results/wq-seq-1000-a --manifest-only > <guest-path> 2>&1; echo RC=$?; tail -c 600 <guest-path>; ls results/wq-seq-1000-a
cd <guest-path> && grep -rn -i "cron\|while True\|schedule\|webhook\|--once\|--now\|sleep(\|daemon\|loop" src/ README.md docs/ | head -20; echo ---; grep -n "argument\|add_argument" src/westquant_qiskit/batch1000.py | head -30
cd <guest-path> && head -c 500 results/wq-seq-1000-a/manifest.json; echo; cat .github/workflows/tests.yml | head -40; <guest-path> install -q "pytest>=8" 2>&1 | tail -2; echo PIP=$?
cd <guest-path> && timeout 1500 <guest-path> -m pytest tests/ -q -p no:cacheprovider > <guest-path> 2>&1; echo RC=$?; tail -c 1200 <guest-path>
cd <guest-path> && time (timeout 900 <guest-path> --output results/pilot-probe-1000 --beam-width 3 --limit 1 > <guest-path> 2>&1; echo RC=$?); head -c 300 <guest-path>; echo; ls results/pilot-probe-1000 | head; <guest-path> -m westquant_qiskit.cli --suite smoke --output results/probe-check-smoke 2>/dev/null | grep -o '"challenge_id": "qft4-line"' | head -1
cd <guest-path> && time (timeout 1200 <guest-path> --output results/claim-pilot-25 --beam-width 3 --limit 25 > <guest-path> 2>&1; echo RC=$?); tail -c 300 <guest-path>
pgrep -af westquant-qiskit-1000 || echo none-running; pkill -f "westquant-qiskit-1000 --output results/claim-pilot-25" ; sleep 1; pgrep -af westquant-qiskit-1000 || echo none-running; ls <guest-path> 2>/dev/null | wc -l
ps -eo pid,args | grep -i "westquant" | grep -v grep || echo none-running; ls <guest-path> 2>/dev/null | head
cd <guest-path> && rm -rf results && mkdir -p .coldpass && cat > .coldpass/probe.json <<'EOF'
{"kind":"cli","argv":["<guest-path>","-m","westquant_qiskit.cli","--suite","smoke","--output","results/probe-smoke"],"cwd":"<guest-path>","output_directory":"results/probe-smoke","expected_text":"\"challenge_id\": \"qft4-line\""}
EOF
cat > .coldpass/claims.json <<'EOF'
[{"kind":"claim","claim":"The smoke suite writes results for each challenge","source":"Each challenge writes:","input":"--suite smoke --output results/claim-grid","expected":"stdout summary for challenge qft4-line","probe_kind":"cli","argv":["<guest-path>","-m","westquant_qiskit.cli","--suite","smoke","--output","results/claim-grid"],"output_directory":"results/claim-grid","expected_text":"\"challenge_id\": \"qft4-line\"","cwd":"<guest-path>"},
{"kind":"claim","claim":"The sequential search runs with the requested beam width","source":"Each challenge writes `trajectory.jsonl` in addition to `summary.json` and","input":"--suite smoke --search sequential --beam-width 3","expected":"summary reports beam_width 3","probe_kind":"cli","argv":["<guest-path>","--suite","smoke","--search","sequential","--beam-width","3","--output","results/claim-seq"],"output_directory":"results/claim-seq","expected_text":"\"beam_width\": 3","cwd":"<guest-path>"}]
EOF
cat > .coldpass/examples.json <<'EOF'
[{"kind":"example","claim":"Repository test suite passes offline","source":".github/workflows/tests.yml","input":"pytest tests/ -v","expected":"24 tests pass","argv":["<guest-path>","-m","pytest","tests/","-v"],"cwd":"<guest-path>","expected_text":"24 passed"},
{"kind":"example","claim":"Pilot runs a limited number of challenges","source":"README.md","input":"--limit 1 (README uses --limit 25; 25 exceeded the exec time ceiling)","expected":"completed_challenges 1","argv":["<guest-path>","--output","results/example-pilot-1","--beam-width","3","--limit","1"],"output_directory":"results/example-pilot-1","cwd":"<guest-path>","expected_text":"\"completed_challenges\": 1"}]
EOF
cat > .coldpass/cycles.json <<'EOF'
{"detected":false,"reason":"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.","checks":[]}
EOF
for f in probe claims examples cycles; do <guest-path> -I -c "import json,sys;json.load(open('.coldpass/$f.json'));print('$f ok')"; done
cd <guest-path> && cat > .coldpass/report.json <<'EOF'
{"outcome":"working","fault_owner":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.","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)"],"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."],"stuck_step":null,"main_blocker":null,"plain_failure":null,"suggested_fix":"None required for the working path. Consider documenting that westquant-core is installed from PyPI when no sibling checkout exists."}
EOF
<guest-path> -I -c "import json;json.load(open('.coldpass/report.json'));print('report ok')"; <env-var>=<guest-path> <guest-path> -I <guest-path> --validate --replay 2>&1 | tail -c 4000
cd <guest-path> && <env-var>=<guest-path> <guest-path> -I <guest-path> --validate --replay > <guest-path> 2>&1; echo RC=$?; <guest-path> -I -c "
import json,re
t=open('<guest-path>').read()
print(len(t))
for m in re.finditer(r'\"(valid|verdict|returncode|ok|error|reason)\": ?(\"[^\"]*\"|true|false|-?\d+)', t):
    print(m.group(0)[:160])
" | head -60