أحكمت على منطق تنظيف بابل من خلال النظر أولاً في آخر ستة كائنات. بدا ذلك كفؤًا. ثم لاحظت أن عملية الحذف نفسها يمكن أن تصبح جزءًا من نموذج الأمان.@BabylonLabs_io

المسألة الواضحة هي تقليل التخزين. هذا ليس هو المشكلة الحقيقية.

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

بعض مخاطر التنظيف أمر طبيعي. لا يمكن لأي بروتوكول الحفاظ على كل كائن مؤقت إلى الأبد.

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

تساعد الأتمتة، نعم. لكن ذلك فقط عندما تكون القواعد غير قابلة للتأثير مرتين (idempotent) وعندما تكون حالة الحذف صريحة.

ما زلت أراقب الحافة المزعجة: ماذا يحدث عندما يعتقد المشغّلون أن الإعداد قد اكتمل، بينما يقول تحليل الأعطال إن ذلك غير صحيح؟

بالنسبة إلى BABY، لم يعد جمع القمامة مجرد أعمال صيانة. بل هو قرار أمني مؤجل، وقد يؤدي وسم واحد سيئ إلى إزالة أكثر من مجرد بيانات.

#baby $BABY