Uyumluluk: Pactmark 0.2.x. Her örnek deterministik bir modelle çevrimdışı çalışır. Hiçbiri sağlayıcı anahtarı veya ağ erişimi gerektirmez.

Çalıştırma

Her örnekte test, typecheck, build ve dev script’leri vardır. test ile başlayın — ilginç doğrulamalar senaryo testlerinde yaşar.

Örnekler

Minimal tool agent

Değişmez bir fixture üzerinde tek bir R1 okuma aracı. Sıralı olaylar, saklanan bir artifact, dışa aktarılmış bir kanıt kaydı.

Workspace agent

Sınırlı bir sanal dosya sistemi: izin listeli kökler, yol ve symlink reddi, çıktı sınırları, iptal, redaksiyon.

Research evidence agent

Deterministik bir kaynak fixture’ı, doğrulanmış bir artifact ve bir EvidenceRecord’a dönüşür. Çevrimdışı ve CI’da zorunlu.

Portable agent

Node, Vercel ve Cloudflare biçimli giriş noktalarından çağrılan değiştirilmemiş tek bir uygulama.

Depodaki diğerleri

Simüle edilmiş bir giden mesaj için onay sınırının tamamı. CLI yalnızca kanonik önizlemeyi yazdırır; challenge doğrudan komuta geçirilir ve asla yazdırılmaz. Çökme senaryoları ve mutabakat idempotency davranışını kanıtlar — gerçek bir sağlayıcı tarafından teslimi değil.
Bir JSON belgesini içerik-adresler, tam baytları ve atıf biçimini doğrular, iddia-sınırlı bir EvidenceRecord üretir ve deterministik JSON ile Markdown dışa aktarır. Canlı URL çekimi yok.
Kasıtlı olarak kapalı biçimde başarısız olur. Tam bir R4 politika kimliği ve deterministik bir satın alma önizlemesi oluşturur, sonra KAF_EXAMPLE_APPROVAL_SURFACE_UNAVAILABLE ile gönderimi reddeder. Hiçbir satın alma veya dış yazma gerçekleşmez. Bu bir onay-akışı başarı iddiası değildir.
Kasıtlı olarak kapalı biçimde başarısız olur. Genel worker yetki vericisinin bir sistem worker’ını tek bir koşuya, zamanlayıcı makbuzuna, kiraya ve fencing token’a bağladığını ve daha yeni bir fence’in eski devretmeyi geçersiz kıldığını kanıtlar. Kalıcı devam iddia etmez.

İki örnek neden çalışmayı reddediyor

approval-purchase-boundary ve delegated-incident-boundary, alternatifi taklit edilmiş bir başarı olduğu için vardır. Çalışan bir onay-güdümlü yazmayı simüle eden bir örnek, size henüz genel cephede var olmayan bir API’yi öğretirdi.
Pactmark’ı değerlendiriyorsanız önce o ikisini çalıştırın. Mevcut sınırların nerede olduğunu bu sitedeki her metinden daha hızlı anlatırlar ve projenin rahatsız edici olguları nasıl ele aldığı için makul bir göstergedirler.

Her örneğin ortak yanı

Deterministik model

Senaryolanmış bir sürücü. Sağlayıcı anahtarı yok, kararsızlık yok, fatura yok.

Çevrimdışı

Ağ erişimi yok. Fixture’lar gömülü ve değişmez.

Dürüst hazırlık

Bellek destekli; bu yüzden evaluateReadiness({ profile: "production" }) hazır-değil döndürür.

Senaryo testleri

Ret, iptal ve sınır koşulları dâhil — yalnızca mutlu yol değil.

Beyan edilmiş bir sınır

Her README, sonucunun neyi desteklemediğini söyler.

Gerçek kanıt çıktısı

Okuyup dışa aktarabileceğiniz gerçek bir EvidenceRecord.

Minimal tool agent ile başlayın

En küçük eksiksiz Pactmark koşusu, satır satır açıklanmış.