Kendini kanıtlayan
kararlar.
Kritik yönlendirme ve koruma kuralları için deterministik, denetlenebilir bir karar primitifi.
Bir kararın kanıtlanışını izlemek için kaydırın ↓
Kernel'e dondurulmuş bir katalog, bir politika anlık görüntüsü ve tipli bir istek verin.
Her katı kısıtı değerlendirir — bütçe, risk, gecikme, bölge, yetenek — ve uygun tek aksiyonu seçer.
Çıkanlar: karar ve aynı cevaba yeniden oynayan bir denetim paketi.
Her digest yazılı bir sözleşmeyle sabitlenir. Bir denetçi, sizin motorunuzu hiç çalıştırmadan tüm izi doğrulayabilir.
Log grep kanıt değildir.
Bir yönlendirme kararı paraya mal olduğunda ya da bir kuralı çiğnediğinde, "servis B'yi seçti" bir cevap değildir. Post-mortem ve uyumluluk; hangi politikanın canlı olduğunu, girdinin ne olduğunu ve aynı girdilerin hâlâ aynı aksiyonu üretip üretmediğini bilmek ister. Çoğu sistemin sunabildiği tek şey log'lardır — yani kararın, denetlenen şeyin kendi kaleminden yazılmış hikâyesi.
Katalog, politika, istek girer. Tek aksiyon ve kanıt çıkar.
Katalog sizin: tedarikçiler, modeller, borsalar. Kernel katı kısıtları değerlendirir, uygun adaylar içinden en iyisini seçer ve çevrimdışı yeniden oynatıp doğrulayabileceğiniz digest'ler yayar. Tam sayı aritmetiğiyle çalışan Rust sıcak yolu, barındırılan hiçbir bağımlılık yok, proje kodunda unsafe yok.
katalog + politika + istek -> karar + denetim paketi
Üç eşleme, üç ürün değil.
Tedarikçi yönlendirme, model yönlendirme ve işlem-öncesi kabul; tek bir API üzerine referans eşlemeleridir. Calybris bir OMS değil, bir LLM ağ geçidi değil, bir eşleştirme motoru değil — o sistemlerin çağırdığı karar kernel'idir.
Tedarikçi yönlendirme
Bütçe, bölge ve yetenek kapılarının altında uygun tedarikçiyi seçin.
Model yönlendirme
Maliyet, gecikme ve yetenek kısıtlarını sağlayan modele yönlendirin.
İşlem-öncesi kabul
Bir emri katı risk ve bütçe limitlerine karşı kabul edin ya da reddedin.
Kanıt formatı bir sözleşme, uygulama detayı değil.
Calybris kararın tüm yolunu bağlar: politika digest'i, girdi digest'i, karar digest'i, yeniden oynatma sonucu. 0.5.0'dan beri her digest ve zincir baytı CALY_PROOF.md içinde tanımlı, golden vector'ler bunları sürümler ve platformlar arasında sabitliyor ve pakete dahil calybris-verify CLI'ı bir denetçinin karar izini — zincir bütünlüğü, digest'ler ve tam kernel yeniden oynatması — sizin motorunuzu hiç çalıştırmadan denetlemesini sağlıyor.
politika digest + girdi digest + karar digest + yeniden oynatma
Sözleşme Rust çekirdeğidir.
Doğruluk ve yeniden oynatma semantiği Rust'ın sorumluluğunda; crates.io'daki calybris-core stabildir ve karşısında kod yazacağınız şey odur. Python paketleri entegrasyon ve demo için ergonomik giriş noktalarıdır — deneysel ve 1.0 öncesi. Onları üretim altyapısı saymadan önce kendi yığınınızda olgunlaştırın.
Hattın iki ucunda kanıt.
ProofFrame verinizi kanıtlar: kanonik parmak izleri, satır seviyesinde kanıtla sözleşme doğrulaması ve imzalı makbuzlar. Calybris kararınızı kanıtlar: politikaya bağlı digest'ler ve çevrimdışı yeniden oynatma. İkisi de Python bağlarına sahip Rust, ikisi de Apache-2.0, ikisi de güven istemek yerine kanıt üretir.
Yeniden oynatılmış bir karara beş dakika.
cargo add calybris-core
Quickstart örneği iki modelli bir politika kurar, tek bir isteği reçetelendirir, yeniden oynatmayı doğrular ve bir denetim paketi yazdırır. Apache-2.0, MSRV 1.85.
Calybris'i gerçekten yük altında mı çalıştıracaksınız? Ticari destek ve SLA seçenekleri mevcut — emirhuseyin@calybris.tech.