N/M'in runtime öncesinde tam olarak neyi katladığını görün
Bir yapısal konum ve BASE değeri seçin; kaynak ifadeyi, compiler'ın katladığı tamsayıyı, etkin runtime değerini, sahip bütçeyi, diagnostics'i ve üretilen Playground programını karşılaştırın.
Comptime yapı inceleyicisi
Her senaryo açık comptime uzlaşısıyla gerçek N/M frontend'i tarafından parse edilir. Gösterilen metadata UI tahmini veya simüle sonuç değil, compiler artefaktıdır.
Derleme-anı sabitleri yapısal tip güvenliğini ve tekrar üretilebilirliği geliştirir. Runtime boyutlu değer eklemez, backend tavanlarını yükseltmez veya donanım ölçeklenebilirliğini kanıtlamaz.
- Somut kübitler
- 3
- Skaler parametreler
- 0
- Genişletilmiş gate'ler
- 1
- Yapısal kullanımlar
- 2
- Cap uygulananlar
- 0
Compiler üretimi yapısal artefakt
Odak satırları vurgulanır. Kararlı runtime belgelenmiş warning-and-cap politikasını uygulasa bile istenen değer korunur.
sha256:4d4af3a67e5d5675176d25a4cbe7b515530c7162e7ae82818a16b6b0017a928cKarşılaşma sıralı const Int bildirimleri
| Bildirim | Kaynak ifade | Katlanmış değer | Referanslar | Satır |
|---|---|---|---|---|
| BASE | 3 | 3 | Yok | 3 |
| N | BASE | 3 | BASE | 4 |
Yapısal kullanım ve sahip bütçe
| Konum | Kaynak ifade | İstenen | Etkin | Bütçe | Politika | Sonuç | Referanslar | Satır |
|---|---|---|---|---|---|---|---|---|
| QReg<E> tipi | N | 3 | 3 | 1..14 | Strict | Kabul edildi | N | 6 |
| qreg[E] tahsisi | N | 3 | 3 | 1..14 | Strict | Kabul edildi | N | 6 |
Tipli yapı provenance'ı
Core ve token frontend'leri bu kapalı düğümleri, genişletilmiş statement'lar runtime'a ulaşmadan önce üretir. Statement span'leri her düğümü validator'ın denetlediği tam yürütülebilir genişletmeye bağlar.
Bu senaryo derleme-anı metadata'sı kullanıyor ancak Angle vektörü, repeat gövdesi veya for aralığı genişletmiyor; bu nedenle structure-provenance düğümü gerekmiyor.
Derleyici tanıları
NM-SEM-003: Ayrilan q[1] qubit'i hic kullanilmiyor.NM-SEM-003: Ayrilan q[2] qubit'i hic kullanilmiyor.
Ek uzlaşı: Yok
Üretilen N/M kaynağını incele
module comptime_inspector_register_3;
@seed(17);
const BASE: Int = 3;
const N: Int = BASE;
fn main() {
let q: QReg<N> = qreg[N];
H(q[0]);
return 0;
}Bu artefaktın dışında kalanlar
Kapalı taşıyıcı artık fail-closed Core/token üretimini, canonical AST yazdırmayı, kalıcı 0.1 ve 0.2 okuyucularla strict sidecar 0.3 round-trip'ini destekliyor. Bu imzalı kanıt değildir; AST'den iç içe yapıları, keyfi circuit-call yazımını, yorumları veya trivia'yı geri kurmaz. Desteklenmeyen birleşimler sessiz fallback yerine yazdırılamaz kalır.