ProofFrame 0.7.2 · Rust tabanlı
Katı Arrow sözleşmesini ver. Kesin bulguları, kararlı parmak izini, anahtarlı farkı ve doğrulayabileceğin kanıtı al.
pip install proofframe==0.7.2 · cargo add proofframe@0.7.2
Tarayıcında çalışır
Bu bir oynatım değil. ProofFrame motorunun kendisi WebAssembly'ye derlendi ve bu sekmenin içinde koşuyor; dosyan hiçbir yere yüklenmiyor. Aşağıda bildirdiği sürüm, çalıştırdığın yapının sürümüdür.
ProofFrame dosyayı okur, bulduklarından taslak bir sözleşme çıkarır ve sen incelemeden onu çalıştırmayı reddeder.
Güncel sürüm · Eylül 2026
Airflow ve Dagster artık örnek DAG değil, gerçek paket. İkisi de motoru CLI'ya çıkmadan kendi süreçlerinde çağırıyor. Bir taramanın döndürdüğü karar üç durumlu, her iki zamanlayıcı ise iki alan sunuyor — eşleme çağırana bırakılmadı.
ProofFrameAcceptOperator dosyayı sözleşmeye karşı worker'ın içinde tarar; böylece kütüphanenin hata tipleri korunur ve geçerli sınırlar motorun kendi bellek ve geçici depolama sınırları olur. ProofFrameVerifyOperator başka bir görevin ürettiği paketi doğrular ve hiçbir şeyi yeniden taramaz.
build_acceptance_check bir asset check döndürür; reddedilen veri, kimsenin okumadığı ayrı bir op'ta değil onu üreten varlığın üzerinde görünür. Varsayılan engelleyici, yani aşağı akış hüküm çıkana kadar bekler.
Ret bir hatadır: veri tarandı ve geçemedi. Bilinmiyor bir uyarıdır: tarama hiç tamamlanmadı, yani bir karar verilmedi. Bilinmiyor'u hataya katlamak verilmemiş bir kararı raporlamak, geçmiş saymak ise ters yönde verilmiş bir kararı raporlamak olurdu.
XCom zamanlayıcının metadata veritabanında durur; paket ise tam raporu ve Evidence V2 zarfını taşır. Oradan yalnızca karar, onu tanımlayan özetler ve paketin yazıldığı yol geçer.
Aynı baytlar aynı sözleşme altında farklı bir karara varamaz; bu yüzden ret, Airflow'un yeniden denemediği hatayı yükseltir. Yeniden denemenin meşru olarak değiştirebileceği tek durum bilinmiyor'dur, yapılandırılabilir bırakılan da odur.
Anahtar vermezsen paket yalnızca özete bağlıdır. İki paket de ürettikleri paketin imza taşıyıp taşımadığını bildirir; her paket imzalıymış gibi davranmaz.
Neyin kontrol edildiğini bil. Neyin değiştiğinin kanıtını sakla.
Kanıt döngüsü
ProofFrame veri setini, kuralları, yürütme sınırlarını ve sonucu birbirine bağlı tutar.
Bilinmeyen alanlar, eksik sütunlar, geçersiz sınırlar ve tip uyuşmazlıkları ilk satır taranmadan durur.
Saklanan bulgular sınırlıyken toplam sayı kesin kalır. Sınırsız çıktı üretmeden kuralın nerede bozulduğunu görürsün.
Parmak izi ve özetler kaynak kimliğini, şemayı, sözleşmeyi, planı, kaynakları ve sonucu tek kayda bağlar.
Nasıl çalışır
Python ve Rust aynı Arrow tabanlı motorda buluşur. Satırları çalışma anında yorumlayan bir ifade dili yoktur.
Sütun, sütunlar arası, koşullu, veri seti ve bölüm kurallarını sürümlenmiş JSON sözleşmesiyle yaz.
PyArrow, Pandas, Polars, CSV, Parquet veya akışlarda açık bellek ve geçici depolama sınırlarıyla çalıştır.
Deterministik Evidence V2'yi sakla veya Receipt V2'yi imzala; CI'da ya da prodüksiyonda bağımsız doğrula.
Kanıt anatomisi
Her özetin tek bir görevi vardır. Birlikte sessiz değişiklikleri görünür ve tekrar üretilebilir kılarlar.
Bozuk geçici veri, uyumsuz şema, belirsiz sözleşme ve aşılan sınırlar açık hatayla durur. İmzalı makbuzlar kriptografik geçerliliği imzalayana duyulan güvenden ayırır.
Açık kaynak · Apache 2.0
Python paketini ya da Rust crate'ini kullan. Aynı yerel motor aynı sözleşmeyi derler ve aynı kanıt modelini üretir.
$ pip install proofframe==0.7.2 # katı kontrol + Evidence V2 checked = pf.check_with_evidence( table, contract, max_samples=20 )
SSS
Evet. Linter, WebAssembly'ye derlenmiş motoru senin sekmende çalıştırır. Dosyan yüklenmez, rapor ve parmak izi motordan gelir, indirdiğin HTML incelemesi de CLI'ın yazdığı dosyanın aynısıdır.
V2 protokolü fiziksel Arrow şemasını, satır ve sütun sırasını, null değerleri, tip etiketlerini ve kanonik değerleri bağlar.
Kesin benzersizlik ve anahtarlı fark işlemleri açık bellek ve geçici depolama bütçeleri kullanır; sınır aşılırsa fail-closed davranır.
0.7.2; çapraz platform CI, sürümlenmiş sözleşmeler, sabit parmak izi protokolleri, Evidence V2, Receipt V2, kabul paketleri, Python wheel'leri ve Rust crate'i sunar. Kritik kullanım öncesinde kendi güvenilirlik gereksinimlerinle değerlendir.
Söz değil kanıt
Tek bir sözleşme ve tek bir pipeline ile başla. İş bittikten sonra bile inceleyebileceğin kanıtı sakla.
ProofFrame'i GitHub'da aç