iddia bütünlüğü

İddia manifesti.

derlendi 42/42 · karar ALL_TRACED

Bu site, yayımladığı her çözücü sonucunun hash'lenmiş bir kanıta kadar izlendiğini söyler. Bu sayfa vaat değil, kanıttır. Site derlenmeden önce aşağıdaki her sayı, geldiği JSON kanıtına karşı çözülür, orada gerçekten saklanan değerle karşılaştırılır ve beyan edilmiş bir toleransa karşı denetlenir. Bir iddia çözülemezse derleme durur.

Her iddia ve neye çözüldüğü

stated, sayının sitede göründüğü hâlidir. evidence, kanıttan okunan sayıdır. Δ ikisi arasındaki göreli farktır ve iddianın derlenmeden önce beyan ettiği toleransın altında kalmalıdır. Sağlama toplamı, değerin okunduğu kanıtın SHA-256'sıdır, on iki karaktere kısaltılmıştır.

Ne saklanıyor ve neden

Manifest, her iddia için bu sayfanın göstermediği bir alan daha tutar: kanıt dosyasının yolu. Bu yollar gerçek kampanyalardan gelen dizin adlarıdır ve bir müşterinin adını ve yayımlaması bize düşmeyen bir motor adlandırmasını taşırlar. Bu yüzden başka sözcüklerle anlatılmak yerine derleme adımında kesilirler; herhangi biri çıktıya sızarsa derleme başarısız olur.

Bunun size neye mal olduğu konusunda açık olun. Elinizde olmayan bir dosyaya karşı çözemediğiniz bir sağlama toplamı doğrulama değildir — bir taahhüttür. Kazandırdığı şey şudur: değer, sağlama toplamı da değişmeden sonradan sessizce değiştirilemez ve bir çalışma anlaşması kapsamında derlenen manifest de aynı manifesttir — orada kanıt dosyalarının kendisi de onunla birlikte gelir. İş birliğinin kapsadığı budur.

Bu manifestte olmayan sayılar

Bu sitede görünen beş sayı yukarıdaki tabloda yer almaz. Beşi de dürüst-başarısızlık vaka çalışmasında anlatılan vekil-kayması kahinlerinden gelir: vekil 40.1% iyimser ölçüldü, bildirilen doğruluğu ~81× hafife alınmıştı, güven bandı ~48σ fazla dardı ve vekil modelin bildirdiği 0.0056 hatasına karşılık etkin hata 0.454 idi.

Bu kahinler sonuçlarını bir JSON kanıtına değil, bir mühendislik günlüğü kaydına yazdı; bu yüzden derleyicinin onları karşısında çözebileceği bir şey yok. Bunlar claim-grade değildir ve 42 sayısının içinde sayılmazlar. Sitede kalıyorlar, çünkü kendi kör noktamızın ölçümünü silmek daha büyük sahtekârlık olurdu — ama burada, adlarıyla işaretlenmişlerdir; böylece hiçbir okurun bu boşluğu kendi başına keşfetmesi gerekmez.