DML Partial Success in Apex: Database.SaveResult and Savepoints

A bulk update on 5,000 records. Twelve fail validation. Should the other 4,988 commit, or should the whole batch roll back? The answer depends on the business case, and Apex offers three patterns to control it.