الحالي
الأدلة هي نتاج علاقات مستقلة بدلاً من أن تكون مسار ثقة عددي:
acquisition channel
+ typed content form
+ exact source and provenance facts
+ scope and observation interval
+ integrity, authorization, freshness, independence, replay facts
+ retention law
+ exact evidence-use-policy witness
الباني المحدد الذي تم مراجعته يقبل المواد المعادية من المتصل مباشرةً لشرط واحد دقيق. الباني الخاص بالمصدر يقبل المواد المسماة بالوقت، والبيئة، والمستند الجذري من خلال ربط محلي دقيق واحد. تحقق سياسة القبول من قانون السيناريو الدقيق، العلاقة المستهدفة، الشرط، نطاق المرحلة/التشغيل، القناة، الضمان، الاستقلال، الاتفاق/النصاب، الحداثة، وعلاقات الاحتفاظ. كل مرشح صالح هيكليًا يتلقى تقييم سياسة معتمد أو غير معتمد ويظل في المقام المحتفظ به قبل حل اللقطة.
اللقطات تميز:
- قيمة مكتوبة حاضرة؛
- غياب ملحوظ إيجابي؛
- مرشحون مفقودون؛
- المرشحون موجودون ولكن غير كافيين للسياسة.
ترتيب وصول المرشحين لا يمكن أن يغير هوية اللقطة أو النتيجة الدلالية. أخطاء الاستحواذ التشغيلية لا تدخل أبدًا في هذه الجبر الحل.
التقييم النقي وإعادة التشغيل
المقيّم يستهلك فقط قانون السيناريو المعتمد، المرحلة/النطاق الدقيق، لقطة الأدلة المعتمدة، وسياق التقييم الصريح. لا يقوم بأي عمليات زمنية، أو بيئية، أو نظام ملفات، أو مزود، أو تفويض، أو إدخال/إخراج شبكي.
الاحتفاظ يحدد المطالبة اللاحقة الدقيقة:
- القيم المعتمدة يمكن أن تعيد بناء التقييم الدلالي؛
- مرجع مقيد بالنزاهة يتطلب مواد غير قابلة للتغيير بدقة ومحقق؛
- الاحتفاظ القائم على التجزئة يسمح بمقارنة النزاهة ولكن لا يسمح بإعادة تشغيل دلالية.
Runpack v6 يعيد ترطيب الأدلة المحتفظ بها من خلال بناة معادية ويرفض العلاقات المزورة، أو تقييم السياسة، أو مواد اللقطة. يتحقق مُحقق المواد المزودة PF-05 بشكل مستقل من تقليل التاريخ المقبول PF-04 ويبلغ عن تبعيات إعادة التشغيل الدلالية من خلال سجله الكامل للمطالبات. هذا يعيد بناء علاقات القبول والتقييم الدلالي المحتفظ بها؛ لا يعيد أداء ملاحظة محلية أصلية، أو يثبت حقيقة العالم، أو يحقق المصدر، أو يثبت الحداثة، أو يكتشف تراجع متماسك بدون شهود خارجيين.
النموذج المحذوف
EvidenceResult، TrustLane، TrustRequirement، حالة المقارن التي يقدمها المتصل، أخطاء المزود المدمجة كأدلة، والغياب الملاحظ كغياب مفقود لا تمتلك تمثيل توافق. الاستحواذ على الشبكة والعمليات الفرعية غائبة عن وقت التشغيل الحالي ولا يمكنها سك الأدلة.
المطالبات الحالية غير الموجودة
سجلات الضمان المفككة تسجل العلاقات المثبتة بدقة؛ لا تقوم بتحويل أي مصدر إلى حقيقة ميتافيزيقية. تأهيل المنتج، حقيقة السلطة الخارجية، سلامة الزمن المقبولة، وسلوك التوزيع والتعيين متعدد العقد تبقى مطالبات مملوكة بشكل منفصل.