Uyumluluk: Pactmark 0.2.x. Sürüm 0.2.0, paket başına SLSA provenance ve bağımsız doğrulanmış registry baytlarıyla npm’de herkese açıktır. Genel yayın ve registry sahipliği doğrulanmıştır; aşağıdaki üretim veya güvenlik iddialarının hiçbiri bundan türemez.
Bu projedeki her yeşil test yalnızca kendi fixture’ı ve ortamı için geçerlidir. Bu sayfa, yeşil bir testin ne anlama gelmediğini tek yerde toplar.

​
Çerçeve düzeyindeki sınırlar

Küresel tam-bir-kez etki yok

Pactmark, denetimli etkilerle en-az-bir-kez yürütme kullanır. Belirsizlik çözülmüş bir problem değil, kaydedilmiş bir durumdur.

Eksiksiz güvenlik iddiası yok

Tasarım, belirli riskleri belirli kontrollerle azaltır. Üzerine kurulan bir sistemin güvenli olduğunu tesis etmez.

Sandbox izolasyonu yok

Referans konteyner fixture’ı, üretimde rastgele kod izolasyonu için açıkça güvensizdir.

Sertifikasyon veya uyumluluk yok

Buradaki hiçbir şey bir mevzuat sonucuna eşlenmez. Kanıt, kontrol çerçevenizin girdilerinden biridir.

Üretim erişilebilirliği yok

SLA yok, barındırılmış hizmet yok, çalışma süresi iddiası yok.

Sağlayıcı doğruluğu yok

Model, veritabanı ve platform sağlayıcıları sınırın dışındadır. Davranışları sizin riskinizdir.

Artifact doğruluğu yok

Doğrulama, tam baytların adı konmuş özelliklerini denetler. İçeriği doğru kılmaz.

Aşırı geniş grantlara karşı koruma yok

İzin verilmiş bir model eylemi, fazla cömert bir host grantı içinde hâlâ istenmeyen olabilir.

​
Platform düzeyindeki durum

Şekil 1. İkinci sütunu değil üçüncüyü okuyun. “Yerelde derlenebilir”, bir derleme hakkında bir ifadedir; operatörün dağıtılmış topolojisi hakkında değil.

​
İnsanların en çok kaçırdıkları

store-memory deterministik ve tenant kapsamlıdır, ve geçicidir. Hazırlık kontrolü kalıcı bir üretim profili için dürüstçe hazır-değil bildirir. Ona yapacağınız hiçbir şey bunu değiştirmez.
nextjs-vercel fixture’ı rotaları derler; akış hâlinde olayları, erişilebilirlik ve güvenlik sözleşmelerini çalıştırır. Doğrulanmış canlı bir Pactmark Vercel dağıtımı yoktur. Uzun bir fonksiyon zaman aşımı dayanıklılık garantisi değildir ve açık bir yanıttan çıkarsanan arka plan işi bir arka plan worker’ı değildir.
Staging Worker’ı sağlık için 200 döndürdü, tek bir deterministik SSE fixture’ını tamamladı ve bellek destekli çalışma zamanı ne kalıcı ne de üretim-izole olduğu için hazırlık kontrolünde dürüstçe 503 döndürdü. Bu sonuç anonim, geçici ve açıkça üretim-dışıdır.
Üretim düzeyi bir SandboxAdapter olmadan güvenilmez stdio MCP sunucuları ve rastgele kod desteklenmez. Zaten keşif hiçbir durumda yetki vermez.

​
0.2.x’te yüzey düzeyindeki sınırlar

Genel yazım cephesi, çalışma-zamanı yüzeyinden daha dardır. Depoda, başarıyı taklit etmek yerine sınırı dürüstçe göstermek için var olan iki çalıştırılabilir örnek bulunur:
Kapalı biçimde başarısız olan örnekler, başarıyı taklit eden örneklerden daha faydalıdır. Pactmark’ı değerlendiriyorsanız önce bu ikisini çalıştırın — sınırların nerede olduğunu her türlü metinden daha hızlı anlatırlar.

​
Tesis edilmiş olanlar

Adil olmak adına, aşağıdakiler depodaki çalıştırılabilir kanıtlarla desteklenir:
  • Bellek ve PostgreSQL 17 profilleri üzerinde deterministik koşular; göçler, eşzamanlılık, TLS, çökme ve devam testleri dâhil.
  • Varsayılan-ret politika, grant bağlama, tenant’lar arası negatif testler ve komut tekrar davranışı.
  • Olaylar, telemetri, kanıt ve HTTP yüzeyleri boyunca kimlik-bilgisi sınırı ve redaksiyon kanaryaları.
  • İçerik adresleme, doğrulayıcı bağlama ve kanıt referans doğrulaması.
  • Tedarik zinciri: sabitlenmiş lockfile, varsayılan olarak reddedilen lifecycle script’leri, iki bayt-özdeş tarball gerektiren tek bir kanonik paketleyici, bağımsız NodeNext/Bundler/Yarn/Bun/loopback registry tüketicileri ve v0.2.0 için registry’nin sunduğu 19 tarball’ın bağımsız doğrulaması.

​
Bu sayfa nasıl kullanılır

1

Benimsemeden önce

İhtiyaç duyduğunuz hiçbir şeyin “kanıtlamaz” listesinde olmadığını doğrulayın. Varsa, o boşluk sizindir.
2

Pazarlama metni yazmadan önce

Kanıt dili bilinçli olarak sınırlıdır. Tehdit modeli satırı TM-18, kanıtın yanlış sunulmasını adı belli bir sahibi olan yüksek risk olarak adlandırır.
3

Bir üretim kapısından önce

Bu sayfayı hazırlık listesi ve sorumluluk matrisi ile birlikte kullanın.

Tehdit modeli

Her biri kontrolleri, kanıtı, sahibi ve artık-risk ifadesiyle on sekiz yüksek ve kritik satır.