Ölçüme bağlı klasik kontrol

Amaç ve kapsam

Ölçüm sonucuna göre dallanan mevcut klasik kontrolün üzerine doğrulama ve izlenebilirlik katmanı ekler. Basit if (bit == 0|1) davranışını yeni bir özellik gibi yeniden adlandırmaz.

Tasarımın ana kuralları

• Genişletilmiş koşullar ölçümden türetilen değerler üzerinde kapalı bir mantıksal alt kümeye bağlıdır; keyfî aritmetik içermez.
• Dalların tümünü kapsayan sonuç değişmezleri ve rastgelelik tüketimi için açık kurallar tanımlanır.
• Tohumlu dal kayıtları ve yeniden oynatma, ertelenmiş ölçüm eşdeğerliği gibi bağımsız kontrollerle desteklenir.

Ö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.

circuit teleport(q: QReg<3>) {
  H(q[1]);
  CNOT(q[1], q[2]);

  CNOT(q[0], q[1]);
  H(q[0]);

  let m0 = measure(q[0]);
  let m1 = measure(q[1]);

  if (m1 == 1) { X(q[2]); }
  if (m0 == 1) { Z(q[2]); }

  assert_branch_invariant(q[2]);
}

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

• Bu kapsam oracle gövdelerinde kabul edilmez; gerçek donanım gecikmesi veya sağlayıcı geri beslemesi tanımlamaz.
• Kaynakta taslak statüsü bulunması, mevcut basit kontrolün kullanımdan kaldırıldığı anlamına gelmez.

Durum ve uygulama sınırı

Belge taslak olarak kaydedilmiştir. Genişletilmiş kontrol ile mevcut temel koşulları ayırın; çalışma kanıtında etkin seçenekleri, tohum ve dal izlerini birlikte değerlendirin.