Uyumluluk: Pactmark 0.2.x.
Bir EvidenceRecord, seçilmiş olayları ve iddiaları redaksiyondan sonra özetler. Orada olmayan birine uzatacağınız belgedir. Açıkça bir gizli düşünce zinciri değildir, bir transkript değildir ve bir uyumluluk sertifikası değildir.

Anatomi

Şekil 1. supports ve doesNotProve ikisi de en az bir eleman gerektiren zorunlu dizilerdir. Kendi sınırını ifade edemeyen bir kayıt şema doğrulamasından geçemez. Bu kısıt, çerçevedeki en görüşlü tercihtir. Oradadır, çünkü kanıt sistemlerinin başarısızlık biçimi eksik veri değildir — doğru bir ifadenin daha geniş bir ifade olarak okunmasıdır.

Alanlar ve ne işe yaradıkları

{ statement, claimType, scope }
gerekli
Kelimelerle tek bir iddia, bir tip ve açık bir kapsamla. Olan biten her şeyin listesi değil.
string[]
gerekli
Bu kaydın gerçekte desteklediği şeyler. En az bir giriş.
string[]
gerekli
Bir okuyucunun buradan çıkarmaması gereken şeyler. En az bir giriş.
{ roleFamily, workflowId, riskClass, purposeCode }
gerekli
İşletim bağlamı; böylece iddia sonradan doğru yorumlanabilir.
{ ai, human, description }
gerekli
İşin otomasyon ile insanlar arasında nasıl bölündüğü. Her ölçüt ya birimi olan sayısal bir değerdir ya da bir nedenle açıkça unavailable’dır — not_collected, not_permitted, not_applicable veya unknown.
Ref[]
Özet ile taşınan referanslar. eventRefs en az bir giriş gerektirir — arkasında olay olmayan kanıt kanıt değildir.
unavailable biçimi kendi sistemlerinizde kopyalamaya değer. “Bunu ölçmedik” ile “bu sıfırdı” çoğu panelde birbirinin aynı görünür ve tamamen farklı iddialardır.

Redaksiyon dışa aktarımdan önce olur

Redaksiyon sınırda zorlanır, görüntüleyiciyi yapılandıran kişiye bırakılmaz. Prompt’lar, tamamlamalar, çalışma alanı gövdeleri, araç argümanları ve sonuçları, kimlik bilgileri, challenge kanıtları, korumalı bağlam ve gizli akıl yürütme kanıta girmez. Test paketleri kanıt, telemetri, olaylar, artifact’lar, loglar ve HTTP yanıtları boyunca gizli kanaryalar çalıştırır. Bir kanaryanın herhangi bir yerde görünmesi bir derleme hatasıdır.

Dışa aktarma

evidence verify, kaydın iç referanslarını yeniden denetler. KAF_EVIDENCE_INVALID_REFERENCE, kaydın eksik veya uyumsuz bir şeye işaret ettiği anlamına gelir — ki bu, kayıt önemli bir yere gitmeden önce görmek isteyeceğiniz tam olarak o hatadır.

Desen olgunluğu, bir desen hakkında kanıttır

İlgili bir mekanizma: yeniden kullanılabilir desenler yerel gözlemler olarak başlar ve ancak tekrar eden kullanım, uyumlu ajan ve doğrulayıcı kimlikleri, kabul edilebilir sonuçlar, açık inceleme ve açık yüksek riskli bulgu bulunmaması sonrası terfi ettirilebilir.
Bir model kendi davranışını terfi ettiremez. Yetersiz destekle yapılan terfi KAF_PATTERN_INSUFFICIENT_EVIDENCE üretir. Olgunluk, sınırlı bir desen sürümü hakkında bir ifadedir — yeni araç, politika, şema veya ortam özetleri yeni kanıt gerektirir.

Kanıt neyi kanıtlar

Tam olarak şunu: adı konmuş denetimler, adı konmuş baytlar üzerinde, adı konmuş ortamda, adı konmuş zamanda. Doğruluğu, güvenliği, mevzuata uygunluğu veya bu kapsamın dışındaki herhangi bir kullanıma uygunluğu kanıtlamaz — ve kaydın kendisi bunu söylemek zorundadır.

Pactmark neyi kanıtlamaz

Çerçeve düzeyindeki tam liste.

Saklama, silme ve denetim

Kanıtı kendi yaşam döngüsü olan ayrı bir kayıt olarak tutmak.