RUST DECISION KERNEL · 0.5.7
Give Calybris a frozen catalogue, a policy snapshot and a typed request. It evaluates every hard constraint, returns the one eligible action and seals the reason into a replayable proof bundle.Calybris’e sabit katalog, politika anlık görüntüsü ve tipli bir istek verin. Tüm sert sınırları değerlendirir, tek uygun eylemi döndürür ve gerekçeyi yeniden oynatılabilir kanıt paketine mühürler.
req_4f8a72c1
RELEASE 0.5.7 · 22 JUL 2026
0.5.7 is the current public release: patch-compatible with 0.5.5, but materially stronger at the policy, receipt, persistence and recovery boundaries.0.5.7 güncel public sürümdür: 0.5.5 ile patch uyumlu kalırken politika, receipt, kalıcılık ve recovery sınırlarını belirgin biçimde güçlendirir.
CALYBRIS CORE / TRUST RELEASE
Full receipt verification binds replay, claims, trusted signatures, state anchors and WAL anchors in one fail-closed call.Full receipt verification; replay, claim, trusted signature, state anchor ve WAL anchor doğrulamasını tek fail-closed çağrıda birleştirir.
A new product name is in preparation.Yeni ürün adı hazırlanıyor.
ANNOUNCEMENT SOONYAKINDA AÇIKLANACAKStable catalogue ordering, reserved rejection sentinel and public counter limits close ambiguity before the kernel evaluates a request.Kararlı katalog sırası, ayrılmış rejection sentinel ve public sayaç sınırları istek değerlendirilmeden önce belirsizliği kapatır.
Replay, claim integrity, trusted-key signature, state anchoring and WAL anchoring are verified together and fail closed.Replay, claim bütünlüğü, trusted-key imzası, state anchoring ve WAL anchoring birlikte doğrulanır; hata durumunda kapanır.
WAL fsync, immutable snapshot and anchor files are committed through one atomic manifest and verified during recovery.WAL fsync, immutable snapshot ve anchor dosyaları tek atomik manifest ile commit edilir ve recovery sırasında doğrulanır.
A record-level resolver replays policy rotations against the exact policy epoch, catalogue epoch and digest used by each WAL record.Record-level resolver, her WAL kaydını kullandığı kesin policy epoch, catalog epoch ve digest ile replay eder.
Python schemas reject unknown fields, loose types, out-of-range integers and non-canonical digest encodings.Python şemaları bilinmeyen alanları, gevşek tipleri, sınır dışı tamsayıları ve kanonik olmayan digest kodlamalarını reddeder.
CALY-PROOF v1 constructors and artifact surfaces remain available; no existing public Rust item was removed incompatibly.CALY-PROOF v1 constructor ve artifact yüzeyleri korunur; mevcut public Rust öğeleri uyumsuz biçimde kaldırılmadı.
OPERATING CONTRACT
Logs describe what a service says happened. Calybris preserves the exact input, policy and semantic result required to independently check what actually happened.Loglar servisin ne olduğunu söylediğini anlatır. Calybris gerçekten olanı bağımsız doğrulamak için gereken girdiyi, politikayı ve semantik sonucu korur.
Typed request, candidate catalogue and immutable policy snapshot form one evaluation context.Tipli istek, aday kataloğu ve değişmez politika görüntüsü tek değerlendirme bağlamı oluşturur.
Equivalent values become one stable representation before hashing or comparison.Eşdeğer değerler hash ve karşılaştırmadan önce tek kararlı gösterime dönüşür.
Budget, risk, region, latency and capability constraints eliminate ineligible actions.Bütçe, risk, bölge, gecikme ve yetenek sınırları uygun olmayan eylemleri eler.
Input, policy and decision digests travel with the selected action and reason.Girdi, politika ve karar özetleri seçilen eylem ve gerekçeyle birlikte taşınır.
Tamper-evident WAL state records the operating sequence without exposing raw sensitive data.Kurcalama görünür WAL durumu, ham hassas veriyi açmadan operasyon sırasını kaydeder.
The same frozen context reproduces the same semantic result root for an auditor.Aynı sabit bağlam, denetçi için aynı semantik sonuç kökünü yeniden üretir.
LIVE / LOCAL FIXTURE
Select a real operating boundary. The local demo runs the bound path and exposes the recorded result root.Gerçek bir operasyon sınırı seçin. Yerel demo bağlı yolu çalıştırır ve kayıtlı sonuç kökünü açar.
CALY_PROOF / RECEIPT
The receipt is intentionally boring: stable fields, explicit policy, exact digests and a replay state another system can check.Makbuz bilinçli olarak sade: kararlı alanlar, açık politika, kesin özetler ve başka bir sistemin denetleyebileceği replay durumu.
The kernel evaluates a typed request against one frozen candidate catalog and policy snapshot. The selected action, rejected alternatives, reason and cryptographic identities leave together as one proof-carrying result.Çekirdek tipli isteği tek sabit aday kataloğu ve politika snapshot'ına göre değerlendirir. Seçilen eylem, reddedilen alternatifler, gerekçe ve kriptografik kimlikler tek proof-carrying sonuç olarak birlikte çıkar.
Capability, budget, risk and execution context enter explicitly.Capability, bütçe, risk ve execution bağlamı açıkça girer.
One catalog defines comparable actions and immutable attributes.Tek katalog karşılaştırılabilir eylem ve değişmez nitelikleri tanımlar.
Ineligible actions leave typed rejection reasons.Uygun olmayan eylemler tipli ret gerekçesi bırakır.
The eligible result carries the policy reason that selected it.Uygun sonuç kendisini seçen politika gerekçesini taşır.
Input, policy and decision digests reproduce one semantic result root.Girdi, politika ve karar digest'leri tek semantik sonuç kökünü yeniden üretir.
The public core is Apache-2.0 and keeps the decision primitive separate from product-specific routing and reporting layers.Public çekirdek Apache-2.0'dır; karar primitive'ini ürüne özgü routing ve raporlama katmanlarından ayırır.
Current public release record. The product's new name will be announced separately.Güncel public sürüm kaydı. Ürünün yeni adı ayrıca açıklanacak.
CALYBRIS CORE · BY EMIR HÜSEYİN İNCİ
