دليل ثقة الأدلة + بنية الدعامات

Audience: Engineers implementing or reviewing evidence trust enforcement, الجمهور: المهندسون الذين يقومون بتنفيذ أو مراجعة تنفيذ ثقة الأدلة، والتحقق من التوقيع، وسلوك سياسة الربط.

جدول المحتويات

نظرة عامة تنفيذية
نموذج الأدلة
ثقة الممرات والمتطلبات
سياسة ثقة المزود (التوقيعات)
سياسة الكشف عن الأدلة
تكوين سياسة الربط
تحقق من صحة النقاط المرجعية في مستوى التحكم
تحقق من تثبيت Runpack
أدلة مؤكدة (التحقق المسبق)
مرجع متقاطع ملف بملف

نظرة عامة تنفيذية

قرار بوابة القرار يفصل بين الثقة (الأدلة الموثقة مقابل الأدلة المصرح بها) والنزاهة (المراسي والتوقيعات). تتحكم مسارات الثقة فيما إذا كانت الأدلة مؤهلة لتقييم البوابة، بينما توفر سياسات المراسي والتوقيعات روابط قابلة للتحقق مع الأنظمة الخارجية. يتم التنفيذ في مكانين:

Control plane runtime: applies trust requirements and validates anchors وقت تشغيل طبقة التحكم: يطبق متطلبات الثقة ويحقق في المراسي عند تكوينها.
مدقق Runpack: يعيد تشغيل فحوصات سياسة الربط بشكل غير متصل.

يتم التحكم في الكشف عن الأدلة بشكل منفصل على مستوى الأداة. F:crates/decision-gate-core/src/core/evidence.rs L97-L257 F:crates/decision-gate-core/src/runtime/engine.rs L511-L618 F:crates/decision-gate-core/src/runtime/engine.rs L983-L1018 F:crates/decision-gate-core/src/runtime/runpack.rs L519-L567 F:crates/decision-gate-mcp/src/tools.rs L2294-L2334

نموذج الأدلة

تحدد أنواع الأدلة الأساسية الحمولة القياسية وبيانات السلامة:

EvidenceResult carries a value, trust lane, hash, anchor, and optional EvidenceResult يحمل قيمة، حارة ثقة، تجزئة، مرساة، وتوقيع اختياري.
EvidenceAnchor يحتوي على نوع مرساة وقيمة مرساة مشفرة بتنسيق JSON.
EvidenceAnchorPolicy يربط مقدمي الخدمة بأنواع المراسي المطلوبة والحقول.

F:crates/decision-gate-core/src/core/evidence.rs L175-L257

ثقة الممرات والمتطلبات

تعتبر مسارات الثقة شبكة من مستويين:

تم التحقق (افتراضي) للأدلة المستمدة من المزود.
تم التأكيد على الأدلة المقدمة من العميل.

TrustRequirement يحدد الحد الأدنى المقبول للمسار ويطبق حسب الشرط والبوابة. إذا لم تستوفِ الأدلة المتطلبات، يتم تحويلها إلى نتيجة Unknown مع خطأ trust_lane.

F:crates/decision-gate-core/src/core/evidence.rs L97-L141 F:crates/decision-gate-core/src/runtime/engine.rs L730-L746 F:crates/decision-gate-core/src/runtime/engine.rs L1573-L1593

تكوين مستوى التحكم يكشف:

global trust_requirement
تجاوزات لكل مزود (عبر provider_trust_overrides)

F:crates/decision-gate-core/src/runtime/engine.rs L111-L145

سياسة ثقة المزود (التوقيعات)

تفرض اتحاد أدلة MCP سياسة ثقة المزود قبل أن تصل النتائج إلى تقييم مستوى التحكم:

TrustPolicy::Audit يقبل النتائج غير الموقعة.
TrustPolicy::RequireSignature requires EvidenceSignature and validates TrustPolicy::RequireSignature يتطلب EvidenceSignature ويقوم بالتحقق من توقيعات ed25519 باستخدام المفاتيح العامة المكونة.

تقييم السياسة:

يتم رفض التوقيعات المفقودة، أو المخططات غير المدعومة، أو المفاتيح غير المصرح بها.
إذا كان تجزئة الدليل مفقودة، يتم حسابها من الحمولة القياسية.
إذا كان هاش الدليل موجودًا، يجب أن يتطابق مع هاش الحمولة القياسية.

F:crates/decision-gate-mcp/src/evidence.rs L122-L210 F:crates/decision-gate-mcp/src/evidence.rs L628-L701

سياسة الكشف عن الأدلة

يتم تطبيق الكشف عن الأدلة في وقت evidence_query:

