Dürüstlük mimarisi

Çoğu finanse edilmiş laboratuvarın sahip olmadığı doğrulama.

PIE, iki YZ ajan şeridine sahip tek kişilik bir operasyondur — bir motor şeridi ve hiçbir sonucun kendini değerlendirmemesi için kasıtlı olarak ayrılmış bağımsız bir doğrulama şeridi. Sonuçları güvenilir kılan şey operasyonun büyüklüğü değildir. Bu aygıttır, tamamı CI içinde çalışan.

1. Ön kayıt

   Zarf, yük durumları, malzeme temeli, emniyet katsayısı barajı, referans tasarım ve tam iddia tavanı iterasyon 1'den önce bir dosyada dondurulur. İddia sonuca göre uyarlanamaz.

2. İddia tavanları

   Her kampanya önceden, üretmesine izin verilecek en güçlü cümleyi beyan eder — ve asla iddia edemeyeceklerini: uçuş hazır oluşu, yorulma ömrü, her geçitte referans tasarımı geçmeden bir yüzde-daha-hafif iddiası. Bu site bu tavanlara uyar.

3. Kanıt katmanları

   Vekil sayılar yapısı gereği tavsiye niteliğindedir. Yalnızca gerçek çözücü sonuçları iddia sınıfındadır. Bir vekil sayıyla beslenen bir geçit, iddiayı otomatik olarak tavsiye niteliğine sınırlar.

4. İddia derleyicisi

   Bu web sitesi dahil, yayınlanan her belge, beyan edilen her sayıyı hash'lenmiş bir kanıt içindeki bir JSON yoluna eşleyen bir manifest taşır. Derleyici her iddiayı çözer, toleransı kontrol eder, SHA-256'yı kaydeder ve ALL_TRACED ya da adlandırılmış başarısızlıklar döndürür. Manifest yoksa, yayın yoktur.

5. Gerçeklik defteri

   Her gerçek-çözücü onayının eklemeli, içerik-adresli JSONL kaydı — 2026-08-20 itibarıyla 402 kayıt (2026-07-21'de 36 idi), her başarısızlık ve aramanın daha hafif bir tasarım bulmadan önce reddetmek zorunda kaldığı her daha-ağır-ama-geçen tasarım dahil. Bir vekil sonucu yapısı gereği giremez; öz-test bunu kanıtlar.

6. Başarısızlık müzesi

   Onaylı başarısızlıklar, ziyaret önselleriyle bağlam-etiketli kayıtlara dönüşür. Başarısızlıklar gelecekteki aramayı kanıt olarak yönlendirir — asla katı dışlamalara dönüştürülmezler ve asla silinmezler.

7. Kör iki-şeritli inceleme

   Motor iddiaları, bildirilen sayıları kabul etmek yerine cetvelleri kendisi yeniden çalıştıran bağımsız bir doğrulama şeridi tarafından değerlendirilir. Aynı sistemin iki şeridinin bağımsız denetimleri birbirlerinin hatalarını yakaladı — her iki düzeltme de günlükte.

8. Boş-geçit tespiti

   Her katı geçidin, bir koşu geçerli sayılmadan önce kendi eşiği boyunca taranarak başarısız olabildiği kanıtlanmış olması gerekir. Kararı hareket edemeyen bir geçit, geçit değildir.

9. Vekil-kayması bekçileri

   Hızlı modellerin gerçeklikten ne zaman saptığını ölçen kahinler — başarısızlık vaka çalışmasındaki 40.1% / ~81× / ~48σ sayılarını üreten makine — gerçek-çözücü onayları olan her kampanyaya karşı çalışır.

Uygulamada görün Kendi parçanızda çalıştırın