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