KLM ile ilk doğrulama

KLM'yi incelemeye başlamak için bir model çalıştırmak gerekmiyor. Depodaki örnek kayıtları doğrulamak, sözleşmenin hangi bilgileri aradığını ve hangi çelişkileri reddettiğini görmek için yeterli bir ilk adım.

Bu rehber, 9 Ekim 2026'da incelenen açık kaynak depo sürümündeki Python araçlarını kullanıyor. Komutlar bir KLM kaydını denetler; bir modelin bütün davranışlarını test etmez.

1. Depoyu al

Python 3 ve Git bulunan bir ortamda:

git clone https://github.com/omasim/KLM.git
cd KLM
git checkout 459aa899c42d27afcbaf475546542b7d17d2cc29

Belirli commit'e geçmek bu rehberdeki sonuçları yeniden üretmek içindir. Projenin güncel geliştirmesini izlemek için ana dalı ayrıca inceleyebilirsin. Depodaki doğrulama yolu Python standart kütüphanesini kullanır.

2. Çalışılmış örneği doğrula

python3 schema/validate_attestation.py --level 4 \
  schema/examples/attestation-worked-example.json

Bu örnek için doğrulayıcı KLM-4 Attributable sonucunu verdi. Kayıt iki iddia, iki kanıt nesnesi, bir prosedür ve altı ilişki içeriyor. Kullandığı kayıt şeması klm-attestation/0.1; bu, eski şema kayıtlarının kendi kurallarıyla değerlendirilmesi örneği.

Önemli ayrım: sonuç, yanıttaki bütün iddiaların doğru olduğunu söylemiyor. Örnekte desteklenmeyen bir iddia da var. Doğrulayıcı, bu durumun kayıtta nasıl ifade edildiğine ve kanıt ilişkilerine bakıyor.

3. Reddedilmesi gereken kaydı çalıştır

python3 schema/validate_attestation.py \
  schema/examples/invalid/attestation-violations.json

Bu komutun başarısız olması bekleniyor: FAIL sonucu ve sıfırdan farklı çıkış kodu bir kurulum hatası değil, bu örneğin amacı.

Kontrolde görülen ihlaller arasında parametrik bilgi için tutarsız kaynak alanları, tetiklenmediği halde etkinleştirilmiş görünen prosedür, olmayan metin aralığına bağlantı ve güven farkının bileşenleriyle uyuşmaması bulunuyor. Geçerli örneğin geçmesi kadar bu kayıtların reddedilmesi de önemli.

4. Bir iddiaya destek etiketi vermeyi dene

Orijinali koruyarak bir kopya oluştur:

cp schema/examples/attestation-worked-example.json \
  /tmp/klm-supported-without-evidence.json

Kopyada support_status değeri unsupported olan iddiayı bulup yalnız bu değeri supported yap. Yeni bir kanıt bağlantısı ekleme. Ardından:

python3 schema/validate_attestation.py --level 2 \
  /tmp/klm-supported-without-evidence.json

Bu değişiklik, iddiayı desteklenmiş hale getirmeye yetmez. Doğrulayıcı ilgili supports ilişkisinin yokluğunu bildirir ve istenen KLM-2 seviyesini reddeder. Destek, yalnız elle yazılan bir durum etiketiyle kurulmaz.

Sonuç nasıl okunmalı?

Geçen veya kalan şey, belirli şema ve seviyenin koşulları altında kayıttır. Sonucu bütün bir modelin uygunluğu, bağımsız bir sertifika veya doğru cevap garantisi diye genişletmemek gerekir.

Kendi uygulaman için sonraki adım, kaynak ve iddia kimliklerini gerçekten üreten bir kayıt hazırlamak; eksik sinyalleri açık tutmak ve araçların bu kaydı neden kabul ettiğini veya reddettiğini izlemektir.

KLM tanıtımı ve bilinmeyen–sıfır ayrımı, bu araçların arkasındaki kavramsal çerçeveyi açıklıyor.

Kaynaklar ve sürüm

Bu metin 9 Ekim 2026 tarihinde incelenen açık kaynak depo sürümüne dayanıyor. Aşağıdaki bağlantılar aynı commit’e sabitlenmiştir; projenin güncel durumu değişebilir.

• Quickstart
• Validator
• Worked example
• Invalid example