الثقة

اعرف ما الذي حدث. واعرف ما الذي يمكن أن يحدث بعده.

معظم العمل اعتيادي. وهذه ثلاث حالات توضيحية لِما ليس اعتياديًا، ولِما ينبغي أن يستطيع نظامٌ أن يبيّنه عنها.

أمثلة توضيحية للتصميم ببيانات افتراضية. تصف سلوكًا مقصودًا، وليست تسجيلًا لنظام يعمل، ولا تثبت أن مسار التعافي منفَّذ.