Bu sayfa motorumuzun ölçülmüş sonuçlarını yayınlıyor — ve her sayının yanında, o sayının neyi kanıtlamadığını. Bir kapının geçilmiş olması, sonucun dışarıda tekrarlanabilir olduğu anlamına gelmez; ikisi ayrı ayrı yazılı.
%100
Korpusun geçmesi gerektiğini söylediği 1.071 belgenin tamamı motor tarafından kabul edildi. Yol %85,34'ten başladı.
Kapı: %99.5 — karşılandı.
Bu ölçüm kendi başına duruyor: beklenen sonuç korpusun kendisinde yazılı, kurulacak ikinci bir araç yok.
docs/quality/pdf-oracle-verapdf-2026-07.md
%99,75
Politika sınıflaması sonrası oran. Yalnız "bizim tarafın hatası" sınıfı kapıya sayılıyor.
Kapı: %99.5 — karşılandı.
Ölçüldü, kaydedildi — ama henüz bir sonuç olarak yayınlanabilir değil. Nedenleri aşağıda tek tek yazılı; bu sayıyı bitmiş bir iddia gibi aktarmak onu olduğundan büyük gösterir.
docs/quality/pdf-differential-oracle-2026-08-09.md
400
GovDocs1'den örneklenmiş gerçek dünya belgesi sayısı.
Ölçüldü, kaydedildi — ama henüz bir sonuç olarak yayınlanabilir değil. Nedenleri aşağıda tek tek yazılı; bu sayıyı bitmiş bir iddia gibi aktarmak onu olduğundan büyük gösterir.
docs/quality/pdf-differential-oracle-2026-08-09.md
2.907
Korpustaki toplam belge sayısı; beklenen sonuç her dosyanın adında yazılı.
Bu ölçüm kendi başına duruyor: beklenen sonuç korpusun kendisinde yazılı, kurulacak ikinci bir araç yok.
docs/quality/pdf-corpus-coverage.json
Differential oracle şu karşılaştırıcılarla koştu: qpdf, mutool. Şu karşılaştırıcı bu ortamda yoktu ve koşmadı: pdfium. Bu fark önemlidir — "differential oracle" ifadesi iki araçtan daha fazla kapsama sahipmiş gibi okunur, ve eksik olan araç tam da o farkı satın alacak olandır.
Buradaki her sayı, onu üreten koşu belgesinden alınan birebir satırla birlikte saklanıyor. Bir CI kapısı o belgeyi okuyor ve satır kaybolmuşsa ya da sayı artık o satırda geçmiyorsa derlemeyi düşürüyor. Yani bu sayfa kendi makbuzundan daha uzun yaşayamaz.
scripts/ci/pdf-evidence-receipt-check.mjs