cudaq.sample's feedback rejection is entry-kernel-only: measurement branching inside a called sub-kernel is not rejected
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 62/100
- Tipo di issue
- Bug
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Attiva
- Ambito
- backend-api-design, quantum-computing
Direzione di ricerca
Inizia tracciando il controllo di rifiuto del feedback di cudaq.sample e confrontalo con cudaq.run, usando i kernel direct_feedback e wrapped_feedback come riproduttore. Verifica che il controllo visiti transitivamente i kernel chiamati e che sia il feedback dell’entry point sia il feedback di misurazione annidato producano l’errore documentato di reindirizzamento a run; conferma che cudaq.run gestisca ancora correttamente il kernel di feedback.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
cudaq.sample rejects kernels that branch on measurement results with a clear error steering users to cudaq.run. But the check appears to inspect only the entry-point kernel: the identical feedback inside a called kernel passes the check and samples anyway (with a deprecation warning about named measurement results).
Reproducer (cudaq 0.15.1, PyPI wheels, qpp-cpu):
import cudaq
cudaq.set_target("qpp-cpu")
@cudaq.kernel
def erase_and(q: cudaq.qview):
h(q[2])
fired = mz(q[2])
if fired:
z.ctrl(q[0], q[1])
x(q[2])
@cudaq.kernel
def direct_feedback():
q = cudaq.qvector(2)
h(q[0])
fired = mz(q[0])
if fired:
x(q[1])
cudaq.sample(direct_feedback, shots_count=10) # rejected, as documented
@cudaq.kernel
def wrapped_feedback():
q = cudaq.qvector(3)
h(q[0]); h(q[1])
x.ctrl(q[0], q[1], q[2])
erase_and(q) # same feedback, one call level down
mz(q)
cudaq.sample(wrapped_feedback, shots_count=50) # ACCEPTED, returns counts
Context: the rejection itself is clearly deliberate — the error message steers users to cudaq.run, and cudaq.run handles the same feedback kernel correctly (verified: per-shot results as documented, requiring only that the kernel return a value). So this report is purely about the inconsistent enforcement: the check that redirects users to run is applied to the entry kernel only, and the same feedback one call level down samples anyway.
Expected: the check applied transitively over the call graph, with the same redirect-to-run error in both cases. As is, whether a program is rejected depends on how it is factored into kernels, and code the check was written to exclude runs anyway (with unspecified semantics for the sub-register counts it returns).
Severity: consistency/robustness.
- Lingua principale
- C++
- Stelle
- 1.1k
- Fork
- 455
- Merge medio
- 2g 1h
- PR unite (30g)
- 123
Preparare l'ambiente
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di NVIDIA/cuda-quantum
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100
NVIDIA/cuda-quantum#5492 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
NVIDIA/cuda-quantum#5424 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
[python] Kernel with a return only inside a dynamic-bound loop compiles without a return-type checkApertastale-notified
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
NVIDIA/cuda-quantum#5369 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
bug Exalate stale-notified
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
NVIDIA/cuda-quantum#5361 ·
I maintainer di solito rispondono entro 1 giorno
-
bug Exalate stale-notified
Difficoltà 2/5 1-3 ore Idoneità per principianti 90/100
NVIDIA/cuda-quantum#5356 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di NVIDIA/cuda-quantum
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
tesseract-ocr/tesseract#4627 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 90/100
lxqt/lxqt-panel#2492 ·
-
bug-unconfirmed
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
[models/demos/gemma4 dFlash]: _shard_argmax returns a view of a force-freed tensor when rows == 1Apertacommunity
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
tenstorrent/tt-metal#57989 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100