Hedef yetenek kısıtları

Amaç ve kapsam

Bir hedefin gerekli kapıları, bağlantı düzenini ve sınırlı referans hata bütçesini karşılamadığı durumda derlemeyi durdurmayı önerir. Bilgilendirici hedef uyarısı ile zorunlu hedef koşulu böylece ayrılır.

Tasarımın ana kuralları

• @target_capabilities hedef profilini, gerekli kapı kümesini, bağlantı koşulunu ve hata sınırını belirtir.
• Koşullar seçilen profilin açık verileri üzerinden değerlendirilir; eksik bilgi başarı gibi yorumlanmaz.
• Kontrol sonucu araçlar arasında taşınabilen kanıt ve tanılar üretir.

Özgün belgeden örnek

Bu örnek özgün kaynakta yer alan tasarımı gösterir. Tek başına çalıştırılabilirlik veya kararlı destek iddiası değildir; gereken seçenekleri ve güncel sürümü kontrol edin.

module native_bell;
@target("superconducting");
@target_capabilities(profile: "superconducting", gate_set: ["H", "CNOT"], connectivity: "line", max_error: 0.08);

fn main() {
  let q: QReg<2> = qreg[2];
  H(q[0]);
  CNOT(q[0], q[1]);
  return q;
}

Sınırlar ve sonuçların yorumu

• Referans profildeki hata bütçesi fiziksel cihaz kalibrasyonu veya gerçek donanım garantisi değildir.
• Bir hedefe ait açıklama tek başına o sağlayıcıda çalıştırma yetkisi vermez.

Durum ve uygulama sınırı

Kaynak belge experimental.targetCapabilityConstraints=true ile görüşülen çalışma zamanı deneysel kapsamı kaydeder. Güncel profil ve yürütme desteği ayrıca doğrulanmalıdır.