Fail-closed hedef yetenek kısıtları
Tam hedef profili, native kapı kümesi, bağlantı topolojisi ve sınırlı referans hata bütçesini deterministik derleyici kanıtıyla uzlaştırın.
Hedef varsayımlarını yürütülebilir hale getirin
NM-RFC-0006, backend varsayımını sınırlı ve fail-closed bir sözleşmeye dönüştürür. Etkin tüm yüzeyler özelliği açıkça uzlaştırana kadar kararlı N/M 0.1 değişmez.
NM-RFC-0006deneysel0.2.0-runtime-experimentalTam hedef profili
Yetenek profili kayıtlı olmalı ve iki annotation birlikte kullanıldığında @target ile aynı olmalıdır. Bilinmeyen veya kayan profil derlemeyi durdurur.
exact-known-profileKapalı native kapı kümesi
Her kaynak kapısı gate_set içinde bulunmalı ve seçilen profile native olmalıdır. Bu kanıt, lowering uyumsuzluğu gizlemeden önce üretilir.
closed-world-native-source-gatesTam bağlantı topolojisi
line, grid ve all-to-all tam eşitlikle karşılaştırılır. İlk sözleşme, daha güçlü bir topolojinin zayıf isteği karşıladığını varsaymaz.
exact-no-topology-inferenceSınırlı referans hatası
max_error, sürümlü eğitim amaçlı referans modeliyle denetlenir. Bu deterministik kanıttır; canlı cihaz kalibrasyonu iddiası değildir.
bounded-reference-profile-not-live-calibrationSuperconducting Bell yetenek sözleşmesi
1module target_capability_bell;2@target("superconducting");3@target_capabilities(profile: "superconducting", gate_set: ["H", "CNOT"], connectivity: "line", max_error: 0.08);4 5fn main() {6 let q: QReg<2> = qreg[2];7 H(q[0]);8 CNOT(q[0], q[1]);9 return q;10}Deterministik kanıt
Core, CLI, Worker, IR, QASM 3 sidecar ve Playground aynı gerekli, eksik ve bildirilmemiş kapıları; topoloji sonucunu, hata tahminini ve geçiş kararını sunar.
{ requiredGates, missingGates, undeclaredProgramGates, connectivity, errorBudget, passed }Açık özellik uzlaşması
experimental.targetCapabilityConstraints = truenm run main.nm --experimental-target-capability-constraints --jsonnm.experimental.targetCapabilityConstraints = trueReferans model
browser-statevector1q 0 · 2q 0 · readout 0browser-mps1q 0 · 2q 0 · readout 0browser-stabilizer1q 0 · 2q 0 · readout 0ion-trap1q 0.0005 · 2q 0.005 · readout 0.01superconducting1q 0.002 · 2q 0.025 · readout 0.02neutral-atom1q 0.003 · 2q 0.02 · readout 0.015Kararlı fail-closed tanılar
NM-PARSE-064NM-PARSE-065NM-TARGET-040NM-TARGET-041NM-TARGET-042NM-TARGET-043Bu experimental dilim canlı kalibrasyon çekmez, sağlayıcı sıralamaz, topoloji kapsamasını varsaymaz veya donanım yürütme başarısı vaat etmez. Kalibre placement ve scheduling ayrı derleme aşamalarıdır.