الخلاصة

  • يستطيع AER-1 في إصداره 09 إثبات أن كل الإدخالات الظاهرة تشكل سلسلة مرتبة ومتسقة داخلياً. أما الطرف القادر على حذف إدخالات من الطرفين وإعادة حساب الوصلات فيستطيع تقديم سلسلة أقصر تجتاز الاختبار.
  • يربط الالتزام الخارجي الاختياري معرّف المهمة وملخص الإدخال النهائي وعدد الإدخالات ووقت النشر. العدد وحده لا يحمي الإدخال الأخير، وحتى المرساة السليمة لا تثبت فعلاً لم يره نظام التسجيل.

يرى المدقق ستة إدخالات. يبدأ التسلسل من واحد ويتقدم بلا فجوة. تحمل كلها معرّف المهمة نفسه، ويطابق كل prev_digest الملخص الذي أعاد المدقق حسابه للإدخال السابق. وحده الإدخال السادس يحمل close:true، كما تتطابق البايتات المعيارية مع التزامات المخرجات.

كل وصلة سليمة. لكن النظام الداخلي لا يستطيع أن يقول إن النهاية السادسة كانت دائماً هي النهاية.

ربما كانت السلسلة ثمانية إدخالات قبل أن يحذف مقدمها آخر إدخالين ويعيد بناء الطرف الباقي. هذه ليست ثغرة في SHA-256، بل الحد الذي يصرح به الإصدار 09 من AER-1: A Portable Execution Receipt for AI Agent Tool Calls. يثبت الفحص أن التاريخ المعروض متسق مع ذاته؛ ولا يثبت أن التاريخ المعروض هو التاريخ الأصلي كله.

نُشر النص في 1 أكتوبر 2026 بوصفه Internet-Draft فردياً نشطاً. وينبه Datatracker إلى أن أي شخص يستطيع تقديم مسودة فردية، وأنها غير معتمدة من IETF ولا تتمتع بمكانة رسمية في مسار معاييره. لا يسجل Datatracker مسار RFC أو حالة RFC مستهدفة، فيما يصف النص نفسه بأنه Independent Submission مقصود به Informational. تنتهي صلاحيته في 1 أبريل 2027، وليس RFC.

ما الذي تربطه السلسلة فعلاً؟

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

لا يثق المدقق بالوصلات المخزنة كما هي. يفك ترميز بايتات الإيصال ويتحقق من ملخصها، ثم يرتب كائناً بصيغة JSON معيارية يضم close وid وjob_id وoutput_hash وprev_digest وprovenance_class وseq وtool، ويحسب SHA-256. يبدأ إدخال التأسيس بملخص سابق من 64 صفراً. يبدأ العد من واحد ويزيد واحداً في كل مرة. تنتمي كل الإدخالات إلى مهمة واحدة، ولا يغلق إلا آخرها.

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

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

عبارة «عندما لا يستطيع إعادة البناء» هي سطح التحكم الحقيقي.

سلسلة أقصر لكنها مكتملة شكلياً

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

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

أوصى الإصدار 08 بربط الملخص النهائي. ويعرّف الإصدار 09 قطعة اختيارية قابلة للتشغيل البيني تضم job_id وfinal_entry_digest وentry_count وpublished_at. يجب أن تُنشر خارج السلسلة؛ فوضعها داخل الإدخال الأخير دائري، لأن الملخص النهائي لذلك الإدخال لا يوجد قبل إتمامه.

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

العدد لا يحمي العبارة الأخيرة

يكشف التزام يقول «ثمانية إدخالات» اختصار السلسلة إلى ستة. لكنه لا يكشف بالضرورة استبدال الإدخال الثامن مع إبقاء العدد ثمانية.

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

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

المرساة لا توسع مجال الرؤية

تقوي المرساة استمرارية السجل، لا قدرة الحساس. تطابق ملخص الإيصال يؤكد البايتات المسجلة. ويبقى الوصف LOGGED BY AGENT تقريراً صادراً عن الوكيل؛ لا يحوله إدخاله في السلسلة إلى مشاهدة مستقلة.

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

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