Pactmark, açık yetki altında sınırlı iş yapan ajanlar için kanıt-öncelikli bir TypeScript çerçevesidir. Bu cümledeki her kelime yük taşır.
Savunulabilir bir kayıt üretmek sonradan eklenen bir özellik değildir. Koşu geçmişi, artifact özetleri, doğrulama sonuçları ve EvidenceRecord kendi şemalarına sahip birinci sınıf nesnelerdir; kendi sınırlarını söyleyemeyen bir kayıt doğrulamadan geçemez.
Koşu, ucu açık bir sohbet değildir. Hedefi, doğrulanmış girdisi, amacı, veri sınıfı, bütçesi, son tarihi ve kabul edilmiş ajan tanımı olan bir WorkOrder’dır. Bu sınırlar tükendiğinde koşu durur.
Yetki bir histir değil, bir nesnedir. Grantlar, onaylar, kimlik bilgisi referansları ve rezervasyonlar host kodu tarafından oluşturulur, bir tenant ve amaca bağlanır ve her etkiden önce yeniden denetlenir.

​
Çözmek için tasarlandığı problem

Bir modele fonksiyon çağırtmayı zaten yapabilirsiniz. Kolayca elde edemediğiniz şey, üç ay sonra bir denetçinin, bir güvenlik gözden geçiricisinin veya bir olay komutanının soracağı sorulara dürüst bir yanıttır:
1

Buna kim yetki verdi?

“Ajan öyle karar verdi” değil — hangi kimliği doğrulanmış principal, hangi tenant içinde, hangi beyan edilmiş amaç için, hangi yetenek grantı altında, ne zamana kadar geçerli.
2

Gerçekte ne oldu?

Yeniden kurgulanmış bir log satırı değil — sonraki hiçbir sürecin yeniden yazmasına izin verilmeyen, sıralı ve yalnızca-eklenen doğrulanmış olay dizisi.
3

Dış etki gerçekleşti mi?

“Muhtemelen” değil — ya bir onay makbuzu, ya kesin bir gönderilmedi, ya da kayıtlı bir mutabakat stratejisini bekleyen açıkça park edilmiş bir belirsizlik.
4

Ne denetlendi, ne denetlenmedi?

“Geçti” değil — tam baytlar, tam doğrulayıcı, tam rubrik sürümü ve o sonucun kanıtlamadığı şeylerin yazılı listesi.

​
Nereye oturur

Şekil 1. Pactmark, bir eylemin sonuçları olduğu ve sonradan birinin bunu soracağı yerlerde karmaşıklığını hak eder. Kanıtın her satırda göründüğüne dikkat edin.

​
Pactmark ne değildir

Ürün sınırını açıkça söylemek herkesin zamanını kazandırır: Çekirdek; iş sözleşmelerine, yetkiye, kalıcı koşu semantiğine, yönetilen etkilere, artifact’lara, doğrulamaya ve sınırlı kanıta sahiptir. Sağlayıcı, protokol, depolama ve platform entegrasyonlarının tamamı adaptörlerin arkasında yaşar ve bu ayrım gelenekle değil bağımlılık kurallarıyla zorlanır.

​
Bu dokümantasyon nasıl okunur

Bugün bir şey inşa edecekseniz

Hızlı başlangıç → İlk ajan → Araç tanımlama → Ajan testi.

Tasarımı değerlendiriyorsanız

Zihinsel model → Mimari → Yetki ve politika → Sınırlar.

Güvenlik gözden geçiricisiyseniz

Güvenlik modeli → Tehdit modeli → Sandbox sınırı → Tedarik zinciri.

Üretimde çalıştıracaksanız

Hazırlık listesi → Veri akışı → Güvenilirlik → Sorumluluk matrisi.
Bu sitedeki her sayfa bir uyumluluk notu taşır ve gerektiğinde anlatılan davranışın neyi tesis etmediğini açıkça belirtir. Bu ifadeler dokümantasyonun bir parçasıdır, sonuna eklenmiş sorumluluk reddi değildir. Benimseyip benimsemeyeceğinize karar veriyorsanız Pactmark neyi kanıtlamaz ile başlayın.