{"id":"deletion-is-guarded-by-preconditions","text":"Permanent deletion requires satisfied preconditions — S3 buckets must be logically empty, emails must be trashed before permanent removal — enforcing a deliberate multi-step process that prevents accidental irreversible data loss through a single operation.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["s3-bucket-delete-requires-empty","email-service-two-phase-delete"],"outlist":[],"label":"Both systems gate permanent deletion behind a prior state transition, making accidental data loss a two-mistake problem"}],"dependents":["deletion-is-cautious-at-every-level","monotonicity-and-caution-prevent-state-loss","state-reversal-is-uniformly-guarded"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"deletion-is-guarded-by-preconditions","truth_value":"IN","reason":"SL justification valid","antecedents":["s3-bucket-delete-requires-empty","email-service-two-phase-delete"],"label":"Both systems gate permanent deletion behind a prior state transition, making accidental data loss a two-mistake problem"},{"node":"s3-bucket-delete-requires-empty","truth_value":"IN","reason":"premise"},{"node":"email-service-two-phase-delete","truth_value":"IN","reason":"premise"}]}}