Deneysel sözleşmeleri çalıştıkları yerde inceleyin
Her laboratuvar sınırlı bir dil özelliğini çalıştırılabilir kaynak, yapılandırılmış kanıt, dokümantasyon ve açık güven sınırıyla bağlar.
İddiadan önce kanıt
Bu dizin çalışma zamanı deneylerini, derleyici incelemesini ve sistem kanıtlarını birbirinden ayırır. Her giriş ürettiği artefaktı ve sonuç paylaşılırken korunması gereken sınırı açıkça belirtir.
- Bağlı yüzeyler
- 8 sınırlı laboratuvar
- Kanıt hatları
- Çalışma zamanı · Derleyici · Sistemler
- Yürütme modeli
- Yerel öncelikli, tekrarlanabilir koşular
01 / Laboratuvar dizini
Yanıtlamanız gereken soruya göre laboratuvar seçin
Önünüzdeki kararla başlayın: yürütmeleri karşılaştırın, derleyici davranışını inceleyin veya bir sistem artefaktını değerlendirin. Durum etiketleri bilimsel kesinliği değil, ürün olgunluğunu gösterir.
Çalışma zamanı deneyleri
Deney Stüdyosu
İdeal, gürültülü ve azaltılmış hatları açık kaynak bütçeleriyle çalıştırın.
- Üretilen kanıt
- Sürümlü üç hatlı koşu kaydı
- İlan edilen sınır
- Sonlu-shot yerel simülasyon
Çalışma zamanı deneyleri
Sabit tohumlu gürültü laboratuvarı
Sabit bir devreyi sınırlı yerel gürültü modelleri ve hata azaltma altında tekrarlanabilir tohum değerleriyle karşılaştırın.
- Üretilen kanıt
- Sabit tohumlu dağılım karşılaştırması
- İlan edilen sınır
- Sınırlı yerel gürültü modeli
Çalışma zamanı deneyleri
Kapsamlı gürültü oluşturucusu
Kaynak-sıralı gate, register, ilişkili-Pauli ve readout kanallarını birleştirin.
- Üretilen kanıt
- Sıralı kanal sözleşmesi
- İlan edilen sınır
- Kaynak sıralı yerel yürütme
Derleyici incelemesi
Görsel Oracle Oluşturucu
Sınırlı Boolean kısıtları kesin artefakt, kaynak kanıtı ve Playground aktarımıyla tipli oracle'lara derleyin.
- Üretilen kanıt
- Kesin truth veya sign artefaktı
- İlan edilen sınır
- Sınırlı Boolean kısıtları
Derleyici incelemesi
Devre Analizi ve Optimizasyon
Optimizasyon farkını, hedef-native dönüşümü, zamanlamayı, bütçeleri, reversible lint'i ve ölçüm dallarını inceleyin.
- Üretilen kanıt
- Optimizasyon farkı ve zamanlama
- İlan edilen sınır
- Statik lint; unitarity kanıtı değil
Derleyici incelemesi
Comptime inceleyici
Derleyicide katlanan boyutları, yapısal kullanımları, kaynak kökenini ve yürütme sınırlarını inceleyin.
- Üretilen kanıt
- Katlama ve kaynak kökeni raporu
- İlan edilen sınır
- Yalnız compile-time sabitler
Sistem kanıtları
Backend Profilleri ve Kalibrasyon
Yayımlanmış hedef sınırlarını inceleyin ve canlı donanım iddiası olmadan iki katı kalibrasyon snapshot'ını karşılaştırın.
- Üretilen kanıt
- Kalibrasyon karşılaştırma artefaktı
- İlan edilen sınır
- İçe aktarılan snapshot; canlı cihaz değil
Sistem kanıtları
QEC artefakt laboratuvarı
Düzeltme haritalarını, sendrom tablolarını, deterministik turları ve doğrulanmış feed-forward taşıyıcılarını inceleyin.
- Üretilen kanıt
- Düzeltme haritası ve sendrom tablosu
- İlan edilen sınır
- Sınırlı deterministik tur izi
02 / Kanıt disiplini
Laboratuvar sonucu izlenebilir bir deneydir; donanım iddiası değildir.
N/M laboratuvar akışı; kaynak, üretilen kanıt ve izin verilen yorumu birlikte tutar. Böylece sonuç abartılmadan yeniden üretilebilir ve incelenebilir.
- 01
Kaynağı sabitleyin
Yürütmeden önce programı, parametreleri, hedef profilini, tohum değerini ve sürümlü sözleşmeyi kaydedin.
- 02
Artefaktı üretin
Sınırlı yerel araçtan yapılandırılmış rapor, iz, karşılaştırma veya derleyici artefaktı üretin.
- 03
Sınırı birlikte taşıyın
Her sonucun yanında simülatör, yaklaşım ve doğrulama sınırlarını yayımlayın.