الخلاصة

  • تعرض مسودة P10 الفردية المؤرخة في 28 سبتمبر 2026 نتيجة NotDemonstrated(reason=underdetermined) قابلة للتحقق: عالمان شاهدان مختلفان ينسجمان مع مجموعة الأدلة المغلقة نفسها، لكنهما يعطيان قيمتين مختلفتين للادعاء نفسه بعد تثبيته.
  • تنطبق النتيجة على ملف وقواعد وسجل ونقطة تحقق معلنة؛ ولا تحدد أي العالمين هو الواقع، ولا تنفي أدلة خارج النطاق، ولا تحسم مشروعية الفعل الذي يتبعها.

يمكن لختم تقني يحمل عبارة «لم يثبت» أن يريح متخذ القرار. وقد يكون ذلك مبرراً إذا كان المطلوب مجرد وصف ما ظهر في ملف محدد. أما إذا استُخدم الختم لإغلاق نقاش أوسع، فيجب العودة إلى البداية: من صاغ السؤال؟ من سُمح له بإيداع المواد؟ وما المواد التي وُضعت خارج الملف قبل أن يبدأ البرهان؟ سلامة الحساب داخل حدود معلنة ليست شهادة بأن تلك الحدود عادلة لمن سيتحمل أثر القرار.

هذا هو وجه الأهمية في P10 Underdetermination Profile الذي قدّمه Ivan Nestorov. نُشرت النسخة الأولى -00 بتاريخ 28 سبتمبر 2026 بوصفها Internet-Draft فردية ذات غرض معلوماتي، ويعرض سجل IETF حالتها I-D Exists. ليست RFC، ولا وثيقة تبناها فريق SCITT، ولا تقريراً عن نظام مطبق. تقترح المسودة وسيلة تحمل نتيجة عدم القدرة على الإثبات داخل SCITT Transparent Statement بحيث يستطيع طرف ثالث فحصها. نشر المقترح لا يثبت واقعة نزاع أو إخفاق حقيقي.

لا يكفي في المقترح عرض قصتين محتملتين. يُثبَّت ادعاء واحد أولاً، ثم يحدد ملف قواعد ملتزم به مسبقاً فئة العوالم الممكنة، وأنواع الأدلة المقبولة، وكيفية تكوين مجموعة مغلقة، ومعيار اتساق كل عالم معها، وطريقة تقييم الادعاء فيه. يحمل الإيصال عالمين شاهدين بتمثيل معياري. ويتعين على أداة تحقق مرتبطة بتلك القواعد أن تثبت اتساق العالمين مع مجموعة الأدلة المغلقة نفسها، مع اختلاف قيمة الادعاء بينهما. تُربط النتيجة بمحمول في in-toto Statement v1 ضمن بيان SCITT شفاف. يصف RFC 9942 إطار إيصالات COSE، ويصف RFC 9943 بنية SCITT المنشورة؛ أما ربط P10 الخاص بهما فلا يزال اقتراحاً فردياً. يصرح الكاتب أيضاً بأن فكرة العالمين المتسقين ليست اكتشافاً رياضياً جديداً، بل إن الإضافة المقترحة هي طريقة إلزام القواعد والأدلة وربطها بتحقق مستقل.

ويبدأ الإلزام قبل دخول أول دليل في الحالة المعينة. وفق المسودة، يجب تثبيت معنى الادعاء، وفئة العوالم، وقواعد قبول المواد وتغطيتها، وهوية سجل الشفافية، والجهات المخولة بالإدخال، وطرق الترميز ومكونات أداة التحقق. بعد ذلك يربط EvidenceClosure وCoverageProof جميع الإدخالات الصحيحة والمسجلة والواقعة ضمن النطاق، والصادرة عن الجهات المحددة، بنقطة تحقق موقعة. كما يتطلب الفحص إعادة قراءة بادئة السجل اللازمة كاملة. غياب الإغلاق أو أداة لازمة يؤدي إلى HALT بلا حكم معرفي؛ والتزامات متعارضة أو تغطية معيبة قد تؤدي إلى REJECT. فشل التحقق في الحالتين ليس مرادفاً لنتيجة «غير محسوم».

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

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

إذا استُخدمت نتيجة من هذا النوع مستقبلاً، فعلى القارئ أن يطلب الادعاء والقواعد كما ثُبِّتا قبل الأدلة، والسجل ونقطة التحقق، وسجل الإغلاق والتغطية، والعالمين الشاهدين، والقيود المصاحبة. ومن المفيد السؤال عمن اختار قنوات الجمع، وعما إذا كانت حالات شقيقة ظاهرة. هذه أسئلة رقابية يقترحها Daniel Kade، لا التزامات جديدة يفرضها IETF. قيمة الإيصال أنه يحدد بدقة موضع توقف المعرفة داخل اختبار معين؛ لا أنه يعلن انتهاء البحث خارجه.

المصادر