12
Yapısal güvence
Tasarım gereği engellenen hatalar. Her biri adıyla anılan otomatik testlerle her derlemede sınanır.
Yöntem ve kanıt
Bu sayfa neyi kanıtladığımızı, neyi ölçtüğümüzü ve neyi henüz kanıtlayamadığımızı gösterir. Buradaki her durum depodaki kayıtlardan otomatik üretilir; elle yazılmaz. Bir onay alındığında veya bir ölçüm yenilendiğinde sayfa kendiliğinden değişir.
Kaynak özeti ff7016e4162a · kural paketi TR-HUKUK-GENEL 0.1.0-taslak
Kısa durum
Yok
Yapay zekâ doğruluk ölçümü
Bulguların doğruluğu sağlayıcı ve bulgu türü başına ölçülecek. Ölçüm yayımlanana kadar bir doğruluk oranı söylemiyoruz.
11/11
Açık yayın kapısı
Kuralların hukuki doğruluğu, KVKK ve meslek hukuku değerlendirmesi gibi insan onayı gereken adımlar.
Yapısal güvenceler ve testleri
Her satırda ne iddia ettiğimiz, bunu koruyan testlerin kimliği, testin neyi kanıtladığı ve neyi kanıtlamadığı yazar. Test kimlikleri ürün gereksinim belgesindeki kabul kriterleridir.
- e-Devlet ve UYAP şifrenizi, SMS kodunuzu veya e-imza PIN'inizi istemez; uygulama UYAP'a ve e-Devlet'e bağlanmaz.
- Testler: KK-02 geçiyor
- Kanıtladığı: Sunucunun kimlik uçlarında parola alanı yoktur, fazladan alan reddedilir; uygulama UYAP'ı yalnız sizin tarayıcınızda resmî adresiyle açar.
- Kanıtlamadığı: Sahte bir uygulamaya şifre girmenizi engelleyemez; şifre isteyen her şeyden uzak durun.
- Belgeleriniz bilgisayarınızda şifreli olarak durur; şirket sunucularında saklanmaz.
- Testler: KK-03KK-07KK-31 geçiyor
- Kanıtladığı: Standart yolda sınama içeriği geçit kayıtlarında, veritabanında ve e-postalarda bulunmaz; şifreli kasa dışında düz metin dosyası kalmaz; sunucuda dava içeriği alanı yoktur.
- Kanıtlamadığı: Standart yolda metin parçaları analiz sırasında AB'deki geçitten geçerek Anthropic'e (ABD) gider; orada saklama, sağlayıcının kendi koşullarına tabidir.
- Kritik ve yüksek önemdeki her bulgu, belge adı, sayfa ve alıntıyla en az bir belge sayfasına bağlıdır.
- Testler: KK-11KK-35 geçiyor
- Kanıtladığı: Alıntının belgede o sayfada gerçekten bulunduğu karakter düzeyinde doğrulanır; uydurma belge veya alıntı reddedilir; belge değişirse bağlı bulgu geçersiz olur.
- Kanıtlamadığı: Alıntının sayfada bulunduğunu kanıtlar; o alıntıdan çıkarılan yorumun hukuken doğru olduğunu kanıtlamaz.
- Tebliğ veya başlangıç tarihi belgeyle doğrulanamazsa son gün hesaplanmaz ve süre BİLİNMİYOR gösterilir.
- Testler: KK-16 geçiyor
- Kanıtladığı: Tarihi belgeyle doğrulanmayan her süre için sonuç BİLİNMİYOR olur ve son gün alanı yapısal olarak boş kalır.
- İki hukukçunun onaylamadığı bir kural ONAYLI süre üretemez; bugün bütün süreler en fazla GEÇİCİ gösterilir.
- Testler: KK-18 geçiyor
- Kanıtladığı: Onaysız kural, onaysız takvim veya geliştirme anahtarıyla imzalı paket ONAYLI sonuç üretemez (mülkiyet testleri).
- Kural paketi denetimi geçiyor
- Kanıtladığı: Yayımdaki kural paketinin imzası her derlemede gerçekten doğrulanır ve onay kayıtları sayılır.
- Kanıtlamadığı: Kuralların hukuken doğru olduğunu kanıtlamaz; bu, iki hukukçunun onayıyla (G-01) kanıtlanır.
- Hiçbir bulgu bir avukatın, hâkimin veya başka bir kişinin kusurlu olduğunu tespit etmez; suçlayıcı cümleler rapora giremez.
- Testler: KK-15KK-36 geçiyor
- Kanıtladığı: Görevli ile suçlama sözcüğü aynı cümlede geçerse bulgu reddedilir; hâkim değişikliği tarafsız olay olarak yazılır.
- Kanıtlamadığı: Engel bir ifade listesine dayanır; listenin yakalamadığı ifadeler için hukuk editörü denetimi gerekir.
- Durum e-postaları dava bilgisi içermez: dava numarası, mahkeme, taraf, bulgu veya rapor yoktur.
- Testler: KK-26 geçiyor
- Kanıtladığı: Her e-posta şablonunun anlık görüntüsünde dava verisi sıfırdır; bildirim kapalıyken e-posta gitmez.
- İlerleme yüzdesi tamamlanan gerçek işten hesaplanır; yapay bekletme yoktur.
- Testler: KK-28 geçiyor
- Kanıtladığı: Yüzde, belirlenimci bir testle gerçek iş birimlerinden hesaplanır; kodda bekletme yoktur.
- Masaüstü uygulamasının içinde şirketin hiçbir gizli anahtarı veya şifresi bulunmaz.
- Testler: KK-27 geçiyor
- Kanıtladığı: Her derlemede kurulum paketi ve ikili dosyalar bilinen sır biçimleri için taranır.
- İmzasız veya değiştirilmiş güncelleme ve kural paketi yüklenmez.
- Testler: KK-32 geçiyor
- Kanıtladığı: Tek baytı değiştirilmiş paket ve imzasız güncelleme testte reddedilir.
- Belgelerin içine gizlenmiş talimat cümleleri yapay zekâya komut olarak işletilmez.
- Testler: KK-19 geçiyor
- Kanıtladığı: Sentetik saldırı belgeleri setinde talimatın işletildiği, veri sızdırdığı veya rapor şemasını bozduğu vaka sıfırdır.
- Kanıtlamadığı: Bilinen saldırı biçimlerinden üretilmiş bir sette ölçülmüştür; her yeni biçimi kapsadığı kanıtlanamaz.
- Kurulum ve kullanım yönetici yetkisi istemez.
- Testler: KK-42 geçiyor
- Kanıtladığı: Kurulum paketinin yapılandırması yalnız kullanıcının kendi profiline kurulumu zorunlu kılar (yapılandırma testi).
- Kanıtlamadığı: Standart kullanıcı oturumunda uçtan uca otomatik kurulum testi henüz yoktur.
Hukuki dayanağın durumu
Süre hesapları imzalı bir kural paketinden yapılır. Paketin imzası her derlemede gerçekten doğrulanır; onay kayıtları sayılır. Kuralların madde dayanakları ve hesap yöntemi Hukukçular için sayfasındadır.
- Kural paketi
- TR-HUKUK-GENEL · 0.1.0-taslak
- Yayın tarihi
- 09.10.2026
- İmza anahtarı
- Geliştirme anahtarı
- İki hukukçu onaylı kural
- 0 / 6
- Tatil takvimi
- 2023–2027
- ONAYLI süre üretebilir mi?
- Hayır
Taslak Bu paketle üretilen bütün süreler en fazla GEÇİCİ gösterilir. ONAYLI süre için üç koşulun birlikte sağlanması gerekir: üretim anahtarıyla imza (G-07), her kuralın ve takvimin iki hukukçu tarafından onayı (G-01).
Yayın kapıları
Yazılımla kapatılamayan, insan ve kurum onayı gereken adımlar. Bir kapı ancak yazılı belgesine başvuruyla ve tarihiyle kapanır. Gerekli kapıların hepsi kapanana kadar ürün yalnız açıkça etiketlenmiş erken erişimle satılır.
| Kapı | Ne gerekir? | Sorumlu | Durum |
|---|---|---|---|
| G-01 | Her mahkeme türünün kural paketi ve tatil takvimi iki hukukçu tarafından onaylanmıştır. | Kullanıcının avukatı + ikinci onaylayıcı | Açık |
| G-02 | En az 100 sentetik veya meşru anonimleştirilmiş dosyada avukat onaylı karışıklık matrisi çıkarılmış, eşikler yazılı olarak kabul edilmiştir. | Hukuk editörü + QA | Açık |
| G-03 | KVKK paketi tamamdır (aydınlatma, açık rıza değerlendirmesi, VERBİS, m.9 aktarım mekanizmaları ve Kurula bildirim). | KVKK uzmanı avukat | Açık |
| G-04 | Avukatlık hukuku yazılı görüşü alınmıştır (Av.K. m.35 mütalaa; avukat ağı için m.48, m.55 ve TBB Reklam Yasağı Yönetmeliği). | Avukatlık hukuku uzmanı | Açık |
| G-05 | Tüketici metinleri onaylanmıştır (mesafeli satış, ön bilgilendirme, cayma istisnası, iade ve gecikme telafisi, haksız şart denetimi, U-01…U-10 son metinleri). | Avukat | Açık |
| G-06 | PayTR üye işyeri sözleşmesi imzalanmış, canlı anahtarlar alınmış ve e-arşiv fatura entegratörü bağlanmıştır. | Kurum yöneticisi + mali müşavir | Açık |
| G-07 | Windows kod imzalama sertifikası alınmış; güncelleme ve kural paketi imza anahtarları HSM veya çevrim dışı ortamda üretilmiştir. | Güvenlik yöneticisi | Açık |
| G-08 | Gönderim alan adında SPF, DKIM ve DMARC yayındadır; büyük e-posta sağlayıcılarına teslim testi geçmiştir. | Kurum yöneticisi / BT | Açık |
| G-09 | Bağımsız penetrasyon testinde P0/P1 açık yoktur. | Bağımsız güvenlik firması | Açık |
| G-10 | Canlıya çıkış (GO/NO-GO) toplantısı tutanağı imzalanmıştır. | Tüm sorumlular | Açık |
| G-11 | Ürün adı ve pazarlama dili, resmî bilirkişilik algısı ve yanıltıcı reklam riski açısından değerlendirilmiştir ("Ekspertiz" kelimesi dahil). | Avukat | Açık |
Ölçümler
Ölçüm sonuçları yalnız yayımlandığında görünür. Ölçülmemiş bir şey için oran söylemeyiz.
Yapay zekâ doğruluğu
Yapay zekâ bulgularının doğruluğu sağlayıcı ve bulgu türü başına ölçülür ve güven aralığıyla yayımlanır. henüz doğrulanmadı
Henüz yayımlanmış bir ölçüm yok. Ölçüm düzeneği hazır ve elle yazılmış sentetik kayıtlarla sınandı; bu sınama bir doğruluk sonucu değildir.
Sentetik dosyalarla süre ve kaynak uyumu
Korpus ölçümü yayımlandı.
Bu ölçüm, iki bağımsız uygulamanın aynı sentetik dosyalarda aynı sonucu verip vermediğini ölçer; hukuki doğruluğun son kanıtı değildir.
Bilinen sınırlar
Ürünü olduğundan fazla sanmamanız için bilmeniz gerekenler.
- Kural paketi 6 süre kuralı ve 4 tebliğ kuralı içerir. Diğer süreler hesaplanmaz.
- Tatil takvimi 2023–2027 yıllarını kapsar. Bu aralık dışındaki tarihler için süre BİLİNMİYOR olur.
- Pandemi ve deprem dönemlerindeki süre durmaları modellenmedi.
- Ölçümler sentetik dosyalarla yapılır. Gerçek belge düzenlerinde tanıma hataları olabilir; iç değerlendirmelerde bulunan hatalar düzeltilmektedir.
- Ceza, idare ve vergi yargısı dosyaları kapsam dışıdır.
- 5 iddianın kanıtı henüz tamamlanmadı; yukarıda "henüz doğrulanmadı" diye işaretlidir.
Makine okunur veri
Bu sayfanın dayandığı durum verisini kendi analiziniz için indirebilirsiniz: kanit-durumu.json. Veride dava içeriği yoktur; yalnız kimlik, sayı, tarih ve durum vardır.