Belge hattı - Pactmark

Uyumluluk: Pactmark 0.2.x. Bu senaryo, yalnızca fixture kullanan ve hiçbir canlı URL çekmeyen evidence-document-pipeline örneğini yansıtır.

Durum

Bir belge ekibi yapılandırılmış gönderimler alıyor — tedarikçi beyanları, uygunluk bildirimleri, mevzuat taahhütleri — ve belirli baytlara sahip belirli bir belgenin, belirli bir zamanda belirli denetimleri geçtiğine dair kalıcı bir kayıt üretmesi gerekiyor. Pactmark’ın yalnızca altyapı olmaya en yakın olduğu senaryo budur. İçinde neredeyse hiç model yoktur ve asıl nokta budur: ilginç özellik yeniden üretilebilirliktir.

Önce içerik adresleme

Şekil 1. Belge, herhangi bir şey onu incelemeden önce özetiyle tanımlanan bir artifact hâline gelir. Sonraki her referans o özete işaret eder.

const { artifactId, contentDigest } = await context.artifacts.write(
  documentBytes,
  { contentType: "application/json", source: "supplier-portal" },
);

Bu andan itibaren “hangi sürüm denetlendi” sorusunun tam olarak tek bir yanıtı vardır ve o yanıt sonsuza kadar aynı kalır.

Deterministik doğrulayıcılar

Şekil 2. Üç bağ, tek sonuç. Baytları, doğrulayıcıyı veya rubriği değiştirin; önceki sonuç geçerliliğini yitirir.

verifiers: [
  "schema@1",                    // belge beyan ettiği şemayla eşleşir
  "checksum.declared@1",         // beyan edilen sağlama gerçek baytlarla eşleşir
  "citations.shape@2",           // atıf yapılan maddeler yapısal olarak çözülebilir
  "policy.required-fields@3",    // kurum politikası alanları mevcut
],

Model anahtarı gerekmez

Şema, sağlama, politika ve özel denetimler sağlayıcı hesabı olmadan çalışır. Doğrulama yolunun tamamı CI dostudur.

Yapısı gereği yeniden üretilebilir

Aynı baytlar, aynı doğrulayıcı kaydı, aynı rubrik sürümü → aynı sonuç. Kaydı saklamaya değer kılan da budur.

Dışa aktarma

npx pactmark evidence export <runId> --format json > evidence.json
npx pactmark evidence export <runId> --format md   > evidence.md
npx pactmark evidence verify ./evidence.json

Her iki dışa aktarım da deterministiktir. evidence verify kaydın iç referanslarını yeniden denetler; böylece artifact’ı veya doğrulaması kaybolmuş bir kayıt sessiz bir boşluk olarak değil KAF_EVIDENCE_INVALID_REFERENCE olarak yüzeye çıkar.

Asıl test yeniden oynatmadır

npx pactmark replay <runId> --json

replay, sonlanmış bir koşuyu hiçbir araç veya model çalıştırmadan saklanan olaylar ve artifact’lardan doğrular. Bir belge hattı için kabul kriteri budur:

Koşuyu altı ay sonra yeniden oynatın

Yedekten, temiz bir ortamda, farklı bir makinede.

Artifact özetinin değişmediğini doğrulayın

Baytlar kaydıysa içerik adresleme bunu size anında söyler.

Aynı doğrulayıcıların geçtiğini doğrulayın

Aynı rubrik sürümlerine karşı.

Kanıt kaydının hâlâ doğrulandığını doğrulayın

Referansları çözülür ve iddiası hâlâ söylediğini söyler.

Bunlardan biri başarısız olursa saklama kurulumunuz hakkında önemli bir şey öğrenmişsiniz demektir — ki bunu bir denetim sırasında öğrenmekten çok daha iyidir.

Kanıt

{
  "claim": {
    "statement": "sha256:9c04… belgesi beyan edilen sağlamasıyla eşleşti ve 2026-08-05'te dört deterministik doğrulayıcıyı geçti.",
    "claimType": "deterministically_verified_document",
    "scope": "policy@3 rubrik kümesi altında artifact sha256:9c04…"
  },
  "supports": [
    "Beyan edilen sağlama, saklanan baytların özetine eşit",
    "Belge schema@1'e göre doğrulanıyor",
    "Gerekli tüm politika alanları policy.required-fields@3 altında mevcut",
    "Atıf yapılan maddeler citations.shape@2 altında yapısal olarak çözülebiliyor"
  ],
  "doesNotProve": [
    "Belgedeki ifadelerin doğru olduğunu",
    "Belgeyi gönderen tedarikçinin iddia ettiği kişi olduğunu",
    "Atıf yapılan maddelerin belgenin ima ettiğini söylediğini",
    "Herhangi bir mevzuata uygunluğu"
  ],
  "workSplit": {
    "ai": { "kind": "unavailable", "reason": "not_applicable" },
    "human": { "kind": "numeric", "value": 1, "unit": "submissions" },
    "description": "Deterministik hat; doğrulamaya hiçbir model katılmadı."
  }
}

{"kind": "unavailable", "reason": "not_applicable"}, “bu kısımda yapay zekâ yer almadı” demenin dürüst yoludur. Sıfır kaydetmekten anlamlı biçimde farklıdır ve şema bu ayrımı sunar.

Saklama biçimi

Kayıt	Tipik saklama
Belge artifact’ı	En uzun — belgenin arkasındaki mevzuata göre
Doğrulama sonuçları	Artifact’la birlikte; ondan ayrı anlamsızdır
Kanıt kaydı	Artifact’la birlikte
Koşu olayları	Operasyonel pencere, çoğu kez çok daha kısa
Korumalı bağlam	En kısa; yalnızca devam etmeyi sağlamak için vardı

Yalnızca-eklenen koşu gerçeği süresiz saklama demek değildir. Artifact’ları ve kanıtı tutarken olayları silmek meşru bir politikadır — yeter ki replay’in o koşular için artık çalışmayacağını bilin ve buna bilerek karar verin.

Hâlâ sizde olanlar

Geçen bir atıf-biçimi doğrulayıcısı ne kaynak erişilebilirliğini ne olgusal doğruluğu kanıtlar. Deterministik doğrulama burada mevcut en güçlü denetim türüdür ve yine yalnızca rubriğinin adlandırdığını denetler.

Evidence document örneği

Yalnızca fixture kullanan çalıştırılabilir hat.

Artifact'lar ve doğrulama

Bağlar, rubrikler ve istisna kuralları.

​Durum

​Önce içerik adresleme

​Deterministik doğrulayıcılar

Model anahtarı gerekmez

Yapısı gereği yeniden üretilebilir

​Dışa aktarma

​Asıl test yeniden oynatmadır

​Kanıt

​Saklama biçimi

​Hâlâ sizde olanlar

Evidence document örneği

Artifact'lar ve doğrulama

Durum

Önce içerik adresleme

Deterministik doğrulayıcılar

Dışa aktarma

Asıl test yeniden oynatmadır

Kanıt

Saklama biçimi

Hâlâ sizde olanlar