WEXP Coverage تكشف سلطة التحكم في سجل التدقيق

الخلاصة

مئة إيصال تحمل تواقيع صحيحة، لكن عملية نفذها مسؤول من باب جانبي لم تدخل الدفتر. تسأل مسودة WEXP Coverage الفردية، التي قدمها Mikhail Sergeev في 23 أكتوبر 2026، من كان يملك ذلك الباب.
يحصر مثال PostgreSQL الفعل في إضافة مؤكدة إلى سجل مغلق. وعلى مشتري نتيجة التدقيق أن يعرف من قبل افتراض أن أحداً لم يتجاوز السجل.

الإيصال السليم لا يذكر الغائبين

بعد خلاف بشأن تغيير إداري، يفتح المدقق دفتر العمليات ويطابقه مع الإيصالات. كل سطر له إيصال، وكل توقيع صحيح. ثم تظهر إمكانية تنفيذ تغيير عبر حساب ذي امتياز خاص قبل فتح الدفتر. هذه صورة تفسيرية وليست حادثة موثقة. هنا تبدأ مسودة WEXP Coverage لـ Mikhail Sergeev: من يثبت أن ذلك المسار الجانبي لم يُستخدم؟

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

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

خمسة مجموعات بدل رقم واحد

تسمي المسودة الأفعال الواقعة داخل النطاق A، والإيصالات النهائية التي أُنشئت حتى حد زمني C، والإيصالات التي صارت متاحة لمتلقي محدد حتى حد آخر R. أما Cv وRv فهما المنظوران المقدمان للمقيّم، وS منظور قيود المصدر التي يُستدل بها على الأفعال. سلامة S لا تعني تلقائياً أن كل عنصر في A ظهر فيه. هذا هو الفاصل الذي يختفي عادة تحت كلمة «اكتمال».

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

ولكل سؤال اسم. creation-complete يسأل هل لكل فعل إيصال نهائي، وcreation-sound هل يقابل كل إيصال فعل، وcreation-exact هل العلاقة واحد لواحد. للتسليم، وتغطية المصدر، وتطابق المنظورين المقدمين، ولعدم وقوع أي فعل، ادعاءات أخرى. عشرة معرفات محددة تمنع أن يعني «كامل» الشيء ونقيضه بحسب من يعرض الرسم البياني.

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

الافتراض له صاحب قرار

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

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

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

ثلاث بوابات إغلاق ودفتر محدود

يختار المثال pg-ledger/0.2.0 تعريفاً ضيقاً للفعل: إضافة مؤكدة إلى دفتر أفعال مسمى في دفعة PostgreSQL 18 ذات خادم أساسي واحد. لا تعني هذه الإضافة أن مالاً انتقل أو أن خدمة خارجية نفذت أمراً. يحتاج الادعاء بأثر خارجي إلى رابطة أخرى محددة ومختبرة. هذا التضييق ليس هروباً؛ إنه ما يجعل سؤال الاكتمال قابلاً للفحص.

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

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

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