الخلاصة

  • يجيز مشروع CoSERV الحالي لمتلقي استعلام RIM-ID، إذا تعذر عليه تلبية الاستعلام كله، أن يعيد مجموعة جزئية؛ وفي الحد الأقصى تبقى المجموعة الفارغة نتيجة صحيحة.
  • يثبت الترميز الحتمي والربط بالاستعلام والتوقيع ووقت الانتهاء خصائص الجواب المقدم، ولا يثبت اكتمال مجموعة المزود أو صحة قرار الطرف المعتمد.
  • ينبغي حفظ إيصال استرجاع منفصل يربط نطاق الطلب وجيل البيانات والمطلوب والمعاد والمحذوف والمنشأ ومسار التخزين المؤقت والتحقق والقرار المحلي.

الفرق بين جواب صحيح وجرد كامل

تفصل بنية التصديق عن بعد بين الأدوار لأن الفحص التقني لا ينبغي أن يستولي على سلطة القرار. يقدم المُثبِت الأدلة، ويقيّمها المتحقق، ثم يقرر الطرف المعتمد ما إذا كان سيمنح قدرة أو يقيدها. هذا الفصل في RFC 9334 يمنع تحويل نتيجة تصديق محدودة إلى شهادة عامة بأن الجهاز «موثوق» في كل سياق.

تنطبق الدقة نفسها على استرجاع التأييدات والقيم المرجعية اللازمة للتقييم. يصف مشروع فريق RATS النشط Concise Selector for Endorsements and Reference Values، المعروف باسم CoSERV، استعلامات ونتائج موجزة لهذه المهمة. النسخة 07 مشروع إنترنت لفريق عمل، وليست RFC ولا معياراً أقره IETF نهائياً.

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

تجيب هذه الضمانات عن أسئلة أساسية: من وقّع الكائن؟ هل تغيرت بايتاته؟ هل هو جواب هذا الاستعلام بالذات؟ هل ما زال داخل نافذة الصلاحية؟ لكنها لا تجيب عن سؤال مختلف: هل احتوت المجموعة الخلفية كل المواد المنطبقة، وهل بُحثت كاملة وأُعيد كل ما يهم؟

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

المجموعة الفارغة لا تعني أن العالم فارغ

ترد الحدود بوضوح في نص النسخة 07. عند استعلام RIM-ID، إذا لم يتمكن المتلقي من تلبية الاستعلام كله جاز له إرجاع مجموعة فرعية. وفي أسوأ الحالات تكون المجموعة الفارغة نتيجة صحيحة.

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

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

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

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

المحدد يرسم حدود السؤال

يختار استعلام البيئة نوعاً واحداً بالضبط: مثيل أو مجموعة أو فئة. لا يجمع استعلام واحد اختيار المثيل أو المجموعة مع اختيار الفئة. تعمل المحددات المتعددة من النوع نفسه بعلاقة «أو»، بينما يجب أن تتطابق الحقول المضبوطة داخل محدد الفئة معاً بعلاقة «و»، وتعمل الحقول غير المضبوطة كبدائل عامة. وقد تضيق قياسات البيئة ذات الحالة نطاق المطابقة أكثر.

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

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

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

توقيع الحاوية لا يفحص رحلة الجمع

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

يمكن أن يكون ختم ملف مثالياً بينما ينقص درج كامل من الأرشيف. فحص الختم لا يعيد إنشاء الدرج.

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

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

التخزين المؤقت يحفظ الجواب الجزئي أيضاً

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

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

صنف Lucas Pardue المشروع بأنه «Not Ready» في مراجعته المبكرة لـ HTTPDIR بتاريخ 15 أغسطس 2026، وأثار مسائل تتعلق بالتخزين المؤقت والخصوصية وHEAD وحجم الاستعلام والمحققات والحداثة. هذا رأي مراجع واحد، وليس إجماع فريق العمل ولا رفضاً من IETF. تقوم حجة الاكتمال أساساً على سماح المشروع نفسه بالمجموعة الجزئية والفارغة؛ وتوضح المراجعة فقط أن مسار HTTP يضيف حالات ينبغي تسجيلها.

إيصال الاسترجاع والتغطية

لا حاجة إلى تحميل رسالة CoSERV وعداً مستحيلاً بأنها تصف كل ما في العالم. الأصدق إنشاء سجل تشغيلي مرافق. ينبغي لهذا الإيصال أن يربط على الأقل:

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

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

يستطيع سجل واضح أن يقول: طُلبت خمسة مفاتيح، وأعيدت ثلاثة، وحُجب واحد بسبب التخويل، ولم يتوفر آخر في ذلك الجيل؛ اجتازت المواد الثلاث التحقق؛ وقيد النظام قدرات عبء العمل حتى يصل جواب مصدر ثان أو جيل جديد. يمكن مراجعة هذا القرار. أما «CoSERV ناجح» فلا يحفظ قراراً قابلاً للمراجعة.

المصادر