Successor / Change Model (View 4)

sealed snapshot -> material change -> targeted verification -> successor snapshot

Successor / Change Model (View 4) sealed snapshot -> material change -> targeted verification -> successor snapshot 01 / Change model 02 / Interruptions + recovery 03 / Outcomes SEALED · V_N · Change model V_N SEALED V_N MATERIAL · proposed · Change model delta MATERIAL proposed TARGETED · verify · Change model verify TARGETED verify SUCCESSOR · V_N+1 · Change model V_N+1 SUCCESSOR V_N+1 delta proposed applied verified rollback Legend start active state decision terminal success

Sealed by default

  • • Every state is a frozen snapshot
  • • No intermediate is authoritative

Bounded changes

  • • Material change is scope-bounded
  • • Verification is targeted, not full

Rollback is a state

  • • Failure is an explicit outcome
  • • Rollback returns to the prior sealed snapshot