למה Restore חייב להיות מדויק

Read before write

לפני שינוי קוראים את המצב הנוכחי ושומרים אותו עם זהות הפעולה והזמן. אם הקריאה אינה אמינה, אין בסיס בטוח לשחזור.

Receipt ואימות

Receipt מקשר בין הערך הקודם, הערך המבוקש ותוצאת הפעולה. לאחר השינוי קוראים שוב את המצב ומוודאים שהוא תואם למה שהמערכת מדווחת.

• זהות פעולה וגרסה.
• ערך קודם וערך מבוקש.
• תוצאת ביצוע וקריאה חוזרת.
• נתיב שחזור מדויק ומצבו.

Fail closed כאשר אין הוכחה

אם חסרים הרשאה, ערך קודם, תמיכה או אימות, המצב הנכון הוא חסום או לא ידוע. אין להציג הצלחה או Restore מוכן בלי ראיה.