evidence.allow_raw_values يتحكم في الكشف عن القيم الخام العالمية.
evidence.require_provider_opt_in يتطلب أيضًا موافقة المزود.
يختار مقدمو الخدمة الانضمام عبر ProviderConfig.allow_raw.

إذا لم تكن القيم الخام مسموح بها، فإن استجابة الأداة تحجب value و content_type، ولكن تحتفظ بالهاشات والمرتكزات. F:crates/decision-gate-config/src/config.rs L1226-L1234 F:crates/decision-gate-mcp/src/tools.rs L2294-L2334 F:crates/decision-gate-mcp/src/evidence.rs L138-L196

تكوين سياسة الربط

تُعبر تكوين سياسة المراسي في تكوين MCP عن طريق anchors.providers[{provider_id, anchor_type, required_fields}]. يتم التحقق من صحة التكوين وتحويله إلى EvidenceAnchorPolicy المستخدمة من قبل مستوى التحكم ومدقق حزمة التشغيل. يجب أن تكون معرفات المزود فريدة ومقصوصة لمنع فرض المراسي الغامضة. F:crates/decision-gate-config/src/config.rs L1378-L1466

تحقق من صحة النقاط المرجعية في مستوى التحكم

عندما يتم تكوين متطلب ربط لمزود:

يجب أن تتضمن نتائج الأدلة evidence_anchor.
anchor_type يجب أن يتطابق مع المتطلبات.
anchor_value يجب أن يكون كائن JSON قياسي يحتوي على الحقول السلمية المطلوبة.
Gate evaluation evidence records are stored in canonical condition order to يتم تخزين سجلات أدلة تقييم البوابة في حالة معيارية للحفاظ على تحديد نتائج التشغيل عبر التنفيذات.

بالنسبة لمزود json المدمج، تستخدم المراسي file_path_rooted مع الحقول المطلوبة root_id و path. يتم تطبيع قيمة path إلى مسار نسبي بأسلوب POSIX تحت الجذر المكون للحفاظ على استقرار تجزئة runpack عبر المنصات.

تؤدي المراسي غير الصالحة إلى خطأ مزود anchor_invalid ويتم تحويل نتيجة الدليل إلى نتيجة موثوقة فارغة للتقييم. F:crates/decision-gate-core/src/runtime/engine.rs L730-L755 F:crates/decision-gate-core/src/runtime/engine.rs L983-L1018

تحقق من تثبيت Runpack

تحقق من إعادة تشغيل حزمة التحقق من سياسة المراسي في وضع عدم الاتصال:

يتم تحميل سجلات تقييم السيناريو والمنافذ من آثار التشغيل.
يتم اشتقاق تخطيط الشرط إلى المزود من المواصفات.
يتم التحقق من أركان الأدلة في سجلات تقييم البوابة مقابل السياسة.

يتم جمع الأخطاء والإبلاغ عنها في تقرير التحقق. F:crates/decision-gate-core/src/runtime/runpack.rs L519-L567 F:crates/decision-gate-core/src/runtime/runpack.rs L579-L612

أدلة مؤكدة (التحقق المسبق)

تستخدم Precheck أدلة مؤكدة دون الاتصال بالمزودين:

يتم تغليف قيم الحمولة كـ EvidenceResult مع حارة Asserted.
Control plane applies trust requirements per condition/gate, which can force تطبق طبقة التحكم متطلبات الثقة حسب الشرط/البوابة، مما يمكن أن يجبر الأدلة المؤكدة على أن تكون غير معروفة اعتمادًا على التكوين.

F:crates/decision-gate-mcp/src/tools.rs L2663-L2707 F:crates/decision-gate-core/src/runtime/engine.rs L511-L618

مرجع متقاطع لكل ملف

المنطقة	الملف	الملاحظات
نموذج الأدلة + مسارات الثقة	`crates/decision-gate-core/src/core/evidence.rs`	أنواع معيارية لمسارات الثقة، المراسي، السياسات.
تنفيذ الثقة + التحقق من المراسي	`crates/decision-gate-core/src/runtime/engine.rs`	تطبيق متطلبات الثقة والتحقق من المراسي.
التحقق من مرسى Runpack	`crates/decision-gate-core/src/runtime/runpack.rs`	تحقق غير متصل ضد سياسة المراسي.
سياسة توقيع المزود	`crates/decision-gate-mcp/src/evidence.rs`	تحليل TrustPolicy + تنفيذ التوقيع.
سياسة الكشف عن الأدلة	`crates/decision-gate-mcp/src/tools.rs`	حذف الأدلة الخام لاستعلام الأدلة.
واجهة التكوين	`crates/decision-gate-config/src/config.rs`	تكوين evidence.* و anchors.*.